default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th 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
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 A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
