3387 search results - page 641 / 678 » Model-Checking for Real-Time Systems |
128
Voted
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
Most research on QoS-aware computing considers systems where code is generally partitioned into separately schedulable tasks with associated timing constraints. In sharp contrast ...
111
click to vote
ICRA
1999
IEEE
15 years 4 months ago
1999
IEEE
A high performance six degree-of-freedom magnetic levitation haptic interface device has been integrated with a physically-based dynamic rigid-body simulation to enable realistic ...
123
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Online detection of video clips that present previously unseen events in a video stream is still an open challenge to date. For this online new event detection (ONED) task, existi...
115
click to vote
CASES
2005
ACM
15 years 2 months ago
2005
ACM
In Simultaneous Multithreaded (SMT) architectures most hardware resources are shared between threads. This provides a good cost/performance trade-off which renders these architec...
114
Voted
IJNSEC
2008
15 years 16 days ago
2008
Anomaly detectors have become a necessary component of the computer and information security framework. Some of the numerous drawbacks experienced by the current Anomaly detectors...