| 2005 | Formal Verification of Parametric Multiplicative Division Implementations. | Nikhil Kikkeri, Peter-Michael Seidel |
| 2005 | A Skewed Repeater Bus Architecture for On-Chip Energy Reduction in Microprocessors. | Muhammad M. Khellah, Maged Ghoneima, James W. Tschanz, Yibin Ye, Nasser A. Kurd, Javed Barkatullah, Srikanth Nimmagadda, Yehea I. Ismail |
| 2005 | Counter-Based Cache Replacement Algorithms. | Mazen Kharbutli, Yan Solihin |
| 2005 | Supply Voltage Degradation Aware Analytical Placement. | Andrew B. Kahng, Bao Liu, Qinke Wang |
| 2005 | Optimizing the Thermal Behavior of Subarrayed Data Caches. | Johnsy K. John, Jie S. Hu, Sotirios G. Ziavras |
| 2005 | Benefits and Costs of Power-Gating Technique. | Hailin Jiang, Malgorzata Marek-Sadowska, Sani R. Nassif |
| 2005 | Minimum Energy Near-threshold Network of PLA based Design. | Nikhil Jayakumar, Sunil P. Khatri |
| 2005 | Model Checking C Programs Using F-SOFT. | Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang |
| 2005 | Correlation between Detailed and Simplified Simulations in Studying Multiprocessor Architecture. | Khaled Z. Ibrahim |
| 2005 | Temperature-Aware Voltage Islands Architecting in System-on-Chip Design. | Wei-Lun Hung, Greg M. Link, Yuan Xie, Narayanan Vijaykrishnan, Nagu R. Dhanwada, John Conner |
| 2005 | Mitigating Soft Errors in Highly Associative Cache with CAM-based Tag. | Luong Dinh Hung, Masahiro Goshima, Shuichi Sakai |
| 2005 | Physical Synthesis of Energy-Efficient Networks-on-Chip Through Topology Exploration and Wire Style Optimizationz. | Yuanfang Hu, Hongyu Chen, Yi Zhu, Andrew A. Chien, Chung-Kuan Cheng |
| 2005 | Enhanced Dual-Transition Probabilistic Power Estimation with Selective Supergate Analysis. | Fei Hu, Vishwani D. Agrawal |
| 2005 | Dealing with I/O Devices in the Context of Pervasive System Verification. | Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul |
| 2005 | Reconsidering CEGAR: Learning Good Abstractions without Refinement. | Anubhav Gupta, Edmund M. Clarke |
| 2005 | Fast Minimum and Maximum Selection. | Anatoly I. Grushin |
| 2005 | Efficient Implementation Selection via Time Budgeting Complexity Analysis and Leakage Optimization Case Study. | Soheil Ghiasi |
| 2005 | Yesterday and Tomorrow: A View on Progress in Computer Design. | Michael J. Flynn |
| 2005 | Are Today's Verification Tools Able to Handle Current Design Challenges? | Rich Faris, Ken Larsen, Harry Foster, Stuart Swan |
| 2005 | A Novel Method of Improving Transition Delay Fault Coverage Using Multiple Scan Enable Signals. | Narendra Devta-Prasanna, Arun Gunda, P. Krishnamurthy, Sudhakar M. Reddy, Irith Pomeranz |
| 2005 | Variability-Driven Buffer Insertion Considering Correlations. | Azadeh Davoodi, Ankur Srivastava |
| 2005 | Architectural Considerations for Energy Efficiency. | Hoang Q. Dao, Bart R. Zeydel, Vojin G. Oklobdzija |
| 2005 | An Improved Approach for AlternativeWires Identi.cation. | Yung-Chih Chen, Chun-Yao Wang |
| 2005 | Surfliner: A Distortionless Electrical Signaling Scheme for Speed of Light On-Chip Communications. | Hongyu Chen, Rui Shi, Chung-Kuan Cheng, David M. Harris |
| 2005 | Robust Design of High Fan-In/Out Subthreshold Circuits. | Jinhui Chen, Lawrence T. Clark, Yu Cao |