Sciweavers

11234 search results - page 271 / 2247
» A Microsurgery Simulation System
Sort
View
FMCAD
1998
Springer
15 years 10 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
WSC
2008
15 years 8 months ago
A simulation template for modeling tunnel shaft construction
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
Fangyi Zhou, Simaan M. AbouRizk, Siri Fernando
FLAIRS
2004
15 years 7 months ago
Intelligent Control of Closed-Loop Sedation in Simulated ICU Patients
The intensive care unit is a challenging environment to both patient and caregiver. Continued shortages in staffing, principally in nursing, increase risk to patient and healthcar...
Brett L. Moore, Eric D. Sinzinger, Todd M. Quasny,...
WSC
1998
15 years 7 months ago
Mobile Robot Simulation of Clinical Laboratory Deliveries
Flexible automation in the form of mobile robots holds the potential for decreasing operating costs while improving delivery performance in mid-size hospital delivery systems. Thi...
Manuel D. Rossetti, Amit Kumar, Robin A. Felder
DSD
2010
IEEE
153views Hardware» more  DSD 2010»
15 years 6 months ago
Simulation of High-Performance Memory Allocators
—Current general-purpose memory allocators do not provide sufficient speed or flexibility for modern highperformance applications. To optimize metrics like performance, memory us...
José Luis Risco-Martín, José ...