| 2004 | Loose synchronization of event-triggered networks for distribution of synchronous programs. | Jan Romberg, Andreas Bauer |
| 2004 | DELite: database support for embedded lightweight devices. | Krithi Ramamritham, Rajkumar Sen |
| 2004 | Model based estimation and verification of mobile device performance. | Gopalakrishna Raghavan, Ari Salomki, Raimondas Lencevicius |
| 2004 | Conservative approximations for heterogeneous design. | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
| 2004 | An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing. | Sangsoo Park, Yonghee Lee, Heonshik Shin |
| 2004 | Compiler-assisted demand paging for embedded systems with flash memory. | Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min |
| 2004 | Great works for the 21st century: a critical role for the modern research university. | A. Richard Newton |
| 2004 | A model-based approach to integrating security policies for embedded devices. | Michael McDougall, Rajeev Alur, Carl A. Gunter |
| 2004 | A methodology for generating verified combinatorial circuits. | Oleg Kiselyov, Kedar N. Swadi, Walid Taha |
| 2004 | "The computer revolution", "computer science", and "software engineering" haven't happened yet. | Alan C. Kay |
| 2004 | A typed assembly language for real-time programs. | Thomas A. Henzinger, Christoph M. Kirsch |
| 2004 | Network processors: a progress report. | Nevin Heintze |
| 2004 | Reuse of software in distributed embedded automotive systems. | Bernd Hardung, Thorsten Klzow, Andreas Krger |
| 2004 | Reactive process networks. | Marc Geilen, Twan Basten |
| 2004 | Approximation of the worst-case execution time using structural analysis. | Matteo Corti, Thomas R. Gross |
| 2004 | Towards a higher-order synchronous data-flow language. | Jean-Louis Colao, Alain Girault, Grgoire Hamon, Marc Pouzet |
| 2004 | Reducing program image size by extracting frozen code and data. | Daniel Citron, Gadi Haber, Roy Levin |
| 2004 | A metrics system for quantifying operational coupling in embedded computer control systems. | De-Jiu Chen, Martin Trngren |
| 2004 | An approach for integrating basic retiming and software pipelining. | Noureddine Chabini, Wayne H. Wolf |
| 2004 | An event detection algebra for reactive systems. | Jan Carlson, Bjrn Lisper |
| 2004 | Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. | Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthr |
| 2004 | Remote customization of systems code for embedded devices. | Sapan Bhatia, Charles Consel, Calton Pu |
| 2004 | Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 2004 | Garbage collection for embedded systems. | David F. Bacon, Perry Cheng, David Grove |
| 2004 | Scheduling within temporal partitions: response-time analysis and server design. | Lus Almeida, Paulo Pedreiras |