1168 search results - page 104 / 234 » cases 2000 |
132
click to vote
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
In this work we show that value prediction can be used to avoid the penalty of long wire delays by predicting the data that is communicated through these long wires and validating...
134
click to vote
MTDT
2000
IEEE
15 years 9 months ago
2000
IEEE
In this work, we present the application of Generalized Linear Feedback Shift Registers (GLFSRs) for generation of patterns for pseudo-random memory Built-In SelfTest (BIST). Rece...
152
click to vote
NDSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
127
click to vote
RTCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we address the problem of guaranteeing end-to-end (ETE) delay of packets in a distributed system where the technique of time division multiplex access (TDMA)is adop...
116
click to vote
RTCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to ...