Sciweavers

6111 search results - page 188 / 1223
» Time, Hardware, and Uniformity
Sort
View
CAV
1998
Springer
98views Hardware» more  CAV 1998»
14 years 3 months ago
Verification of Timed Systems Using POSETs
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
Wendy Belluomini, Chris J. Myers
ICCAD
2005
IEEE
114views Hardware» more  ICCAD 2005»
14 years 7 months ago
Statistical timing analysis with two-sided constraints
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
Khaled R. Heloue, Farid N. Najm
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
14 years 4 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
ICCAD
1992
IEEE
93views Hardware» more  ICCAD 1992»
14 years 2 months ago
Timing analysis in high-level synthesis
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
Andreas Kuehlmann, Reinaldo A. Bergamaschi
SIGMETRICS
2010
ACM
115views Hardware» more  SIGMETRICS 2010»
13 years 5 months ago
The average response time in a heavy-traffic srpt queue
Shortest Remaining Processing Time first (SRPT) has long been known to optimize the queue length distribution and the mean response time (a.k.a. flow time, sojourn time). As such,...
Minghong Lin, Adam Wierman, Bert Zwart