3387 search results - page 103 / 678 » Model-Checking for Real-Time Systems |
187
click to vote
IPPS
2003
IEEE
15 years 11 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...
168
click to vote
WORDS
2003
IEEE
15 years 11 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...
178
click to vote
WORDS
2003
IEEE
15 years 11 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...
171
click to vote
HIPC
2003
Springer
15 years 11 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 ...
191
click to vote
FGR
2002
IEEE
15 years 11 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...