Consensus in synchronous systems: a concise guided tour
Raynal, M.
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Get full text
Conference Proceeding
Reliability analysis of grid computing systems
Dai, Y.S., Xie, M., Poh, K.L.
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Get full text
Conference Proceeding
Perspectives on dependable computing for solar system exploration
Alkalai, L.
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Get full text
Conference Proceeding
Highly fault-tolerant FPGA processor by degrading strategy
Nakamura, Y., Hiraki, K.
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Get full text
Conference Proceeding
Analyzing network reliability with imperfect nodes using OBDD
Fu-Min Yeh, Hung-Yau Lin, Sy-Yen Kuo
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Get full text
Conference Proceeding
Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system
Ramasamy, H.V., Cukier, M., Sanders, W.H.
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Published in 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings (2002)
Get full text
Conference Proceeding