𝔖 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) - A flexible formal verification framework for industrial scale validation

✍ Scribed by Slobodova, Anna; Davis, Jared; Swords, Sol; Hunt, Warren

Book ID: 126669318
Publisher: IEEE
Year: 2011
Weight: 343 KB
Category: Article
ISBN: 1457701170
DOI: 10.1109/MEMCOD.2011.5970515

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) - 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) - 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) - Fast scalable FPGA-based Network-on-Chip simulation models

✍ Papamichael, Michael K. 📂 Article 📅 2011 🏛 IEEE ⚖ 693 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) - Transforming SystemC Transaction Level Models into UPPAAL timed automata

✍ Herber, Paula; Pockrandt, Marcel; Glesner, Sabine 📂 Article 📅 2011 🏛 IEEE ⚖ 329 KB