© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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.Abstract
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
@inproceedings{2494,
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 = {http://www.cs.kent.ac.uk/pubs/2006/2494},
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},
}