Sciweavers

9842 search results - page 241 / 1969
» Compositional timing analysis
Sort
View
LCTRTS
1995
Springer
15 years 10 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 10 months ago
Semantic Foundations of Binding Time Analysis for Imperative Programs
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
RTSS
1995
IEEE
15 years 10 months ago
Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software
Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe