Fred R. M. Barnes

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Digital Signal Processing

General Purpose

Optical Coherence Tomography

Top Venues

Publications

K. I. Kapinchev, Fred R. M. Barnes, Adrian Bradu, Adrian Gh. Podoleanu
Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems. SMC (2013)
Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown
Adding Formal Verification to occam-π. CPA (2011)
Fred R. M. Barnes, Carl G. Ritson
Process-oriented device driver development. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Fred R. M. Barnes, Carl G. Ritson
Checking process-oriented operating system behaviour using CSP and refinement. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
Multicore Scheduling for Lightweight Communicating Processes. COORDINATION (2009)
Peter H. Welch, Fred R. M. Barnes
A CSP Model for Mobile Channels. CPA (2008)
Carl G. Ritson, Fred R. M. Barnes
A Process Oriented Approach to USB Driver Development. CPA (2007)
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
Video Processing in occam-pi. CPA (2006)
Peter H. Welch, Fred R. M. Barnes, Fiona Polack
Communicating Complex Systems. ICECCS (2006)
Fred R. M. Barnes
Compiling CSP. CPA (2006)
Peter H. Welch, Fred R. M. Barnes
Mobile Barriers for occam-pi: Semantics, Implementation and Application. CPA (2005)
Fred R. M. Barnes
Interfacing C and occam-pi. CPA (2005)
Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes
Lazy Cellular Automata with Communicating Processes. CPA (2005)
Peter H. Welch, Brian Vinter, Fred R. M. Barnes
Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. PDPTA (2005)
Fred R. M. Barnes, Peter H. Welch, Adam T. Sampson
Barrier Synchronisation for occam-pi. PDPTA (2005)
Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes
An Architecture for Modelling Emergence in CA-Like Systems. ECAL (2005)
Peter H. Welch, Fred R. M. Barnes
Communicating Mobile Processes. 25 Years Communicating Sequential Processes (2004)
Fred R. M. Barnes, Peter H. Welch
Prioritised dynamic communicating and mobile processes. IEE Proc. Softw. 150 (2) (2003)