| 2004 | A CLP Proof Method for Timed Automata. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2004 | A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems. Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino |
| 2004 | A Model-Based Approach to Designing QoS Adaptive Applications. Jianming Ye, Joseph P. Loyall, Richard Shapiro, Richard E. Schantz, Sandeep Neema, Sherif Abdelwahed, Nagabhushan Mahadevan, Michael A. Koets, Denise Varner |
| 2004 | A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks. Qing Cao, Tarek F. Abdelzaher |
| 2004 | A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. Didier Lime, Olivier H. Roux |
| 2004 | A Virtual Deadline Scheduler for Window-Constrained Service Guarantees. Yuting Zhang, Richard West, Xin Qi |
| 2004 | Automatic Generation of Protocol Converters from Scenario-Based Specifications. Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva |
| 2004 | Automatic Verification of Component-Based Real-Time CORBA Applications. Gabor Madl, Sherif Abdelwahed, Gabor Karsai |
| 2004 | Competitive Algorithms for Fine-Grain Real-Time Scheduling. Michael A. Palis |
| 2004 | Compositional Real-Time Scheduling Framework. Insik Shin, Insup Lee |
| 2004 | Construction of a Coherency Preserving Dynamic Data Dissemination Network. Shweta Agrawal, Krithi Ramamritham, Shetal Shah |
| 2004 | Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems. Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst |
| 2004 | Design Style Case Study for Embedded Multi Media Compute Nodes. Andy Lambrechts, Tom Vander Aa, Murali Jayapala, Guillermo Talavera, Anthony Leroy, Adelina Shickova, Francisco Barat, Bingfeng Mei, Francky Catthoor, Diederik Verkest, Geert Deconinck, Henk Corporaal, Frédéric Robert, Jordi Carrabina Bordoll |
| 2004 | Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA). Aravindh Anantaraman, Kiran Seth, Eric Rotenberg, Frank Mueller |
| 2004 | Feasibility Analysis of Preemptive Real-Time Systems upon Heterogeneous Multiprocessor Platforms. Sanjoy K. Baruah |
| 2004 | Finite-Horizon Scheduling of Radar Dwells with Online Template Construction. Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih, Chang-Gun Lee, Lui Sha |
| 2004 | Fixed Priority Scheduling for Reducing Overall Energy on Variable Voltage Processors. Gang Quan, Linwei Niu, Xiaobo Sharon Hu, Bren Mochocki |
| 2004 | Hard Real-Time Communication in Bus-Based Networks. Sathish Gopalakrishnan, Lui Sha, Marco Caccamo |
| 2004 | Integrated Resource Management and Scheduling with Multi-Resource Constraints. Sourav Ghosh, Jeffery P. Hansen, Ragunathan Rajkumar, John P. Lehoczky |
| 2004 | Integrating Best-Effort Scheduling into a Real-Time System. Scott A. Banachowski, Timothy Bisson, Scott A. Brandt |
| 2004 | Integration of Internal and External Clock Synchronization by the Combination of Clock-State and Clock-Rate Correction in Fault-Tolerant Distributed Systems. Hermann Kopetz, Astrit Ademaj, Alexander Hanzlik |
| 2004 | Let's Get the Real into Real-Time Computing. John A. Stankovic |
| 2004 | Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors. Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha |
| 2004 | Mobile Element Scheduling for Efficient Data Collection in Wireless Sensor Networks with Dynamic Deadlines. Arun A. Somasundara, Aditya Ramamoorthy, Mani B. Srivastava |
| 2004 | Model-Driven SoC Design via Executable UML to SystemC. Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong |
| 2004 | Modeling Out-of-Order Processors for Software Timing Analysis. Xianfeng Li, Abhik Roychoudhury, Tulika Mitra |
| 2004 | Modeling Real-Time Systems. Joseph Sifakis |
| 2004 | Negative Results for Scheduling Independent Hard Real-Time Tasks with Self-Suspensions. Frédéric Ridouard, Pascal Richard, Francis Cottet |
| 2004 | On Fault-Sensitive Feasibility Analysis of Real-Time Task Sets. Hakan Aydin |
| 2004 | On Real-Time Capacity Limits of Multihop Wireless Sensor Networks. Tarek F. Abdelzaher, Shashi Prabh, Raghu Kiran |
| 2004 | On-Line Dynamic Voltage Scaling for Hard Real-Time Systems Using the EDF Algorithm. Cheol-Hoon Lee, Kang G. Shin |
| 2004 | Optimal State Feedback Based Resource Allocation for Resource-Constrained Control Tasks. Pau Martí, Caixue Lin, Scott A. Brandt, Manel Velasco, Josep M. Fuertes |
| 2004 | Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications. José Luis Díaz, José María López, Manuel García Vazquez, Antonio M. Campos, Kanghee Kim, Lucia Lo Bello |
| 2004 | Pre-Scheduling on the Domain of Integers. Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
| 2004 | Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal |
| 2004 | Processor Frequency Selection for SoC Platforms for Multimedia Applications. Yanhong Liu, Alexander Maxiaguine, Samarjit Chakraborty, Wei Tsang Ooi |
| 2004 | QoS Support for USB 2.0 Periodic and Sporadic Device Requests. Chih-Yuan Huang, Tei-Wei Kuo, Ai-Chun Pang |
| 2004 | Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks. Tullio Facchinetti, Luís Almeida, Giorgio C. Buttazzo, Carlo Marchini |
| 2004 | Rewriting History to Exploit Gain Time. Guillem Bernat, Ian Broster, Alan Burns |
| 2004 | Robust Quality Management for Differentiated Imprecise Data Services. Mehdi Amirijoo, Jörgen Hansson, Sang Hyuk Son, Svante Gunnarsson |
| 2004 | Scheduling Acyclic Branching Programs on Parallel Machines. Marius Bozga, Abdelkarim Kerbaa, Oded Maler |
| 2004 | Scoped Types for Real-Time Java. Tian Zhao, James Noble, Jan Vitek |
| 2004 | Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects. Kam-yiu Lam, Ming Xiong, Biyu Liang, Yang Guo |
| 2004 | The Design and Performance of Configurable Component Middleware for Distributed Real-Time and Embedded Systems. Venkita Subramonian, Liang-Jui Shen, Christopher D. Gill, Nanbor Wang |
| 2004 | The Road Ahead: It Doesn't Get Any Easier. André M. Van Tilborg |
| 2004 | WCET Code Positioning. Wankang Zhao, David B. Whalley, Christopher A. Healy, Frank Mueller |