External Links

    Journal: Real-Time Systems

    Volume 38, Issue 1

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