6111 search results - page 162 / 1223 » Time, Hardware, and Uniformity |
89
Voted
ICCD
1999
IEEE
15 years 5 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...
123
Voted
SIGCOMM
1995
ACM
15 years 4 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...
74
Voted
ICCAD
2007
IEEE
15 years 9 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
15 years 6 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
15 years 5 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...