435 search results - page 54 / 87 » Timing analysis of asynchronous circuits using timed automat... |
133
Voted
ENTCS
2002
15 years 3 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
133
Voted
ICNS
2009
IEEE
15 years 1 months ago
2009
IEEE
All optical switching has been proposed as a candidate to allow high capacity networking in the future. Currently, Optical Circuit Switching has been widely deployed, although thi...
106
click to vote
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, an analog implementation of the Wavelet Transform (WT) is presented. The circuit is based on the Dynamic Translinear (DTL) circuit technique and implements, by mean...
136
Voted
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
Elastic systems, either synchronous or asynchronous, can be optimized for the average-case performance when they have units with early evaluation or variable latency. The performan...
132
Voted
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...