371 search results - page 64 / 75 » Pushdown Automata Simulator |
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
Test pattern decompression techniques are bounded with the algorithm of test pattern ordering and test data flow controlling. Some of the methods could have more sophisticated sor...
130
Voted
ANSS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present, in this paper, an algorithm which integrates flow control and dynamic load balancing in Time Warp. The algorithm is intended for use in a distributed memory environme...
116
Voted
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
107
Voted
ISMVL
2007
IEEE
15 years 8 months ago
2007
IEEE
Extending the ideas of Quantum Braitenberg Vehicles from [14], we present here a family of Lego robots controlled by multiple-valued quantum circuits. The robots have at most 6 de...
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...