6518 search results - page 75 / 1304 » Distributed Individual-Based Simulation |
ATAL
2007
Springer
14 years 10 days ago
2007
Springer
Building multi-agent systems that can scale up to very large number of agents is a challenging research problem. In this paper, we present Distributed Multi Agent System Framework...
GECCO
2007
Springer
14 years 2 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 2 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 9 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 ...