611 search results - page 8 / 123 » Relative simulation and model checking of real-time processe... |
IS4TH
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The context of this research is the development of a pedagogical surgery simulator for colon cancer removal. More precisely, we would like to simulate the gesture which c...
VR
2002
IEEE
14 years 1 months ago
2002
IEEE
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
HASE
1999
IEEE
14 years 1 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
PADS
2009
ACM
14 years 3 months ago
2009
ACM
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...