Fred's Home Page

Main
About me
Crumble
csh is bad
Debian
FredCam
Guppy
Hardware
Help out
Java-glossary
Job-control
KRoC/Linux (old)
Lambda
Life-stuff
Links
Linux
Mesh
Misc
Music
occam
occam upgrades
occam tutorial
OpenUPSd
Pictures
Programming
Projects (PhD)
Publications
Quick gdb
RAPP
RMoX
Software
UNIX crashcourse
UWG
UWGBuilder
WG / WGBuilder
XDM-Choose
XHPD

Publications

[ official | unofficial | presentations | misc ]

Note: all the files here are in postscript and/or pdf, with the abstracts and bibTeX entries in plain text.

Publications:

  • Mobile Data Types for Communicating Processes
    F.R.M. Barnes and P.H. Welch, The 2001 Conference on Parallel and Distributed Patterns, Techniques and Applications (PDPTA 2001)
    abstract, bibTeX
  • Testing ethernet networks for the ATLAS data collection system
    F.R.M. Barnes, R. Beuran, R.W. Dobinson, M.J. LeVine, B. Martin, J. Lokier, and C. Meirosu. IEEE Trans. Nucl. Sci., 49(2):516-520, April 2002.
  • Communicating Mobile Processes: introducing occam-pi
    P.H. Welch and F.R.M. Barnes, in 25 Years of CSP, LNCS 3525, April 2005.
    bibTeX.
  • An Architecture for Modelling Emergence in CA-Like Systems
    Fiona Polack, Susan Stepney, Heather Turner, Peter H. Welch and Fred R.M. Barnes, proceedings of the 8th European Conference on Artificial Life (ECAL 2005)
    abstract, bibTeX.
  • Lazy Simulation of Cellular Automata with Communicating Processes
    A.T. Sampson and P.H. Welch and F.R.M. Barnes, Communicating Process Architectures 2005 (CPA-2005)
    abstract, bibTeX, PDF (109.2k).
  • Communicating Complex Systems
    P.H. Welch, F.R.M. Barnes and F.A.C. Polack, Proceedings of 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006)
    abstract, bibTeX.
  • Video Processing in occam-pi
    C.G. Ritson, A.T. Sampson and F.R.M. Barnes, Communicating Process Architectures 2006 (CPA-2006)
    bibTeX,
  • A Process Oriented Approach to USB Driver Development
    Carl G. Ritson and Frederick R.M. Barnes, Communicating Process Architectures 2007 (CPA-2007)
    abstract, bibTeX, PDF (155.5k).

Unofficial, unfinished or in-the-pipe publications:

  • User Defined Channels in occam
    This is the first draft of the user documentation for user-defined channels. You'll need at least kroc-1.3.2-pre2 to make use of these, probably better to wait for kroc-1.3.2 (final) if you want something firm and stable. Updated April 2002
    postscript (269.0k), compressed postscript (101.3k).
  • Developing occam/occam-pi for the PowerPC family of processors (report on the user of the IBM OpenPower Server)
    Fred Barnes, November 2005.
    PDF (23.9k)
  • The occam-pi "Better Bar" Simulation
    Slides describing the occam-pi "better-bar" simulation, used on open-days and the suchlike, October 2005
    PDF (77.2k).
  • The Line-Following LEGO Robot
    Slides describing the line-following LEGO (mindstorms) robot and about the RCX in general, used on open-days and the suchlike, October 2005
    PDF (75.9k).
  • The Assembly
    Slides briefly describing computer programming and the Assembly, used on open-days and the suchlike, October 2005
    PDF (563.0k).

Presentations:

  • Blocking System Calls in KRoC/Linux
    Presentation on the blocking system-calls paper above (including new measurements), given at CPA-2000 (WoTUG 23)
    postscript (719k), compressed postscript (78k).
  • tranx86 -- an Optimising ETC to IA32 Translator ...and... The KRoC/occ21 undefined-usage checker
    Presentation on the tranx86 paper above (including new results), given at CPA-2001 (WoTUG 24)
    postscript (208.5k), compressed postscript (68.1k).
  • The occam-pi programming language and RMoX operating-system
    Slides presented at a joint Queen Mary/Imperial College (University of London) research seminar, February 2005
    PDF (130.4k).
  • Interfacing C and occam-pi
    Presentation on the `Interfacing C and occam-pi' paper above, given at CPA-2005
    PDF (112.9k).

Miscellaneous documents:

  • Using Blocking System Calls with KRoC/Linux
    This document constitutes the user-manual for using blocking system calls in the KRoC/Linux system
    postscript (88k), compressed postscript (38k).
  • Socket, File and Process Libraries for occam
    This document describes the occam socket, file and process libraries. These are provided to allow occam programs to communicate over sockets, manipulate files, and launch OS processes. They rely heavily on the blocking system calls extension to KRoC/Linux. Updated September 2001. Updated March 2003. Updated July 2003.
    postscript (310k), compressed postscript (135k).
Last modified: 2007-07-13 00:30:42.000000000 +0100 by Fred Barnes [ls] [plain]
Page generated: Sun Apr 28 11:39:34 2013
Valid XHTML 1.0! Valid CSS!