12115 search results - page 2143 / 2423 » Bisimulation of Dynamical Systems |
179
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a paradigm to express streams and its implementation. Streams are a convenient mechanism to communicate multimedia data, for example video or audio, betwe...
170
click to vote
ISCA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper proposes a new coherence method called "multicast snooping" that dynamically adapts between broadcast snooping and a directory protocol. Multicast snooping is...
177
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
- A closed form expression for the propagation delay of a CMOS gate driving a distributed RLC line is introduced that is within 5% of dynamic circuit simulations for a wide range o...
204
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
145
click to vote
ASYNC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...