3387 search results - page 103 / 678 » Model-Checking for Real-Time Systems |
231
Voted
IPPS
2003
IEEE
16 years 22 days 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...
189
click to vote
WORDS
2003
IEEE
16 years 22 days 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...
202
Voted
WORDS
2003
IEEE
16 years 22 days 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...
201
click to vote
HIPC
2003
Springer
16 years 20 days 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 ...
221
click to vote
FGR
2002
IEEE
16 years 12 days 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...