11234 search results - page 216 / 2247 » A Microsurgery Simulation System |
170
click to vote
ANSS
2007
IEEE
16 years 22 days ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
142
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
— In order to guide the design of a new multi-robot system, we seek to evaluate two different designs of audio direction sensor. We have implemented a simple but useful audio pro...
151
click to vote
ICTAI
2005
IEEE
15 years 12 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
152
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we introduce INSEE, an environment to help in the design of interconnection networks for parallel computing systems. It contains two basic modules: a system to genera...
183
click to vote
DSRT
2003
IEEE
15 years 11 months ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...