✦ LIBER ✦

[IEEE 2009 Eighth International Symposium on Parallel and Distributed Computing (ISPDC) - Lisbon, Portugal (2009.06.30-2009.07.4)] 2009 Eighth International Symposium on Parallel and Distributed Computing - Utilizing Model Checking for Automated Optimization Information Discovery in InDiGO

✍ Scribed by Kolesnikov, Valeriy; Singh, Gurdip

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 Eighth International Symposiu

✍ Bui, Alain; Kudireti, Abdurusul; Sohier, Devan 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 401 KB

[IEEE 2009 Eighth International Symposiu

✍ Bennoui, Hammadi; Chaoui, Allaoua; Barkaoui, Kamel 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 790 KB

[IEEE 2009 Eighth International Symposiu

✍ Banicescu, Ioana; Ciorba, Florina M.; Carino, Ricolindo L. 📂 Article 📅 2009 🏛 IEEE ⚖ 219 KB