Statistical and exact schedulability analysis of hierarchical scheduling systems

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

8 Citationer (Scopus)
61 Downloads (Pure)
OriginalsprogEngelsk
TidsskriftScience of Computer Programming
Vol/bind127
Sider (fra-til)103-130
Antal sider28
ISSN0167-6423
DOI
StatusUdgivet - 27 maj 2016

Fingerprint

Scheduling
Model checking

Emneord

    Citer dette

    @article{fdfd3fcb8cca49db938deb93e9339a6f,
    title = "Statistical and exact schedulability analysis of hierarchical scheduling systems",
    keywords = "Statistical model checking",
    author = "Abdeldjalil Boudjadar and Alexandre David and Kim, {Jin Hyun} and Larsen, {Kim G.} and Marius Mikučionis and Ulrik Nyman and Arne Skou",
    year = "2016",
    month = "5",
    day = "27",
    doi = "10.1016/j.scico.2016.05.008",
    language = "English",
    volume = "127",
    pages = "103--130",
    journal = "Science of Computer Programming",
    issn = "0167-6423",
    publisher = "Elsevier",

    }

    Statistical and exact schedulability analysis of hierarchical scheduling systems. / Boudjadar, Abdeldjalil; David, Alexandre; Kim, Jin Hyun; Larsen, Kim G.; Mikučionis, Marius; Nyman, Ulrik; Skou, Arne.

    I: Science of Computer Programming, Bind 127, 27.05.2016, s. 103-130.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    TY - JOUR

    T1 - Statistical and exact schedulability analysis of hierarchical scheduling systems

    AU - Boudjadar, Abdeldjalil

    AU - David, Alexandre

    AU - Kim, Jin Hyun

    AU - Larsen, Kim G.

    AU - Mikučionis, Marius

    AU - Nyman, Ulrik

    AU - Skou, Arne

    PY - 2016/5/27

    Y1 - 2016/5/27

    KW - Statistical model checking

    UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-84970016463&origin=inward&txGid=0

    U2 - 10.1016/j.scico.2016.05.008

    DO - 10.1016/j.scico.2016.05.008

    M3 - Journal article

    VL - 127

    SP - 103

    EP - 130

    JO - Science of Computer Programming

    JF - Science of Computer Programming

    SN - 0167-6423

    ER -