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

Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	3–26
Journal	International Journal of Critical Computer-Based Systems
Volume	4
Issue number	1
DOIs	https://doi.org/10.1504/IJCCBS.2013.053740
Publication status	Published - 2013
MoE publication type	A1 Journal article-refereed

Access to Document

@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

SN - 1757-8779

VL - 4

SP - 3

EP - 26

JO - International Journal of Critical Computer-Based Systems

JF - International Journal of Critical Computer-Based Systems

IS - 1

ER -