12. ECRTS 2000: Stockholm, Sweden

• Sanjoy K. Baruah:
  Scheduling periodic tasks on uniform multiprocessors. 7-13
  
• J. J. Gutiérrez García, José C. Palencia Gutiérrez, Michael González Harbour:
  Schedulability analysis of distributed hard real-time systems with multiple-event synchronization. 15-24
  
• José María López, Manuel García, José Luis Díaz, Daniel F. García:
  Worst-case utilization bound for EDF scheduling on real-time multiprocessor systems. 25-33
  
• James H. Anderson, Anand Srinivasan:
  Early-release fair scheduling. 35-43
  
• Kam-yiu Lam, Tei-Wei Kuo, Tony S. H. Lee:
  Designing inter-class concurrency control strategies for real-time database systems with mixed transactions. 47-54
  
• Tei-Wei Kuo, Hsin-Chia Hsih:
  Concurrency control in a multiprocessor real-time database system. 55-62
  
• Sang Hyuk Son, Robert Zimmerman, Jörgen Hansson:
  An adaptable security manager for real-time transactions. 63-70
  
• Peter Altenbernd, Lars-Olof Burchard, Friedhelm Stappert:
  Worst-case execution times analysis of MPEG-2 decoding. 73-80
  
• Guillem Bernat, Alan Burns, Andy J. Wellings:
  Portable worst-case execution time analysis using Java Byte Code. 81-88
  
• Alan Burns, Stewart Edgar:
  Predicting computation time for advanced processor architectures. 89-96
  
• Manas Saksena, Panagiota Karvelas:
  Designing for schedulability: integrating schedulability analysis with object-oriented design. 101-108
  
• Leandro Buss Becker, Carlos Eduardo Pereira:
  From design to implementation: tool support for the development of object-oriented distributed real-time systems. 109-116
  
• Marco Caccamo, Giorgio C. Buttazzo, Lui Sha:
  Elastic feedback control. 121-128
  
• Luca Abeni, Luigi Palopoli, Giorgio C. Buttazzo:
  On adaptive control techniques in real-time resource allocation. 129-136
  
• Henrik Rehbinder, Martin Sanfridson:
  Integration of off-line scheduling and optimal control. 137-143
  
• Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen:
  Model-checking real-time control programs: verifying Lego(R) Mindstorms^TM systems using UPPAAL. 147-155
  
• Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis:
  Towards validated real-time software. 157-164
  
• Alexandre David, Wang Yi:
  Modelling and analysis of a commercial field bus protocol. 165-172
  
• Horst F. Wedde, Wolfgang Freund:
  Harmonious internal clock synchronization. 175-182
  
• Michael Mock, Reiner Frings, Edgar Nett, Spiro Trikaliotis:
  Clock synchronization for wireless local area networks. 183-189
  
• Giuseppe Lipari, Sanjoy K. Baruah:
  Greedy reclamation of unused bandwidth in constant-bandwidth servers. 193-200
  
• Paul Pop, Petru Eles, Zebo Peng:
  Schedulability analysis for systems with data and control dependencies. 201-208
  
• Eduardo Tovar, Francisco Vasques:
  Non pre-emptive scheduling of messages on SMTV token-passing networks. 209-218
  
• Hakan Aydin, Rami G. Melhem, Daniel Mossé:
  Tolerating faults while maximizing reward. 219-226
  
• Yu-Chung Wang, Kwei-Jay Lin:
  The implementation of hierarchical schedulers in the RED-Linux scheduling framework. 231-238
  
• Libin Dong, Rami G. Melhem, Daniel Mossé:
  Scheduling algorithms for dynamic message streams with distance constraints in TDMA protocol. 239-246
  
• Rodrigo M. Santos, Jorge Santos, Javier Orozco:
  Scheduling heterogeneous multimedia servers: different QoS for hard, soft and non real-time clients. 247-253
  
• Florence Maraninchi, Yann Rémond:
  Running-modes of real-time systems: a case-study with mode-automata. 257-264
  
• Henrik Thane, Hans Hansson:
  Using deterministic replay for debugging of distributed real-time systems. 265-272
  
• Giancarlo Fortino, Libero Nigro:
  Prototyping distributed multimedia systems using communicating real-time state machines. 273-280