3387 search results - page 215 / 678 » Model-Checking for Real-Time Systems |
179
click to vote
WORDS
2003
IEEE
16 years 8 days ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
233
click to vote
DAGM
2003
Springer
16 years 7 days ago
2003
Springer
We present a system capable of visually detecting pointing gestures and estimating the 3D pointing direction in real-time. We use Hidden Markov Models (HMMs) trained on different ...
163
click to vote
RTAS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the design and performance of a realtime I/O (RIO) subsystem that supports real-time applications running on off-the-shelf hardware and software. This paper p...
216
Voted
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Java's automatic memory management is the main reason that prevents Java from being used in hard realtime environments. We present the garbage collection mechanism that is us...
196
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...