Sciweavers

2811 search results - page 240 / 563
» Real-Time Component-Based Systems
Sort
View
ICCV
2007
IEEE
15 years 9 months ago
Real-Time Automatic Kinematic Model Building for Optical Motion Capture Using a Markov Random Field
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...
Stjepan Rajko, Gang Qian
ISCAS
2007
IEEE
171views Hardware» more  ISCAS 2007»
15 years 9 months ago
Using H.264/AVC-based Scalable Video Coding (SVC) for Real Time Streaming in Wireless IP Networks
— 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...
Thomas Schierl, Cornelius Hellge, Shpend Mirta, Ka...
PRDC
2007
IEEE
15 years 9 months ago
RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks
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...
Kai Han, Binoy Ravindran, E. Douglas Jensen
PRDC
2007
IEEE
15 years 9 months ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper
ISOLA
2007
Springer
15 years 9 months ago
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
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: ...
Joris Rehm, Dominique Cansell