6102 search results - page 265 / 1221 » Modelling Environments for Distributed Simulation |
170
click to vote
ICCD
2001
IEEE
16 years 3 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...
206
click to vote
SAB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
178
click to vote
NOMS
2008
IEEE
16 years 27 days ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
164
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The design and development of cooperative Internet applications based on mobile agents require appropriate modelling of both the physical space where agents roam and the conceptual...
156
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--This paper investigates the capacity of multipleaccess and broadcast channels with MIMO-MRC systems in spatially correlated environments. We present new capacity approxim...