Real-Time Systems, Volume 18

Volume 18, Number 1, January 2000

• Pedro Albertos: Editorial. 5-6 BibTeX
• Jia Xu, David Lorge Parnas: Priority Scheduling Versus Pre-Run-Time Scheduling. 7-23 BibTeX
• Ulrich Schmid, Johann Klasek, Thomas Mandl, Herbert Nachtnebel, Gerhard Cadek, Nikolaus Kerö: A Network Time Interface M-Module for Distributing GPS-Time over LANs. 25-57 BibTeX
• Wolfgang A. Halang, Roman Gumzej, Matjaz Colnaric, Marjan Druzovec: Measuring the Performance of Real-Time Systems. 59-68 BibTeX
• Horst Wedde: Critical Issues in Object-Oriented Real-Time Systems - A Guided Panel Discussion. 69-70 BibTeX
• Alan C. Shaw: A Case For Object-Oriented Real-Time Systems (OORTS). 71-74 BibTeX
• Janusz Zalewski: Object Orientation vs. Real-Time Systems - Response to Alan C. Shaw's Contribution. 75-77 BibTeX
• Juan Antonio de la Puente: Real-Time Object-Oriented Design and Formal Methods. 79-83 BibTeX
• Horst Wedde: Can Formal Methods be Integrated into Real-Time Object-Oriented Design? Response to J. de la Puente's Contribution. 85-87 BibTeX
• Carlos Eduardo Pereira: Are Object-Oriented Concepts Useful to Real-Time Systems Development? 89-94 BibTeX
• Jean-Philippe Babau: Object Oriented Design for Real-Time Systems-Response to C. E. Pereira's Contribution. 95-99 BibTeX

Volume 18, Number 2/3, May 2000

• Peter P. Puschner, Alan Burns: Guest Editorial: A Review of Worst-Case Execution-Time Analysis. 115-128 BibTeX
• Christopher A. Healy, Mikael Sjödin, Viresh Rustagi, David B. Whalley, Robert van Engelen: Supporting Timing Analysis by Automatic Bounding of Loop Iterations. 129-156 BibTeX
• Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm: Fast and Precise WCET Prediction by Separated Cache and Path Analyses. 157-179 BibTeX
• Johann Blieberger, Thomas Fahringer, Bernhard Scholz: Symbolic Cache Analysis for Real-Time Systems. 181-215 BibTeX
• Frank Müller: Timing Analysis for Instruction Caches. 217-247 BibTeX
• Antoine Colin, Isabelle Puaut: Worst Case Execution Time Analysis for a Processor with Branch Prediction. 249-274 BibTeX
• Frank P. Burns, Albert Koelmans, Alexandre Yakovlev: WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. 275-288 BibTeX