-
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...
-
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...
-
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...