9842 search results - page 69 / 1969 » Compositional timing analysis |
141
click to vote
CHARME
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
141
click to vote
ICPP
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a new schedulability analysis methodology for distributed hard real-time systems with bursty job arrivals. The schedulability is analyzed by comparing worst-ca...
112
Voted
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
106
click to vote
WCET
2008
15 years 3 months ago
2008
The complexity of hardware and software architectures used in today's embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the so...
102
click to vote
DAC
2002
ACM
16 years 3 months ago
2002
ACM
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...