Fred R. M. Barnes

Orcid: 0000-0003-1153-6452

Affiliations:
  • University of Kent, School of Computing


According to our database1, Fred R. M. Barnes authored at least 27 papers between 2003 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Parallel approaches to integration with applications in optical coherence tomography.
Proceedings of the 10th International Conference on Signal Processing and Communication Systems, 2016

2015
GPU implementation of cross-correlation for image generation in real time.
Proceedings of the 9th International Conference on Signal Processing and Communication Systems, 2015

2013
Mutually Assured Destruction (or the Joy of Sync).
Proceedings of the 35th Communicating Process Architectures, 2013

An Evaluation of Intel's Restricted Transactional Memory for CPAs.
Proceedings of the 35th Communicating Process Architectures, 2013

Exploring GPGPU Acceleration of Process-Oriented Simulations.
Proceedings of the 35th Communicating Process Architectures, 2013

The Guppy Language: an Update.
Proceedings of the 35th Communicating Process Architectures, 2013

Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems.
Proceedings of the IEEE International Conference on Systems, 2013

2012
Multicore scheduling for lightweight communicating processes.
Sci. Comput. Program., 2012

Data Escape Analysis for Process Oriented Systems.
Proceedings of the 34th Communicating Process Architectures, 2012

2011
Adding Formal Verification to occam-π.
Proceedings of the 33th Communicating Process Architectures Conference, 2011

2010
Process-oriented device driver development.
Concurr. Comput. Pract. Exp., 2010

2009
Checking process-oriented operating system behaviour using CSP and refinement.
ACM SIGOPS Oper. Syst. Rev., 2009

Mobile Escape Analysis for occam-pi.
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

2008
A CSP Model for Mobile Channels.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2007
A Process Oriented Approach to USB Driver Development.
Proceedings of the 30th Communicating Process Architectures Conference, 2007

2006
Video Processing in occam-pi.
Proceedings of the 29th Communicating Process Architectures Conference, 2006

Compiling CSP.
Proceedings of the 29th Communicating Process Architectures Conference, 2006

Communicating Complex Systems.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005
Mobile Barriers for occam-pi: Semantics, Implementation and Application.
Proceedings of the 28th Communicating Process Architectures Conference, 2005

Lazy Cellular Automata with Communicating Processes.
Proceedings of the 28th Communicating Process Architectures Conference, 2005

Interfacing C and occam-pi.
Proceedings of the 28th Communicating Process Architectures Conference, 2005

Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

Barrier Synchronisation for occam-pi.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

An Architecture for Modelling Emergence in CA-Like Systems.
Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

2004
Communicating Mobile Processes.
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003
Dynamics and pragmatics for high performance concurrency.
PhD thesis, 2003

Prioritised dynamic communicating and mobile processes.
IEE Proc. Softw., 2003


  Loading...