25. RTSS 2004:
Lisbon,
Portugal
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal.
IEEE Computer Society 2004, ISBN 0-7695-2247-5 BibTeX
Keynote Talks
Session 1:
Award Papers
Session 2:
Scheduling
Session 3:
Compiler and Architectural Support
- Wankang Zhao, David B. Whalley, Christopher A. Healy, Frank Mueller:
WCET Code Positioning.
81-91
Electronic Edition (link) BibTeX
- Xianfeng Li, Abhik Roychoudhury, Tulika Mitra:
Modeling Out-of-Order Processors for Software Timing Analysis.
92-103
Electronic Edition (link) BibTeX
- 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:
Design Style Case Study for Embedded Multi Media Compute Nodes.
104-113
Electronic Edition (link) BibTeX
- Aravindh Anantaraman, Kiran Seth, Eric Rotenberg, Frank Mueller:
Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA).
114-125
Electronic Edition (link) BibTeX
Session 4:
QoS Issues and Multimedia Computing
Session 5:
Formal Methods and Software Engineering
- Joxan Jaffar, Andrew E. Santosa, Razvan Voicu:
A CLP Proof Method for Timed Automata.
175-186
Electronic Edition (link) BibTeX
- Didier Lime, Olivier H. Roux:
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets.
187-196
Electronic Edition (link) BibTeX
- José Luis Díaz, José María López, Manuel García Vazquez, Antonio M. Campos, Kanghee Kim, Lucia Lo Bello:
Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications.
197-207
Electronic Edition (link) BibTeX
- Marius Bozga, Abdelkarim Kerbaa, Oded Maler:
Scheduling Acyclic Branching Programs on Parallel Machines.
208-217
Electronic Edition (link) BibTeX
Session 6:
Middleware and Programming Languages
- Jianming Ye, Joseph P. Loyall, Richard Shapiro, Richard E. Schantz, Sandeep Neema, Sherif Abdelwahed, Nagabhushan Mahadevan, Michael Koets, Denise Varner:
A Model-Based Approach to Designing QoS Adaptive Applications.
221-230
Electronic Edition (link) BibTeX
- Gabor Madl, Sherif Abdelwahed, Gabor Karsai:
Automatic Verification of Component-Based Real-Time CORBA Applications.
231-240
Electronic Edition (link) BibTeX
- Tian Zhao, James Noble, Jan Vitek:
Scoped Types for Real-Time Java.
241-251
Electronic Edition (link) BibTeX
- Venkita Subramonian, Liang-Jui Shen, Christopher D. Gill, Nanbor Wang:
The Design and Performance of Configurable Component Middleware for Distributed Real-Time and Embedded Systems.
252-261
Electronic Edition (link) BibTeX
Session 7:
Real-Time Data Collection and Management
- Mehdi Amirijoo, Jörgen Hansson, Sang Hyuk Son, Svante Gunnarsson:
Robust Quality Management for Differentiated Imprecise Data Services.
265-275
Electronic Edition (link) BibTeX
- Kam-yiu Lam, Ming Xiong, BiYu Liang, Yang Guo:
Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects.
276-285
Electronic Edition (link) BibTeX
- Shweta Agrawal, Krithi Ramamritham, Shetal Shah:
Construction of a Coherency Preserving Dynamic Data Dissemination Network.
286-295
Electronic Edition (link) BibTeX
- Arun A. Somasundara, Aditya Ramamoorthy, Mani B. Srivastava:
Mobile Element Scheduling for Efficient Data Collection in Wireless Sensor Networks with Dynamic Deadlines.
296-305
Electronic Edition (link) BibTeX
Session 8:
Energy Management and Resource Reclamation
Session 9:
Sensor Networks
- Qing Cao, Tarek F. Abdelzaher:
A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks.
349-358
Electronic Edition (link) BibTeX
- Tarek F. Abdelzaher, Shashi Prabh, Raghu Kiran:
On Real-Time Capacity Limits of Multihop Wireless Sensor Networks.
359-370
Electronic Edition (link) BibTeX
- Qixin Wang, Rong Zheng, Ajay Tirumala, Xue Liu, Lui Sha:
Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors.
371-381
Electronic Edition (link) BibTeX
- Tullio Facchinetti, Luís Almeida, Giorgio C. Buttazzo, Carlo Marchini:
Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks.
382-391
Electronic Edition (link) BibTeX
Session 10:
Real-Time Communication and Fault Tolerance
Session 11:
Co-Design Techniques
- Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino:
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems.
437-446
Electronic Edition (link) BibTeX
- Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva:
Automatic Generation of Protocol Converters from Scenario-Based Specifications.
447-458
Electronic Edition (link) BibTeX
- Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong:
Model-Driven SoC Design via Executable UML to SystemC.
459-468
Electronic Edition (link) BibTeX
- Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst:
Design Space Exploration and System Optimization with SymTA/S-- Symbolic Timing Analysis for Systems.
469-478
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:36:17 2009
by Michael Ley (ley@uni-trier.de)
