1940 search results - page 135 / 388 » Graph Transformation with Variables |
120
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
115
click to vote
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
152
Voted
GG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
139
click to vote
GBRPR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce a new framework for feature grouping based on factor graphs, which are graphical models that encode interactions among arbitrary numbers of random variables....
127
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...