435 search results - page 21 / 87 » Timing analysis of asynchronous circuits using timed automat... |
93
Voted
ASYNC
2003
IEEE
15 years 5 months ago
2003
IEEE
We present the design of a high performance on-chip pipelined asynchronous DRAM suitable for use in a microprocessor cache. Although traditional DRAM structures suffer from long a...
111
click to vote
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
119
Voted
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
98
Voted
FMSB
2008
15 years 2 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
116
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...