Sciweavers

21 search results - page 1 / 5
» fmcad 2007
Sort
View
FMCAD
2007
Springer
14 years 3 months ago
What Triggers a Behavior?
Orna Kupferman, Yoad Lustig
FMCAD
2007
Springer
14 years 3 months ago
Algorithmic Analysis of Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...
FMCAD
2007
Springer
14 years 3 months ago
Automatic Abstraction in Symbolic Trajectory Evaluation
Sara Adams, Magnus Björk, Thomas F. Melham, C...
FMCAD
2007
Springer
14 years 3 months ago
Two-Dimensional Regular Expressions for Compositional Bus Protocols
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
Kathi Fisler