Login / Signup
Kristian Lumme
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Video Clips
Retrieval Systems
Formal Specification
High End
Top Venues
Int. J. Crit. Comput. Based Syst.
</>
Publications
</>
Kristian Lumme
,
Luigia Petre
,
Petter Sandvik
,
Kaisa Sere
A formal approach to H.264 video decoding on multicore systems.
Int. J. Crit. Comput. Based Syst.
4 (1) (2013)