| 2005 | Equivalence checking of arithmetic expressions using fast evaluation. | Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nicolau |
| 2005 | Intra-task scenario-aware voltage scheduling. | Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal |
| 2005 | Energy management for commodity short-bit-width microcontrollers. | Rony Ghattas, Alexander G. Dean |
| 2005 | Virtual multiprocessor: an analyzable, high-performance architecture for real-time computing. | Ali El-Haj-Mahmoud, Ahmed S. Al-Zawawi, Aravindh Anantaraman, Eric Rotenberg |
| 2005 | SECA: security-enhanced communication architecture. | Joel Coburn, Srivaths Ravi, Anand Raghunathan, Srimat T. Chakradhar |
| 2005 | Automating custom-precision function evaluation for embedded processors. | Ray C. C. Cheung, Dong-U Lee, Oskar Mencer, Wayne Luk, Peter Y. K. Cheung |
| 2005 | Verifiable annotations for embedded java environments. | Guangyu Chen, Mahmut T. Kandemir |
| 2005 | Architectural support for real-time task scheduling in SMT processors. | Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernndez, Alex Ramrez, Mateo Valero |
| 2005 | Optimizing stream programs using linear state space analysis. | Sitij Agrawal, William Thies, Saman P. Amarasinghe |
| 2004 | Hardware assisted control flow obfuscation for embedded processors. | Xiaotong Zhuang, Tao Zhang, Hsien-Hsin S. Lee, Santosh Pande |
| 2004 | Loop-based leakage control for branch predictors. | Wei Zhang, Bramha Allu |
| 2004 | Scalable custom instructions identification for instruction-set extensible processors. | Pan Yu, Tulika Mitra |
| 2004 | Programming models and architectures for FPGA platforms. | Kees A. Vissers |
| 2004 | Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations. | Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe |
| 2004 | Static program analysis of embedded executable assembly code. | Ramakrishnan Venkitaraman, Gopal Gupta |
| 2004 | Translating affine nested-loop programs to process networks. | Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere |
| 2004 | Balancing design options with Sherpa. | Timothy Sherwood, Mark Oskin, Brad Calder |
| 2004 | Causality analysis of synchronous programs with delayed actions. | Klaus Schneider, Jens Brandt, Tobias Schle |
| 2004 | An efficient system-on-a-chip design methodology for networking applications. | Valentina Salapura, Christos J. Georgiou, Indira Nair |
| 2004 | A hamming distance based VLIW/EPIC code compression technique. | Montserrat Ros, Peter Sutton |
| 2004 | Disk drive energy optimization for audio-video applications. | Ravishankar Rao, Sarma B. K. Vrudhula, Musaravakkam S. Krishnan |
| 2004 | Reducing energy consumption of queries in memory-resident database systems. | Jayaprakash Pisharath, Alok N. Choudhary, Mahmut T. Kandemir |
| 2004 | Reducing both dynamic and leakage energy consumption for hard real-time systems. | Linwei Niu, Gang Quan |
| 2004 | Java cryptography on KVM and its performance and security optimization using HW/SW co-design techniques. | Yusuke Matsuoka, Patrick Schaumont, Kris Tiri, Ingrid Verbauwhede |
| 2004 | A low power architecture for embedded perception. | Binu K. Mathew, Al Davis, Michael A. Parker |