A Formal Approach to H.264 Video Decoding on Multicore Systems

Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere

Forskningsoutput: Tidskriftsbidrag › Artikel › Peer review

Originalspråk	Odefinierat/okänt
Sidor (från-till)	3–26
Tidskrift	International Journal of Critical Computer-Based Systems
Volym	4
Utgåva	1
DOI	https://doi.org/10.1504/IJCCBS.2013.053740
Status	Publicerad - 2013
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Åtkomst av dokument

@article{f3e362ba2ae047d7ab605fc8eabdfef5,

title = "A Formal Approach to H.264 Video Decoding on Multicore Systems",

author = "Kristian Lumme and Luigia Petre and Petter Sandvik and Kaisa Sere",

year = "2013",

doi = "10.1504/IJCCBS.2013.053740",

language = "Odefinierat/ok{\"a}nt",

volume = "4",

pages = "3–26",

journal = "International Journal of Critical Computer-Based Systems",

issn = "1757-8779",

publisher = "Inderscience",

number = "1",

}

TY - JOUR

T1 - A Formal Approach to H.264 Video Decoding on Multicore Systems

AU - Lumme, Kristian

AU - Petre, Luigia

AU - Sandvik, Petter

AU - Sere, Kaisa

PY - 2013

Y1 - 2013

U2 - 10.1504/IJCCBS.2013.053740

DO - 10.1504/IJCCBS.2013.053740

M3 - Artikel

VL - 4

SP - 3

EP - 26

JO - International Journal of Critical Computer-Based Systems

JF - International Journal of Critical Computer-Based Systems

SN - 1757-8779

IS - 1

ER -