3387 search results - page 267 / 678 » Model-Checking for Real-Time Systems |
184
click to vote
CP
2004
Springer
16 years 16 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
224
click to vote
ECCV
2004
Springer
16 years 16 days ago
2004
Springer
In this paper, we present our approach for visual tracking of head, hands and head orientation. Given the images provided by a calibrated stereo-camera, color and disparity inform...
175
click to vote
NIME
2004
Springer
16 years 15 days ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
216
click to vote
IPPS
2003
IEEE
16 years 13 days ago
2003
IEEE
In this paper we present an adaptation of the Dual Priority Scheduling Algorithm to schedule both hard realtime periodic tasks and soft-aperiodic tasks in shared memory multiproce...
190
click to vote
ISQED
2003
IEEE
16 years 12 days ago
2003
IEEE
This paper addresses a low-cost and real-time solution for the implementation of super-resolution (SR) algorithms over SOC (System-On-Chip) platforms in order to achieve high-qual...