Sciweavers

11234 search results - page 310 / 2247
» A Microsurgery Simulation System
Sort
View
FDL
2003
IEEE
15 years 11 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
ATAL
2006
Springer
15 years 10 months ago
Multiagent simulation meets the real world
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
Toru Ishida
WSC
2007
15 years 8 months ago
Reusable tool for 300mm intrabay AMHS modeling and simulation
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
Ahmed El-Nashar, Khaled S. El-Kilany
WSC
2007
15 years 8 months ago
Comparing simulation alternatives based on quality expectations
Computed Tomography (CT) is one of the fastest growing diagnostic imaging procedures. Rapid advances in imaging technologies in conjunction with their widening adoption are some o...
Joshua Bosire, Shengyong Wang, Tejas Gandhi, Krish...
WSC
2007
15 years 8 months ago
An approach to hospital planning and design using discrete event simulation
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...
Ian W. Gibson