𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - 802.11a transmitter: a case study in microarchitectural exploration

✍ Scribed by Dave, N.; Pellauer, M.; Gerding, S.; Arvind,

Book ID: 126631913
Publisher: IEEE
Year: 2006
Weight: 231 KB
Category: Article
ISBN-13: 9781424404216
DOI: 10.1109/MEMCOD.2006.1695901

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings. Fourth ACM & IEEE Int

[IEEE Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (2006.07.27-2006.07.30)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 - Keynote Talk II

✍ Institute of Electrical and Electronics Engineers 📂 Article 📅 2006 🏛 IEEE ⚖ 36 KB

[IEEE Proceedings. Fourth ACM & IEEE Int

[IEEE Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (2006.07.27-2006.07.30)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 - Keynote Talk II

✍ Institute of Electrical and Electronics Engineers 📂 Article 📅 2006 🏛 IEEE ⚖ 36 KB

[IEEE 2008 6th ACM/IEEE International Co

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - H.264 Decoder: A Case Study in Multiple Design Points

✍ Fleming, Kermin; Lin, Chun-Chieh; Dave, Nirav; Arvind, ; Raghavan, Gopal; Hicks, 📂 Article 📅 2008 🏛 IEEE ⚖ 388 KB

[IEEE 2008 6th ACM/IEEE International Co

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - H.264 Decoder: A Case Study in Multiple Design Points

✍ Fleming, Kermin; Lin, Chun-Chieh; Dave, Nirav; Arvind, ; Raghavan, Gopal; Hicks, 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 388 KB

[IEEE Third ACM & amp; IEEE Internationa

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Formal verification of SystemC by automatic hardware/software partitioning

✍ Kroening, Daniel (author);Sharygina, Natasha (author) 📂 Article 📅 2005 🏛 IEEE ⚖ 355 KB

[IEEE Third ACM & amp; IEEE Internationa

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Formal verification of SystemC by automatic hardware/software partitioning

✍ Kroening, Daniel (author);Sharygina, Natasha (author) 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 355 KB