7311 search results - page 391 / 1463 » Time in State Machines |
175
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated. Spatial correlation and correlation caused by p...
206
click to vote
ASYNC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC specifications to timed asynchronous gate-level circuits. The state-based logic synthes...
180
click to vote
SOFSEM
1997
Springer
15 years 12 months ago
1997
Springer
: In this paper we rst present a general lower bound on the stabilization time which holds for a number of graph theoretic problems, including leader election, spanning tree constr...
211
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
188
click to vote
ORL
2002
15 years 7 months ago
2002
This paper considers an M/G/1 queue in which service time distributions in each busy period change according to a finite state Markov chain, embedded at the arrival instants of cu...