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...
—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...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
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...
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S...
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...
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...
Kalyan S. Perumalla, Brandon G. Aaby, Srikanth B. ...