𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 18th ACM Great Lakes symposium - Orlando, Florida, USA (2008.05.04-2008.05.06)] Proceedings of the 18th ACM Great Lakes symposium on VLSI - GLSVLSI '08 - Automated formal verification of scheduling with speculative code motions

✍ Scribed by Kim, Youngsik; Mansouri, Nazanin

Book ID: 121868718
Publisher: ACM Press
Year: 2008
Weight: 396 KB
Category: Article
ISBN: 1595939997
DOI: 10.1145/1366110.1366134

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 18th ACM Great Lakes symp

[ACM Press the 18th ACM Great Lakes symposium - Orlando, Florida, USA (2008.05.04-2008.05.06)] Proceedings of the 18th ACM Great Lakes symposium on VLSI - GLSVLSI '08 - NBTI resilient circuits using adaptive body biasing

✍ Qi, Zhenyu; Stan, Mircea R. 📂 Article 📅 2008 🏛 ACM Press ⚖ 267 KB

[ACM Press the 18th ACM Great Lakes symp

[ACM Press the 18th ACM Great Lakes symposium - Orlando, Florida, USA (2008.05.04-2008.05.06)] Proceedings of the 18th ACM Great Lakes symposium on VLSI - GLSVLSI '08 - Efficient tree topology for FPGA interconnect network

✍ Zied, Marrakchi; Hayder, Mrabet; Emna, Amouri; Habib, Mehrez 📂 Article 📅 2008 🏛 ACM Press ⚖ 494 KB

[ACM Press the 18th ACM Great Lakes symp

[ACM Press the 18th ACM Great Lakes symposium - Orlando, Florida, USA (2008.05.04-2008.05.06)] Proceedings of the 18th ACM Great Lakes symposium on VLSI - GLSVLSI '08 - Verifying start-up conditions for a ring oscillator

✍ Greenstreet, Mark R.; Yang, Suwen 📂 Article 📅 2008 🏛 ACM Press ⚖ 155 KB

[ACM Press the 18th ACM Great Lakes symp

[ACM Press the 18th ACM Great Lakes symposium - Orlando, Florida, USA (2008.05.04-2008.05.06)] Proceedings of the 18th ACM Great Lakes symposium on VLSI - GLSVLSI '08 - A layout-aware physical design method for constructing feasible QCA circuits

✍ Bubna, Mayur; Roy, Sudip; Shenoy, Naresh; Mazumdar, Subhra 📂 Article 📅 2008 🏛 ACM Press ⚖ 194 KB

[ACM Press the 16th ACM Great Lakes symp

[ACM Press the 16th ACM Great Lakes symposium - Philadelphia, PA, USA (2006.04.30-2006.05.01)] Proceedings of the 16th ACM Great Lakes symposium on VLSI - GLSVLSI '06 - Evaluation of on-chip networks using deflection routing

✍ Lu, Zhonghai; Zhong, Mingchen; Jantsch, Axel 📂 Article 📅 2006 🏛 ACM Press ⚖ 222 KB

[ACM Press the 16th ACM Great Lakes symp

[ACM Press the 16th ACM Great Lakes symposium - Philadelphia, PA, USA (2006.04.30-2006.05.01)] Proceedings of the 16th ACM Great Lakes symposium on VLSI - GLSVLSI '06 - From single core to multi-core to many core

✍ Parkhurst, Jeff 📂 Article 📅 2006 🏛 ACM Press ⚖ 119 KB