Sciweavers

512 search results - page 53 / 103
» Distributed synthesis of real-time computer systems
Sort
View
ICPADS
2006
IEEE
14 years 2 months ago
Accuracy versus Migration Overhead in Real-Time Multiprocessor Reweighting Algorithms
We consider schemes for enacting task share changes—a process called reweighting—on real-time multiprocessor platforms. Our particular focus is reweighting schemes that are de...
Aaron Block, James H. Anderson
ICCV
2003
IEEE
14 years 10 months ago
A Sparse Probabilistic Learning Algorithm for Real-Time Tracking
This paper addresses the problem of applying powerful pattern recognition algorithms based on kernels to efficient visual tracking. Recently Avidan [1] has shown that object recog...
Oliver M. C. Williams, Andrew Blake, Roberto Cipol...
IPPS
2006
IEEE
14 years 2 months ago
Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems
A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol allows the schedulability analysis of the n...
Santiago Urueña, Juan Zamorano, Daniel Berj...
FMCO
2005
Springer
116views Formal Methods» more  FMCO 2005»
14 years 2 months ago
Control of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
Jan Komenda, Jan H. van Schuppen
RTCSA
2007
IEEE
14 years 3 months ago
A Voltage and Resource Synthesis Technique for Energy-Aware Real-time Systems
We consider a resource synthesis technique for realtime systems where dynamic voltage scaling is supported, the energy budget is limited, and the performance of the system depends...
Dong-In Kang, Stephen P. Crago, Jinwoo Suh, Janice...