T. Villa / Gianfranco Ciardo University of California / /
IndustryTerm
host processor / event systems / asynchronous systems / finite state systems / Graph-based algorithms / local area networks / globallyasynchronous locally-synchronous systems / mutex protocol / parallel algorithm / manufacturing system model show / state-space generation algorithm / manufacturing system / speculative computing / sequential saturation algorithm / globally-asynchronous locally-synchronous discrete-state systems / round robin solution / round robin mutex protocol / slotted ring network protocol / data parallel algorithm / model checking algorithms / /
OperatingSystem
Linux / /
Organization
National Science Foundation / University of California / Riverside Department of Computer Science and Engineering Riverside / National Aeronautics and Space Administration / /
Person
Max Memory / Ming-Ying Chung / O. Roig / /
Position
Vp / Miner / and R. Siminiceanu / A. Miner / /
Technology
BDD algorithm / host processor / Slotted ring network protocol / state-space generation algorithm / load balancing / peer-to-peer / Linux / parallel algorithm / CTL model checking algorithms / data parallel algorithm / messagepassing algorithm / round robin mutex protocol / virtual memory / Graph-based algorithms / shared memory / sequential saturation algorithm / local area networks / TCP/IP / Gigabit Ethernet / /
A Dynamic Firing Speculation to Speedup Distributed Symbolic State-space Generation ∗ Ming-Ying Chung and Gianfranco Ciardo