6677 search results - page 108 / 1336 » Distributed Simulation of MAS |
CONCUR
2006
Springer
14 years 17 days 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 5 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 10 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 3 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...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
1 Biological processes occurring inside cell involve multiple scales of time and length; many popular theoretical and computational multi-scale techniques utilize biomolecular simu...