Table of Contents

• Future Challenges in the Development of Real-Time High Performance Embedded SystemsDavid Martinez. 1 [doi]
• Integrating Multimedia Applications in Hard Real-Time SystemsLuca Abeni, Giorgio C. Buttazzo. 4-13 [doi]
• Isochronous Scheduling and its Application to Traffic ControlMasaaki Iwasaki, Tadashi Takeuchi, Masahiko Nakahara, Takahiro Nakano. 14-25 [doi]
• Schedulability Analysis for Tasks with Static and Dynamic OffsetsJosé C. Palencia Gutiérrez, Michael González Harbour. 26 [doi]
• Deadline-Modification-SCAN with Maximum-Scannable-Groups for Multimedia Real-Time Disk SchedulingRay-I Chang, Wei Kuan Shih, Ruei-Chuan Chang. 40-49 [doi]
• Using Separate Algorithms to Process Read-Only Transactions in Real-Time SystemsKwok-Wa Lam, Sang Hyuk Son, Victor C. S. Lee, Sheung-lun Hung. 50-59 [doi]
• Maintaining Temporal Coherency of Virtual Data WarehousesR. Srinivasan, C. Liang, Krithi Ramamritham. 60 [doi]
• Specification and Modeling of Dynamic, Distributed Real-Time SystemsLonnie R. Welch, Binoy Ravindran, Behrooz Shirazi, Carl Bruggeman. 72-81 [doi]
• Detailed Design of Avionics Control SoftwareUlf Nilsson, S. Streiffert, Anders Törne. 82-91 [doi]
• Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented ModelsManas Saksena, Alan Ptak, Paul Freedman, Pawel Rodziewicz. 92 [doi]
• A General Model for Recurring Real-Time TasksSanjoy K. Baruah. 114-122 [doi]
• Statistical Rate Monotonic SchedulingAlia Atlas, Azer Bestavros. 123 [doi]
• Testing the Results of Static Worst-Case Execution-Time AnalysisPeter P. Puschner, Roman Nossal. 134-143 [doi]
• Compiler Optimizations for Real Time Execution of Loops on Limited Memory Embedded SystemsSundaram Anantharaman, Santosh Pande. 154 [doi]
• Animated Structures: Real-Time, Objects, and the UMLBran Selic. 165 [doi]
• The Time-Triggered Model of ComputationHermann Kopetz. 168-177 [doi]
• Synthesis Techniques for Low-Power Hard Real-Time Systems on Variable Voltage ProcessorsInki Hong, Gang Qu, Miodrag Potkonjak, Mani B. Srivastava. 178-187 [doi]
• Task Period Selection and Schedulability in Real-Time SystemsDanbing Seto, John P. Lehoczky, Lui Sha. 188 [doi]
• Automatic Testing of Reactive SystemsPascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber. 200-209 [doi]
• Analyzing Non-Deterministic Real-Time Systems with (max, +) AlgebraGuillaume P. Brat, Vijay K. Garg. 210-219 [doi]
• Timed Test Cases Generation Based on State Characterization TechniqueAbdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, A. Elqortobi. 220 [doi]
• General Data StreamingFrank W. Miller, Peter J. Keleher, Satish K. Tripathi. 232-241 [doi]
• Design and Implementation of a Real-Time ATM-Based Protocol ServerMartin Borriss, Hermann Härtig. 242 [doi]
• Membership Questions for Timed and Hybrid AutomataRajeev Alur, Robert P. Kurshan, Mahesh Viswanathan. 254-263 [doi]
• On Checking Timed Automata for Linear Duration InvariantsVíctor A. Braberman, Dang Van Hung. 264-273 [doi]
• Schedulability Analysis of Acyclic ProcessesMichael J. Meyer, Howard Wong-Toi. 274 [doi]
• Elastic Task Model for Adaptive Rate ControlGiorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni. 286-295 [doi]
• Practical Solutions for QoS-Based Resource AllocationRagunathan Rajkumar, Chen Lee, John P. Lehoczky, Daniel P. Siewiorek. 296-306 [doi]
• A Dynamic Quality of Service Middleware Agent for Mediating Application Resource UsageScott A. Brandt, Gary J. Nutt, Toby Berk, James E. Mankovich. 307 [doi]
• From POSIX Threads to Ada to Java: A Brief History of Runtime Development for Some Real-Time Programming LanguagesTed Baker. 319 [doi]
• Techniques for Software Thread Integration in Real-Time Embedded SystemsAlexander G. Dean, John Paul Shen. 322-333 [doi]
• A Worst Case Timing Analysis Technique for Multiple-Issue MachinesSung-Soo Lim, Jung Hee Han, Jihong Kim, Sang Lyul Min. 334-345 [doi]
• Efficient Object Sharing in Quantum-Based Real-Time SystemsJames H. Anderson, Rohit Jain, Kevin Jeffay. 346 [doi]
• A Development Framework for Ultra-Dependable Automotive Systems Based on a Time-Triggered ArchitectureB. Hedenetz. 358-367 [doi]
• Integrated Design Tools for Hard Real-Time SystemsCarlos Puchol, Aloysius K. Mok. 368-378 [doi]
• Performance Measurement Using Low Perturbation and High Precision Hardware AssistsAlan Mink, Wayne Salamon, Jeffrey K. Hollingsworth, Ramu Arunachalam. 379 [doi]
• Real-Time Scheduling in a Generic Fault-Tolerant ArchitectureAndy J. Wellings, Ljerka Beus-Dukic, David Powell. 390-398 [doi]
• Improved Response-Time Analysis CalculationsMikael Sjödin, Hans Hansson. 399-408 [doi]
• Symbolic Schedulability Analysis of Real-Time SystemsHee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky. 409 [doi]
• Fault-Tolerant Clock Synchronization in CANLuís Rodrigues, Mário Luís Guimarães, José Rufino. 420-429 [doi]
• Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous SystemsCarlos Almeida, Paulo Veríssimo. 430-439 [doi]
• Dependable System UpgradeLui Sha. 440 [doi]
• Statistical Delay Guarantee of Virtual ClockPawan Goyal, Harrick M. Vin. 450-459 [doi]
• Realizing Services for Guaranteed-QoS Communication on a Microkernel Operating SystemAshish Mehra, Anees Shaikh, Tarek F. Abdelzaher, Zhiqun Wang, Kang G. Shin. 460-469 [doi]
• Scheduling Communication Networks Carrying Real-Time TrafficJohn P. Lehoczky. 470 [doi]
• Proportional Share Scheduling of Operating System Services for Real-Time ApplicationsKevin Jeffay, F. Donelson Smith, A. Moorthy, James H. Anderson. 480 [doi]