𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - On solving covering problems

✍ Scribed by Coudert, Olivier

Book ID: 121402186
Publisher: ACM Press
Year: 1996
Weight: 324 KB
Category: Article
ISBN-13: 9780897917797
DOI: 10.1145/240518.240555

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 33rd annual conference -

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - The design of mixed hardware/software systems

✍ Adams, Jay K.; Thomas, Donald E. 📂 Article 📅 1996 🏛 ACM Press ⚖ 62 KB

[ACM Press the 33rd annual conference -

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Efficient software performance estimation methods for hardware/software codesign

✍ Suzuki, Kei; Sangiovanni-Vincentelli, Alberto 📂 Article 📅 1996 🏛 ACM Press ⚖ 123 KB

[ACM Press the 33rd annual conference -

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - An O ( n ) algorithm for transistor stacking with performance constraints

✍ Basaran, Bulent; Rutenbar, Rob A. 📂 Article 📅 1996 🏛 ACM Press ⚖ 71 KB

[ACM Press the 33rd annual conference -

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessor

✍ Katrowitz, Michael; Noack, Lisa M. 📂 Article 📅 1996 🏛 ACM Press ⚖ 115 KB

[ACM Press the 43rd annual conference -

[ACM Press the 43rd annual conference - San Francisco, CA, USA (2006.07.24-2006.07.28)] Proceedings of the 43rd annual conference on Design automation - DAC '06 - DyXY

✍ Li, Ming; Zeng, Qing-An; Jone, Wen-Ben 📂 Article 📅 2006 🏛 ACM Press ⚖ 566 KB

[ACM Press the 43rd annual conference -

[ACM Press the 43rd annual conference - San Francisco, CA, USA (2006.07.24-2006.07.28)] Proceedings of the 43rd annual conference on Design automation - DAC '06 - Gate sizing

✍ Swahn, Brian; Hassoun, Soha 📂 Article 📅 2006 🏛 ACM Press ⚖ 782 KB