Skip to main content

3 Result(s)

within K. Vasanta Lakshmi Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis

    Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking liveness properties in counter systems. We propose two sem...

    K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor in FM 2014: Formal Methods (2014)

  2. No Access

    Chapter and Conference Paper

    Deep Packet Inspection Using Message Passing Networks

    We propose a solution based on message passing bipartite networks, for deep packet inspection, which addresses both speed and memory issues, which are limiting factors in current solutions. We report on a prel...

    Divya Jain, K Vasanta Lakshmi, Priti Shankar in Recent Advances in Intrusion Detection (2008)

  3. No Access

    Chapter and Conference Paper

    Integrating a New Cluster Assignment and Scheduling Algorithm into an Experimental Retargetable Code Generation Framework

    This paper presents a new unified algorithm for cluster assignment and region scheduling, and its integration into an experimental retargetable code generation framework. The components of the framework are an...

    K. Vasanta Lakshmi, Deepak Sreedhar… in High Performance Computing – HiPC 2005 (2005)