𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Annual Symposium on Fault Tolerant Computing - Sendai, Japan (25-27 June 1996)] Proceedings of Annual Symposium on Fault Tolerant Computing - Executable assertions and timed traces for on-line software error detection

✍ Scribed by Rabejac, C.; Blanquart, J.-P.; Queille, J.-P.

Book ID: 120636505
Publisher: IEEE Comput. Soc. Press
Year: 1996
Tongue: English
Weight: 1006 KB
Category: Article
ISBN-13: 9780818672613
DOI: 10.1109/FTCS.1996.534602

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Annual Symposiu

[IEEE Comput. Soc. Press Annual Symposium on Fault Tolerant Computing - Sendai, Japan (25-27 June 1996)] Proceedings of Annual Symposium on Fault Tolerant Computing - Design and evaluation of fault-tolerant shared file system for cluster systems

✍ Sumimoto, S. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 830 KB

[IEEE Comput. Soc. Press IEEE 24th Inter

[IEEE Comput. Soc. Press IEEE 24th International Symposium on Fault- Tolerant Computing - Austin, TX, USA (15-17 June 1994)] Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing - A cache protocol for error detection and recovery in fault-tolerant computing systems

✍ Chung-Ho Chen, ; Somani, A.K. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 953 KB

[IEEE Comput. Soc. Press IEEE 24th Inter

[IEEE Comput. Soc. Press IEEE 24th International Symposium on Fault- Tolerant Computing - Austin, TX, USA (15-17 June 1994)] Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing - Concurrent error-detection and modular fault-tolerance in a 32-bit processing core for embedded space flight applications

✍ Gaisler, J. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 314 KB

[IEEE Comput. Soc. Press [1988] The Eigh

[IEEE Comput. Soc. Press [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers - Tokyo, Japan (27-30 June 1988)] [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers - A large scale second generation experiment in multi-version software: description and early results

✍ Kelly, J.P.J.; Eckhardt, D.E.; Vouk, M.A.; McAllister, D.F.; Caglayan, A. 📂 Article 📅 1988 🏛 IEEE Comput. Soc. Press ⚖ 647 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks (includes FTCS-30 30th Annual International Symposium on Fault-Tolerant Computing and DCCA-8) - New York, NY, USA (25-28 June 2000)] Proceeding International Conference on Dependable Systems and Networks. DSN 2000 - A C/C++ source-to-source compiler for dependable applications

✍ Benso, A.; Chiusano, S.; Prinetto, P.; Tagliaferri, L. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 431 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Dependable Systems and Networks (includes FTCS-30 30th Annual International Symposium on Fault-Tolerant Computing and DCCA-8) - New York, NY, USA (25-28 June 2000)] Proceeding International Conference on Dependable Systems and Networks. DSN 2000 - DEEM: a tool for the dependability modeling and evaluation of multiple phased systems

✍ Bondavalli, A.; Mura, I.; Chiaradonna, S.; Filippini, R.; Poli, S.; Sandrini, F. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 163 KB