7271 search results - page 245 / 1455 » Fault-Tolerant Distributed Simulation |
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
In this experiment we evolve reproductive behaviors for a simulated vehicle. Future work will employ the resulting behaviors to populate a simulated ecosystem. Categories and Subj...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...
ICCD
2001
IEEE
14 years 6 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
WSC
1997
13 years 11 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
ICPPW
2008
IEEE
14 years 4 months ago
2008
IEEE
—Developing fault management mechanisms is a difficult task because of the unpredictable nature of failures. In this paper, we present a fault simulation framework for Blue Gene...