An analysis method for variable execution time tasks based on histograms Joan Vila-CarbóEnrique Hernández-Orallo OriginalPaper 18 September 2007 Pages: 1 - 37
Formal verification of multitasking applications based on timed automata model Libor WaszniowskiZdeněk Hanzálek OriginalPaper 28 September 2007 Pages: 39 - 65
A time-predictable VLIW processor and its compiler support Jun YanWei Zhang OriginalPaper 04 October 2007 Pages: 67 - 84