3750 search results - page 327 / 750 » Timed Automata Patterns |
121
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
133
click to vote
SC
2004
ACM
15 years 10 months ago
2004
ACM
Inspired by the attractive Flops/dollar ratio and the incredible growth in the speed of modern graphics processing units (GPUs), we propose to use a cluster of GPUs for high perfo...
180
click to vote
CDB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Long DNA sequences have to be cut using restriction enzymes into small fragments whose lengths and/or nucleotide sequences can be analyzed by currently available technolo...
131
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Instruction scheduling methods based on the construction of state diagrams (or automata) have been used for architectures involving deeply pipelined function units. However, the s...
135
click to vote
FORTE
2007
15 years 6 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...