9842 search results - page 189 / 1969 » Compositional timing analysis |
124
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
107
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
- This paper addresses the problem of true delay estimation during high level design. The existing delay estimation techniques either estimate the topological delay of the circuit ...
112
click to vote
ESM
2000
15 years 3 months ago
2000
The classical method of evaluation of simulations surely is the batch means method, see e.g. [Bratley et al. 1987], giving confidence intervals to express the precision of the sim...
102
Voted
JPDC
2011
14 years 9 months ago
2011
Networks-on-chip (NoCs) are used in a growing number of SoCs and multi-core processors. Because messages compete for the NoC’s shared resources, quality of service and resource ...
115
Voted
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Link analysis is a key technology in contemporary web search engines. Most of the previous work on link analysis only used information from one snapshot of web graph. Since commer...