9210 search results - page 247 / 1842 » Analyzing Real-Time Systems |
ISCAS
2007
IEEE
14 years 5 months ago
2007
IEEE
— A streaming system based on the Scalable Video Coding (SVC) extension of H.264/AVC is shown. SVC allows for data rate adaptation without re-encoding just by dropping packets of...
PRDC
2007
IEEE
14 years 5 months ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
ISOLA
2007
Springer
14 years 5 months 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: ...
CCGRID
2006
IEEE
14 years 4 months 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...
ICAT
2006
IEEE
14 years 4 months 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 ...