3864 search results - page 24 / 773 » time 2005 |
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
116
click to vote
APN
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
ISQED
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a two-step, RC-interconnect insensitive linear time-varying (LTV) driver model for gate-level timing calculation. We show how to characterize a driver with the...
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
As computer systems become increasingly internetworked, there is a growing class of distributed realtime embedded (DRE) applications that have characteristics and present challeng...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...