5707 search results - page 918 / 1142 » Symbolic Simulation - Techniques and Applications |
164
click to vote
DFT
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose an algorithm for gate-delay fault diagnosis. It is based on the inject-and-evaluate paradigm [1], in which the fault site(s) are predicted through a series of injection...
182
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Protocols which solve agreement problems are essential building blocks for fault tolerant distributed applications. While many protocols have been published, little has been done ...
193
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
The demand for real-time database services has been increasing recently. Examples include sensor data fusion, decision support, web information services, and online trading. In th...
193
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Internet streaming applications are affected by adverse network conditions such as high packet loss rates and long delays. This paper aims at mitigating such effects by leveraging...
202
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a mailbox-based scheme for designing flexible and adaptive message delivery protocols in mobile agent (MA) systems. The scheme associates each mobile agent wit...