| 2007 | An Embedded Implementation of the Microsoft Common Language Infrastructure. | Joseph C. Libby, Kenneth B. Kent |
| 2007 | FATTY: A Reliable FAT File System. | Alei Liang, Kejia Liu, Xiaoyong Li, Haibing Guan |
| 2007 | A Proposal of New Join Operators for Sensor Network Databases. | Seungjae Lee, Changhwa Kim, Sangkyung Kim |
| 2007 | Power Estimation of Time Variant SoCs with TAPES. | Andreas Lankes, Thomas Wild, Johannes Zeppenfeld |
| 2007 | Error-Aware Design. | Fadi J. Kurdahi, Ahmed M. Eltawil, Amin Khajeh Djahromi, Mohammad A. Makhzan, Stanley Cheng |
| 2007 | Concurrent Error Detection for FSMs Designed for Implementation with Embedded Memory Blocks of FPGAs. | Andrzej Krasniewski |
| 2007 | Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. | Sebastian Kinder, Rolf Drechsler |
| 2007 | Functional Test-Case Generation by a Control Transaction Graph for TLM Verification. | Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Siamak Mohammadi |
| 2007 | On-Chip Verification of NoCs Using Assertion Processors. | Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Masoud Daneshtalab, Saeed Safari, Zainalabedin Navabi |
| 2007 | Hybrid BIST Optimization Using Reseeding and Test Set Compaction. | Gert Jervan, Elmet Orasson, Helena Kruus, Raimund Ubar |
| 2007 | Simulation Based Verification of Energy Storage Architectures for Higher Class Tags supported by Energy Harvesting Devices. | Alex Janek, Christoph Trummer, Christian Steger, Reinhold Weiss, Josef Preishuber-Pfluegl, Markus Pistauer |
| 2007 | A FPGA Optimised Digital Real-Time Mutichannel Correlator Architecture. | Christian Jakob, A. Th. Schwarzbacher, Bernhard Hoppe, Reiner Peters |
| 2007 | A New Class of Cellular Automata. | Hosna Jabbari, Jon C. Muzio, Lin Sun |
| 2007 | Evaluating the Model Accuracy in Automated Design Space Exploration. | Kalle Holma, Mikko Setl, Erno Salminen, Timo D. Hmlinen |
| 2007 | Scaling Analytical Models for Soft Error Rate Estimation Under a Multiple-Fault Environment. | Christian J. Hescott, Drew C. Ness, David J. Lilja |
| 2007 | A resource optimized Processor Core for FPGA based SoCs. | Gerald Hempel, Christian Hochberger |
| 2007 | Experiences with a FPGA-based Reed/Solomon Encoding Coprocessor. | Volker Hampel, Peter Sobe, Erik Maehle |
| 2007 | Merge Logic for Clustered Multithreaded VLIW Processors. | Manoj Gupta, Fermn Snchez, Josep Llosa |
| 2007 | Energy Based Design Space Exploration of Multiprocessor VLIW Architectures. | Manoj Gupta, Mayank Gupta, Neeraj Goel, M. Balaksrishnan |
| 2007 | Performance Evaluation of Instruction Set Extensions for Long Integer Modular Arithmetic on a SPARC V8 Processor. | Johann Groschdl, Stefan Tillich, Alexander Szekely |
| 2007 | FPGA-based Road Traffic Videodetector. | Marek Gorgon, Piotr Pawlik, Miroslaw Jablonski, Jaromir Przybylo |
| 2007 | Toggle Equivalence Preserving (TEP) Logic Optimization. | Eugene Goldberg, Kanupriya Gulati, Sunil P. Khatri |
| 2007 | On Complexity of Internal and External Equivalence Checking. | Eugene Goldberg, Kanupriya Gulati |
| 2007 | A Robust GF(p) Parallel Arithmetic Unit for Public Key Cryptography. | Santosh Ghosh, Monjur Alam, Indranil Sengupta, Dipanwita Roy Chowdhury |
| 2007 | Latency Minimization for Synchronous Data Flow Graphs. | Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen |