945 search results - page 88 / 189 » Graph Types |
138
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
127
click to vote
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
115
click to vote
WCRE
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present an infrastructure that supports interoperability among various reverse engineering tools and applications. We include an Application Programmer’s Interf...
113
click to vote
ICDT
2003
ACM
15 years 7 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...