435 search results - page 20 / 87 » Timing analysis of asynchronous circuits using timed automat... |
90
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— As technology scales into the sub-90nm domain, manufacturing variations become an increasingly significant portion of circuit delay. As a result, delays must be modeled as sta...
88
Voted
ICCD
1995
IEEE
15 years 4 months ago
1995
IEEE
We describe thedesign of a high performance asynchronous SCSI Small Computer Systems Interface controller data path and the associated control circuits. The data path is an asyn...
95
Voted
ADAEUROPE
2008
Springer
15 years 2 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
135
click to vote
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper proposes a cooperative space-time coding (STC) protocol, amalgamating the concepts of asynchronous cooperation, non-coherent detection as well as Distributed Turbo Co...
RTS
2008
15 years 17 hour ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...