School of Computing

Video Processing in occam-pi

Carl G. Ritson, Adam T. Sampson, and Frederick R.M. Barnes

In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, The Netherlands, September 2006. IOS Press.


Video Processing in occam-pi ----------------------------

Carl G. Ritson, Adam T. Sampson and Frederick R.M. Barnes

Abstract. The occam-pi language provides many novel features for concurrent software development. This paper describes a video processing framework that explores the use of these features for multimedia applications. Processes are used to encapsulate operations on video and audio streams; mobile data types are used to transfer data between them efficiently, and mobile channels allow the process network to be dynamically reconfigured at runtime. We present demonstration applications including an interactive video player. Preliminary benchmarks show that the framework has comparable overhead to multimedia systems programmed using traditional methods.

Download publication 487 kbytes (PDF)

Bibtex Record

author = {Carl G. Ritson and Adam T. Sampson and Frederick R.M. Barnes},
title = {{V}ideo {P}rocessing in occam-pi},
month = {September},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {19263_1171758530},
    ISBN = {1-58603-671-8},
    booktitle = {Communicating Process Architectures 2006},
    editor = {P.H. Welch and J. Kerridge and F.R.M. Barnes},
    volume = {64},
    series = {Concurrent Systems Engineering Series},
    address = {Amsterdam, The Netherlands},
    publisher = {IOS Press},
    ISSN = {1383-7575},
    refereed = {yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014