114 search results - page 7 / 23 » An Efficient Solution for Model Checking Graph Transformatio... |
153
click to vote
JSA
2008
15 years 2 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
117
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
A key step in the design of cyclo-static real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure, which means that tasks...
149
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
106
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
156
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...