12. ECRTS 2000:
Stockholm,
Sweden
12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings.
IEEE Computer Society 2000, ISBN 0-7695-0734-4 BibTeX
- Sanjoy K. Baruah:
Scheduling periodic tasks on uniform multiprocessors.
7-13
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- James H. Anderson, Anand Srinivasan:
Early-release fair scheduling.
35-43
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Tei-Wei Kuo, Hsin-Chia Hsih:
Concurrency control in a multiprocessor real-time database system.
55-62
Electronic Edition (link) BibTeX
- Sang Hyuk Son, Robert Zimmerman, Jörgen Hansson:
An adaptable security manager for real-time transactions.
63-70
Electronic Edition (link) BibTeX
- Peter Altenbernd, Lars-Olof Burchard, Friedhelm Stappert:
Worst-case execution times analysis of MPEG-2 decoding.
73-80
Electronic Edition (link) BibTeX
- Guillem Bernat, Alan Burns, Andy J. Wellings:
Portable worst-case execution time analysis using Java Byte Code.
81-88
Electronic Edition (link) BibTeX
- Alan Burns, Stewart Edgar:
Predicting computation time for advanced processor architectures.
89-96
Electronic Edition (link) BibTeX
- Manas Saksena, Panagiota Karvelas:
Designing for schedulability: integrating schedulability analysis with object-oriented design.
101-108
Electronic Edition (link) BibTeX
- Leandro Buss Becker, Carlos Eduardo Pereira:
From design to implementation: tool support for the development of object-oriented distributed real-time systems.
109-116
Electronic Edition (link) BibTeX
- Marco Caccamo, Giorgio C. Buttazzo, Lui Sha:
Elastic feedback control.
121-128
Electronic Edition (link) BibTeX
- Luca Abeni, Luigi Palopoli, Giorgio C. Buttazzo:
On adaptive control techniques in real-time resource allocation.
129-136
Electronic Edition (link) BibTeX
- Henrik Rehbinder, Martin Sanfridson:
Integration of off-line scheduling and optimal control.
137-143
Electronic Edition (link) BibTeX
- 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) MindstormsTM systems using UPPAAL.
147-155
Electronic Edition (link) BibTeX
- Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis:
Towards validated real-time software.
157-164
Electronic Edition (link) BibTeX
- Alexandre David, Wang Yi:
Modelling and analysis of a commercial field bus protocol.
165-172
Electronic Edition (link) BibTeX
- Horst F. Wedde, Wolfgang Freund:
Harmonious internal clock synchronization.
175-182
Electronic Edition (link) BibTeX
- Michael Mock, Reiner Frings, Edgar Nett, Spiro Trikaliotis:
Clock synchronization for wireless local area networks.
183-189
Electronic Edition (link) BibTeX
- Giuseppe Lipari, Sanjoy K. Baruah:
Greedy reclamation of unused bandwidth in constant-bandwidth servers.
193-200
Electronic Edition (link) BibTeX
- Paul Pop, Petru Eles, Zebo Peng:
Schedulability analysis for systems with data and control dependencies.
201-208
Electronic Edition (link) BibTeX
- Eduardo Tovar, Francisco Vasques:
Non pre-emptive scheduling of messages on SMTV token-passing networks.
209-218
Electronic Edition (link) BibTeX
- Hakan Aydin, Rami G. Melhem, Daniel Mossé:
Tolerating faults while maximizing reward.
219-226
Electronic Edition (link) BibTeX
- Yu-Chung Wang, Kwei-Jay Lin:
The implementation of hierarchical schedulers in the RED-Linux scheduling framework.
231-238
Electronic Edition (link) BibTeX
- Libin Dong, Rami G. Melhem, Daniel Mossé:
Scheduling algorithms for dynamic message streams with distance constraints in TDMA protocol.
239-246
Electronic Edition (link) BibTeX
- Rodrigo M. Santos, Jorge Santos, Javier Orozco:
Scheduling heterogeneous multimedia servers: different QoS for hard, soft and non real-time clients.
247-253
Electronic Edition (link) BibTeX
- Florence Maraninchi, Yann Rémond:
Running-modes of real-time systems: a case-study with mode-automata.
257-264
Electronic Edition (link) BibTeX
- Henrik Thane, Hans Hansson:
Using deterministic replay for debugging of distributed real-time systems.
265-272
Electronic Edition (link) BibTeX
- Giancarlo Fortino, Libero Nigro:
Prototyping distributed multimedia systems using communicating real-time state machines.
273-280
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:08:23 2009
by Michael Ley (ley@uni-trier.de)