Sciweavers

9842 search results - page 28 / 1969
» Compositional timing analysis
Sort
View
RTAS
2003
IEEE
14 years 27 days ago
VEST: An Aspect-Based Composition Tool for Real-Time Systems
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
John A. Stankovic, Ruiqing Zhu, Ram Poornalingam, ...
FASE
2005
Springer
14 years 1 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...