𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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 - Deadlock detection of EFSMs using simultaneous reachability analysis

✍ Scribed by Karacali, B.; Kuo-Chung Tai, ; Vouk, M.A.

Book ID: 126642955
Publisher: IEEE Comput. Soc
Year: 2000
Tongue: English
Weight: 388 KB
Category: Article
ISBN-13: 9780769507071
DOI: 10.1109/ICDSN.2000.857555

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Fault-tolerant execution of mobile agents

✍ Silva, L.M.; Batista, V.; Silva, J.G. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 286 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 fault tolerant signal processing computer

✍ Prager, K.; Vahey, M.; Farwell, W.; Whitney, J.; Lieb, J. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 187 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 - Resource scheduling in dependable integrated modular avionics

✍ Yann-Hang Lee, ; Daeyoung Kim, ; Younis, M.; Zhou, J.; McElroy, J. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 324 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 - Towards dependable home networking: an experience report

✍ Yi-Min Wang, ; Russell, W.; Arora, A.; Jun Xu, ; Jagannatthan, R.K. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 194 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 - Implementing flexible object group invocation in networked systems

✍ Morgan, G.; Shrivastava, S.K. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 734 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