4164 search results - page 60 / 833 » Timing model reduction for hierarchical timing analysis |
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
PATAT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Service network design is critical to the profitability of express shipment carriers. In this paper, we consider the problem of designing the integrated service network ...
NOSSDAV
1991
Springer
14 years 1 months ago
1991
Springer
The Real-time Channel Administration Protocol (RCAP) provides control and administration services for the Tenet real-time protocol suite, a connection-oriented suite of network an...
ICCD
2006
IEEE
14 years 7 months ago
2006
IEEE
— This paper presents a framework for fast and accurate static timing analysis considering coupling. With technology scaling to smaller dimensions, the impact of coupling induced...