435 search results - page 33 / 87 » Timing analysis of asynchronous circuits using timed automat... |
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Chips manufactured in 90 nm technology have shown large parametric variations, and a worsening trend is predicted. These parametric variations make circuit optimization difficult ...
105
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
84
Voted
VTS
2003
IEEE
15 years 5 months ago
2003
IEEE
— In this paper, we study the problem of delay defect diagnosis based on statistical timing models. We propose a diagnosis algorithm that can effectively utilize statistical timi...
111
click to vote
TCS
2008
15 years 12 days ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
94
Voted
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...