Fred R. M. Barnes

21 papers B 2C 1Misc 2Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2013 B conf
Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems.
SMC
K. I. Kapinchev, Fred R. M. Barnes, Adrian Bradu, Adrian Gh. Podoleanu
2011 — conf
Adding Formal Verification to occam-π.
CPA
Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown
2010 J jnl
Process-oriented device driver development.
Concurr. Comput. Pract. Exp.
Fred R. M. Barnes, Carl G. Ritson
2009 J jnl
Checking process-oriented operating system behaviour using CSP and refinement.
ACM SIGOPS Oper. Syst. Rev.
Fred R. M. Barnes, Carl G. Ritson
2009 C conf
Multicore Scheduling for Lightweight Communicating Processes.
COORDINATION
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
2009 — ed.
The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009
CPA
Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter
2008 — conf
A CSP Model for Mobile Channels.
CPA
Peter H. Welch, Fred R. M. Barnes
2008 — ed.
The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008
CPA
Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson
2007 — conf
A Process Oriented Approach to USB Driver Development.
CPA
Carl G. Ritson, Fred R. M. Barnes
2006 B conf
Communicating Complex Systems.
ICECCS
Peter H. Welch, Fred R. M. Barnes, Fiona Polack
2006 — conf
Compiling CSP.
CPA
Fred R. M. Barnes
2006 — ed.
The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006
CPA
Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes
2006 — conf
Video Processing in occam-pi.
CPA
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
2005 — conf
An Architecture for Modelling Emergence in CA-Like Systems.
ECAL
Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes
2005 Misc conf
Barrier Synchronisation for occam-pi.
PDPTA
Fred R. M. Barnes, Peter H. Welch, Adam T. Sampson
2005 Misc conf
Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid.
PDPTA
Peter H. Welch, Brian Vinter, Fred R. M. Barnes
2005 — conf
Interfacing C and occam-pi.
CPA
Fred R. M. Barnes
2005 — conf
Lazy Cellular Automata with Communicating Processes.
CPA
Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes
2005 — conf
Mobile Barriers for occam-pi: Semantics, Implementation and Application.
CPA
Peter H. Welch, Fred R. M. Barnes
2004 — conf
Communicating Mobile Processes.
25 Years Communicating Sequential Processes
Peter H. Welch, Fred R. M. Barnes
2003 J jnl
Prioritised dynamic communicating and mobile processes.
IEE Proc. Softw.
Fred R. M. Barnes, Peter H. Welch