Sciweavers

11234 search results - page 503 / 2247
» A Microsurgery Simulation System
Sort
View
CORR
2006
Springer
106views Education» more  CORR 2006»
15 years 6 months ago
Checkbochs: Use Hardware to Check Software
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
Sorav Bansal
ROBOCUP
2005
Springer
155views Robotics» more  ROBOCUP 2005»
16 years 9 days ago
An Application Interface for UCHILSIM and the Arrival of New Challenges
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
Juan Cristóbal Zagal, Iván Sarmiento...
ANSS
1991
IEEE
15 years 10 months ago
Supercritical speedup
The notions of the critical path of events and critical time of an event are key concepts in analyzing the performance of a parallel discrete event simulation. The highest critica...
David R. Jefferson, Peter L. Reiher
JCC
2008
132views more  JCC 2008»
15 years 6 months ago
The implementation of a fast and accurate QM/MM potential method in Amber
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...
Ross C. Walker, Michael F. Crowley, David A. Case
VIS
2004
IEEE
218views Visualization» more  VIS 2004»
16 years 8 months ago
Pixel-Exact Rendering of Spacetime Finite Element Solutions
Computational simulation of time-varying physical processes is of fundamental importance for many scientific and engineering applications. Most frequently, time-varying simulation...
Michael Garland, Robert Haber, Yuan Zhou