6111 search results - page 162 / 1223 » Time, Hardware, and Uniformity |
ICCD
1999
IEEE
14 years 2 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
SIGCOMM
1995
ACM
14 years 1 months ago
1995
ACM
Distributedmultimedia applicationsrequire performanceguarantees from the underlying network subsystem. Ethernet has been the dominant local area network architecture in the last d...
ICCAD
2007
IEEE
14 years 7 months ago
2007
IEEE
—We present an implementation of an algorithm for constructing provably fast circuits for a class of Boolean functions with input signals that have individual starting times. We ...
ISQED
2003
IEEE
14 years 3 months ago
2003
IEEE
With continuing scaling of CMOS process, process variations in the form of die-to-die and within-die variations become significant which cause timing uncertainty. This paper prop...
DATE
1998
IEEE
14 years 2 months ago
1998
IEEE
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project th...