3387 search results - page 103 / 678 » Model-Checking for Real-Time Systems |
133
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Power management has become popular in mobile computing as well as in server farms. Although a lot of work has been done to manage the energy consumption on uniprocessor real-time...
120
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
In the Komodo project a real-time Java system based on a multithreaded Java microcontroller has been developed. A main scheduling policy realized by hardware in the microcontroller...
136
Voted
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
118
click to vote
HIPC
2003
Springer
15 years 7 months ago
2003
Springer
The use of feedback control techniques has been gaining importance in real-time scheduling as a means to provide predictable performance in the face of uncertain workload. In this ...
148
Voted
FGR
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we propose a fast and robust method for tracking a user’s hand and multiple fingertips; we then demonstrate gesture recognition based on measured fingertip traj...