3387 search results - page 167 / 678 » Model-Checking for Real-Time Systems |
204
click to vote
TPDS
2008
15 years 6 months ago
2008
Real-time image transmission is crucial to an emerging class of distributed embedded systems operating in open network environments. Examples include avionics mission replanning ov...
234
click to vote
RTS
2002
15 years 6 months ago
2002
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
324
click to vote
PAMI
2010
15 years 1 months ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...
180
click to vote
CAIP
2003
Springer
16 years 3 days ago
2003
Springer
Recently we have presented a system for panoramic depth imaging with a single standard camera. One of the problems of such a system is the fact that we cannot generate a stereo pai...
167
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...