Real-Time Systems, Volume 38

Volume 38, Number 1, January 2008

• Joan Vila i Carbó, Enrique Hernández-Orallo:
  An analysis method for variable execution time tasks based on histograms. 1-37
  
• Libor Waszniowski, Zdenek Hanzálek:
  Formal verification of multitasking applications based on timed automata model. 39-65
  
• Jun Yan, Wei Zhang:
  A time-predictable VLIW processor and its compiler support. 67-84
  

Volume 38, Number 2, February 2008

• James H. Anderson, Vasile Bud, UmaMaheswari C. Devi:
  An EDF-based restricted-migration scheduling algorithm for multiprocessor soft real-time systems. 85-131
  
• UmaMaheswari C. Devi, James H. Anderson:
  Tardiness bounds under global EDF scheduling on a multiprocessor. 133-189
  

Volume 38, Number 3, April 2008

• Olivier Bezet, Véronique Berge-Cherfaoui:
  On-line and post-processing timestamp correspondence for free-running clock nodes, using a network clock. 191-222
  
• Sanjoy K. Baruah, Theodore P. Baker:
  Schedulability analysis of global edf. 223-235
  
• UmaMaheswari C. Devi, James H. Anderson:
  A schedulable utilization bound for the multiprocessor EPDF\mathsf{EPDF} Pfair algorithm. 237-288