𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Verifying dynamic power management schemes using statistical model checking

✍ Scribed by Kumar, Jayanand Asok; Vasudevan, Shobha

Book ID: 120283847
Publisher: IEEE
Year: 2012
Weight: 272 KB
Category: Article
ISBN: 1467307718
DOI: 10.1109/ASPDAC.2012.6165023

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference -

✍ Paler, Alexandru; Polian, Ilia; Hayes, John P. 📂 Article 📅 2012 🏛 IEEE ⚖ 339 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Crosstalk-aware statistical interconnect delay calculation

✍ Qin Tang, ; Zjajo, Amir; Berkelaar, Michel; van der Meijs, Nick 📂 Article 📅 2012 🏛 IEEE ⚖ 199 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Memory access aware power gating for MPSoCs

✍ Ye-Jyun Lin, ; Yang, Chia-Lin; Jiao-Wei Huang, ; Naehyuck Chang, 📂 Article 📅 2012 🏛 IEEE ⚖ 562 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Probabilistic design in spintronic memory and logic circuit

✍ Chen, Yiran; Zhang, Yaojun; Wang, Peiyuan 📂 Article 📅 2012 🏛 IEEE ⚖ 443 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - A formal approach to debug polynomial datapath designs

✍ Alizadeh, Bijan 📂 Article 📅 2012 🏛 IEEE ⚖ 130 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Optimizing test-generation to the execution platform

✍ Nahir, Amir; Ziv, Avi; Panda, Subrat 📂 Article 📅 2012 🏛 IEEE ⚖ 368 KB