25. RTSS 2004: Lisbon, Portugal

Keynote Talks

• John A. Stankovic:
  Let's Get the Real into Real-Time Computing. 3
  
• André M. Van Tilborg:
  The Road Ahead: It Doesn't Get Any Easier. 4
  
• Joseph Sifakis:
  Modeling Real-Time Systems. 5-6
  

Session 1: Award Papers

• Sourav Ghosh, Jeffery P. Hansen, Ragunathan Rajkumar, John P. Lehoczky:
  Integrated Resource Management and Scheduling with Multi-Resource Constraints. 12-22
  
• Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih, Chang-Gun Lee, Lui Sha:
  Finite-Horizon Scheduling of Radar Dwells with Online Template Construction. 23-33
  

Session 2: Scheduling

• Sanjoy K. Baruah:
  Feasibility Analysis of Preemptive Real-Time Systems upon Heterogeneous Multiprocessor Platforms. 37-46
  
• Frédéric Ridouard, Pascal Richard, Francis Cottet:
  Negative Results for Scheduling Independent Hard Real-Time Tasks with Self-Suspensions. 47-56
  
• Insik Shin, Insup Lee:
  Compositional Real-Time Scheduling Framework. 57-67
  
• Weirong Wang, Aloysius K. Mok, Gerhard Fohler:
  Pre-Scheduling on the Domain of Integers. 68-77
  

Session 3: Compiler and Architectural Support

• Wankang Zhao, David B. Whalley, Christopher A. Healy, Frank Mueller:
  WCET Code Positioning. 81-91
  
• Xianfeng Li, Abhik Roychoudhury, Tulika Mitra:
  Modeling Out-of-Order Processors for Software Timing Analysis. 92-103
  
• 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
  
• 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
  

Session 4: QoS Issues and Multimedia Computing

• Michael A. Palis:
  Competitive Algorithms for Fine-Grain Real-Time Scheduling. 129-138
  
• Scott A. Banachowski, Timothy Bisson, Scott A. Brandt:
  Integrating Best-Effort Scheduling into a Real-Time System. 139-150
  
• Yuting Zhang, Richard West, Xin Qi:
  A Virtual Deadline Scheduler for Window-Constrained Service Guarantees. 151-160
  
• Pau Martí, Caixue Lin, Scott A. Brandt, Manel Velasco, Josep M. Fuertes:
  Optimal State Feedback Based Resource Allocation for Resource-Constrained Control Tasks. 161-172
  

Session 5: Formal Methods and Software Engineering

• Joxan Jaffar, Andrew E. Santosa, Razvan Voicu:
  A CLP Proof Method for Timed Automata. 175-186
  
• Didier Lime, Olivier H. Roux:
  A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. 187-196
  
• 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
  
• Marius Bozga, Abdelkarim Kerbaa, Oded Maler:
  Scheduling Acyclic Branching Programs on Parallel Machines. 208-217
  

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
  
• Gabor Madl, Sherif Abdelwahed, Gabor Karsai:
  Automatic Verification of Component-Based Real-Time CORBA Applications. 231-240
  
• Tian Zhao, James Noble, Jan Vitek:
  Scoped Types for Real-Time Java. 241-251
  
• 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
  

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
  
• Kam-yiu Lam, Ming Xiong, BiYu Liang, Yang Guo:
  Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects. 276-285
  
• Shweta Agrawal, Krithi Ramamritham, Shetal Shah:
  Construction of a Coherency Preserving Dynamic Data Dissemination Network. 286-295
  
• Arun A. Somasundara, Aditya Ramamoorthy, Mani B. Srivastava:
  Mobile Element Scheduling for Efficient Data Collection in Wireless Sensor Networks with Dynamic Deadlines. 296-305
  

Session 8: Energy Management and Resource Reclamation

• Gang Quan, Linwei Niu, Xiaobo Sharon Hu, Bren Mochocki:
  Fixed Priority Scheduling for Reducing Overall Energy on Variable Voltage Processors. 309-318
  
• Cheol-Hoon Lee, Kang G. Shin:
  On-Line Dynamic Voltage Scaling for Hard Real-Time Systems Using the EDF Algorithm. 319-327
  
• Guillem Bernat, Ian Broster, Alan Burns:
  Rewriting History to Exploit Gain Time. 328-335
  
• Yanhong Liu, Alexander Maxiaguine, Samarjit Chakraborty, Wei Tsang Ooi:
  Processor Frequency Selection for SoC Platforms for Multimedia Applications. 336-345
  

Session 9: Sensor Networks

• Qing Cao, Tarek F. Abdelzaher:
  A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks. 349-358
  
• Tarek F. Abdelzaher, Shashi Prabh, Raghu Kiran:
  On Real-Time Capacity Limits of Multihop Wireless Sensor Networks. 359-370
  
• 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
  
• Tullio Facchinetti, Luís Almeida, Giorgio C. Buttazzo, Carlo Marchini:
  Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks. 382-391
  

Session 10: Real-Time Communication and Fault Tolerance

• Chih-Yuan Huang, Tei-Wei Kuo, Ai-Chun Pang:
  QoS Support for USB 2.0 Periodic and Sporadic Device Requests. 395-404
  
• Sathish Gopalakrishnan, Lui Sha, Marco Caccamo:
  Hard Real-Time Communication in Bus-Based Networks. 405-414
  
• Hermann Kopetz, Astrit Ademaj, Alexander Hanzlik:
  Integration of Internal and External Clock Synchronization by the Combination of Clock-State and Clock-Rate Correction in Fault-Tolerant Distributed Systems. 415-425
  
• Hakan Aydin:
  On Fault-Sensitive Feasibility Analysis of Real-Time Task Sets. 426-434
  

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
  
• Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva:
  Automatic Generation of Protocol Converters from Scenario-Based Specifications. 447-458
  
• Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong:
  Model-Driven SoC Design via Executable UML to SystemC. 459-468
  
• Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst:
  Design Space Exploration and System Optimization with SymTA/S-- Symbolic Timing Analysis for Systems. 469-478
  

Last update Fri May 25 08:34:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page