Sciweavers

9842 search results - page 241 / 1969
» Compositional timing analysis
Sort
View
LCTRTS
1995
Springer
15 years 7 months ago
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
PEPM
1995
ACM
15 years 7 months ago
Semantic Foundations of Binding Time Analysis for Imperative Programs
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
RTSS
1995
IEEE
15 years 7 months ago
Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software
Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe