5638 search results - page 372 / 1128 » On presence |
175
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
This work presents a new switching mechanism to tolerate arbitrary faults in interconnection networks with a negligible implementation cost. Although our routing technique can be ...
263
click to vote
ISADS
2003
IEEE
16 years 4 days ago
2003
IEEE
The emerging mobile wireless environment poses exciting challenges for distributed fault tolerant (FT) computing. This paper proposes a message loggingand recovery protocol on the...
140
click to vote
ISQED
2003
IEEE
16 years 3 days ago
2003
IEEE
- This paper investigates important problems involved in the design of a CML buffer as well as a chain of tapered CML buffers. A new design procedure to systematically design a cha...
166
Voted
ITC
2003
IEEE
16 years 3 days ago
2003
IEEE
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...
150
click to vote
KBSE
2003
IEEE
16 years 3 days ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...