Frederick R. M. Barnes

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

Declarative Language

Image Generation

Gpu Implementation

Process Oriented

Top Venues

Sci. Comput. Program.

University of Kent, UK (PHD)

Education History

University of Kent, UK

PHD

Publications

Konstantin Kapinchev, Frederick R. M. Barnes, Sylvain Rivet, Adrian Bradu, Adrian Gh. Podoleanu
Parallel approaches to integration with applications in optical coherence tomography. ICSPCS (2016)
Konstantin Kapinchev, Adrian Bradu, Frederick R. M. Barnes, Adrian Gh. Podoleanu
GPU implementation of cross-correlation for image generation in real time. ICSPCS (2015)
Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes
Mutually Assured Destruction (or the Joy of Sync). CPA (2013)
Carl G. Ritson, Frederick R. M. Barnes
An Evaluation of Intel's Restricted Transactional Memory for CPAs. CPA (2013)
Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll
Exploring GPGPU Acceleration of Process-Oriented Simulations. CPA (2013)
Frederick R. M. Barnes
The Guppy Language: an Update. CPA (2013)
Martin Ellis, Frederick R. M. Barnes
Data Escape Analysis for Process Oriented Systems. CPA (2012)
Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes
Multicore scheduling for lightweight communicating processes. Sci. Comput. Program. 77 (6) (2012)
Frederick R. M. Barnes, Carl G. Ritson
Checking process-oriented operating system behaviour using CSP and refinement. PLOS@SOSP (2009)
Frederick R. M. Barnes
Mobile Escape Analysis for occam-pi. CPA (2009)