2771 search results - page 32 / 555 » Using Computational Reflection in Optimistic Distributed Sim... |
88
Voted
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
GROUP
2009
ACM
15 years 4 months ago
2009
ACM
We take the work practices of fire emergency responders as the basis for developing simulations to teach team coordination. We introduce non-mimetic simulation: economic operation...
89
Voted
SC
2005
ACM
15 years 3 months ago
2005
ACM
— SPICE aims to understand the vital process of translocation of biomolecules across protein pores by computing the free energy profile of the translocating biomolecule along th...
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
CAV
1993
Springer
15 years 1 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...