11234 search results - page 216 / 2247 » A Microsurgery Simulation System |
193
Voted
ANSS
2007
IEEE
16 years 1 months 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...
158
Voted
IROS
2006
IEEE
16 years 1 months 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...
163
Voted
ICTAI
2005
IEEE
16 years 19 days 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...
173
Voted
EUROPAR
2005
Springer
16 years 17 days 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...
209
click to vote
DSRT
2003
IEEE
16 years 9 days 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...