Sciweavers

2811 search results - page 118 / 563
» Real-Time Component-Based Systems
Sort
View
IPPS
2005
IEEE
14 years 3 months ago
The Design of the OpenSTARS Adaptive Analyzer for Real-Time Distributed Systems
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
Kevin Bryan, Tiegeng Ren, Jiangyin Zhang, Lisa Cin...
ISORC
2005
IEEE
14 years 3 months ago
Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances
Heuristic algorithms have enjoyed increasing interests and success in the context of Utility Accrual (UA) scheduling. However, few analytical results, such as bounds on task-level...
Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Dougl...
FASE
2005
Springer
14 years 3 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...
ICIAR
2004
Springer
14 years 3 months ago
A Real-Time Image Stabilization System Based on Fourier-Mellin Transform
J. Ramiro Martinez de Dios, Aníbal Ollero