6111 search results - page 225 / 1223 » Time, Hardware, and Uniformity |
100
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Shrinking feature sizes and process variations are of increasing concern in modern technology. It is urgent that we develop statistical interconnect timing models which are harmon...
85
Voted
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
94
Voted
SIGMETRICS
2002
ACM
15 years 11 days ago
2002
ACM
As businesses continue to grow their World Wide Web presence, it is becoming increasingly vital for them to have quantitative measures of the client perceived response times of th...
99
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes a scheme that captures diverse input waveforms of CMOS gates for static timing analysis. Conventionally the latest arrival time and transition time are calcula...
96
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...