✦ LIBER ✦

[IEEE First International Symposium on Networks-on-Chip - Princeton, NJ, USA (2007.05.7-2007.05.9)] First International Symposium on Networks-on-Chip (NOCS'07) - A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

✍ Scribed by Borrione, Dominique; Helmy, Amr; Pierre, Laurence; Schmaltz, Julien

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE First International Symposium on N

✍ Cidon, Israel 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 59 KB

[IEEE First International Symposium on N

✍ Millberg, Mikael; Jantsch, Axel 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 119 KB

[IEEE First International Symposium on N

✍ Gindin, Roman; Cidon, Israel; Keidar, Idit 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 422 KB

[IEEE First International Symposium on N

✍ Xu, Sheng; Benito, Ibis; Burleson, Wayne 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 125 KB

[IEEE First International Symposium on N

✍ De Micheli, Giovanni 📂 Article 📅 2007 🏛 IEEE ⚖ 59 KB

[IEEE First International Symposium on N

✍ Wolkotte, Pascal T.; Holzenspies, Philip K.F.; Smit, Gerard J.M. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 222 KB