Sciweavers

4348 search results - page 83 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ISORC
2005
IEEE
15 years 3 months ago
Object-Reuse for More Predictable Real-Time Java Behavior
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
Jameela Al-Jaroodi, Nader Mohamed
VR
2002
IEEE
125views Virtual Reality» more  VR 2002»
15 years 2 months ago
Real-Time Haptic and Visual Simulation of Bone Dissection
—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...
RTDB
1996
84views more  RTDB 1996»
14 years 11 months ago
Performance-Polymorphic Execution of Real-Time Queries
We are developing an object-oriented real-time database system that includes a relationally complete query language. Unlike conventional query optimizers, our optimizer estimates ...
Thomas Padron-McCarthy, Tore Risch
PODC
1990
ACM
15 years 1 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
83
Voted
CVPR
2006
IEEE
15 years 11 months ago
Real-Time Visual SLAM with Resilience to Erratic Motion
Simultaneous localisation and mapping using a single camera becomes difficult when erratic motions violate predictive motion models. This problem needs to be addressed when visual...
Mark Pupilli, Andrew Calway