9842 search results - page 140 / 1969 » Compositional timing analysis |
ICIAR
2004
Springer
14 years 2 months ago
2004
Springer
CIVR
2003
Springer
14 years 2 months ago
2003
Springer
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...