Originalspråk | Odefinierat/okänt |
---|---|
Sidor (från-till) | 3–26 |
Tidskrift | International Journal of Critical Computer-Based Systems |
Volym | 4 |
Nummer | 1 |
DOI | |
Status | Publicerad - 2013 |
MoE-publikationstyp | A1 Tidskriftsartikel-refererad |
A Formal Approach to H.264 Video Decoding on Multicore Systems
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review