378 search results - page 2 / 76 » A framework for interactive analysis of timing constraints i... |
AGP
1995
IEEE
13 years 9 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
EMSOFT
2009
Springer
14 years 26 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
ISSS
2002
IEEE
13 years 11 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
ISORC
2008
IEEE
14 years 20 days ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
RTCSA
2008
IEEE
14 years 20 days ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...