𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Fast scalable FPGA-based Network-on-Chip simulation models

✍ Scribed by Papamichael, Michael K.

Book ID: 125537124
Publisher: IEEE
Year: 2011
Weight: 693 KB
Category: Article
ISBN: 1457701170
DOI: 10.1109/MEMCOD.2011.5970513

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 9th IEEE/ACM International Co

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator

✍ Chiou, Derek 📂 Article 📅 2011 🏛 IEEE ⚖ 279 KB

[IEEE 2011 9th IEEE/ACM International Co

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - GPU-based NoC simulator

✍ Zolghadr, Mahdy; Mirhosseini, Koosha; Gorgin, Saeid; Nayebi, Abbas 📂 Article 📅 2011 🏛 IEEE ⚖ 407 KB

[IEEE 2011 9th IEEE/ACM International Co

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Efficient deadlock detection for concurrent systems

✍ Bensalem, Saddek; Griesmayer, Andreas; Legay, Axel; Nguyen, Thanh-Hung; Peled, D 📂 Article 📅 2011 🏛 IEEE ⚖ 755 KB

[IEEE 2011 9th IEEE/ACM International Co

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Formal modelling and transformations of processor instruction sets

✍ Mokhov, Andrey; Sokolov, Danil; Rykunov, Maxim; Yakovlev, Alex 📂 Article 📅 2011 🏛 IEEE ⚖ 494 KB

[IEEE 2011 9th IEEE/ACM International Co

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - A flexible formal verification framework for industrial scale validation

✍ Slobodova, Anna; Davis, Jared; Swords, Sol; Hunt, Warren 📂 Article 📅 2011 🏛 IEEE ⚖ 343 KB

[IEEE 2011 9th IEEE/ACM International Co

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Modeling of time in discrete-event simulation of systems-on-chip

✍ Funchal, Giovanni; Moy, Matthieu 📂 Article 📅 2011 🏛 IEEE ⚖ 342 KB