3389 search results - page 334 / 678 » Real-Time and Fault-Tolerant Systems |
187
click to vote
ISOLA
2007
Springer
16 years 28 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
202
click to vote
CCGRID
2006
IEEE
16 years 26 days ago
2006
IEEE
— Desktop grids use the idle cycles of desktop PC’s to provide huge computational power at low cost. However, because the underlying desktop computing resources are volatile, a...
211
Voted
ICAT
2006
IEEE
16 years 25 days ago
2006
IEEE
A real-time camera registration algorithm using nature features for augmented reality applications is presented. The system uses a single camera for visual tracking of the nature ...
193
click to vote
RTSS
2006
IEEE
16 years 24 days ago
2006
IEEE
We present a real-time, Linux-based testbed called LITMUSRT , which we have developed for empirically evaluating multiprocessor real-time scheduling algorithms. We also present th...
199
click to vote
RTSS
2006
IEEE
16 years 24 days ago
2006
IEEE
In many applications we can deploy large number of sensors spanning wide geographical areas, to monitor environmental phenomena. The analysis of the data collected by such sensor ...