School of Computing

Publications by Dr Fred Barnes

Also view these in the Kent Academic Repository

Article
Bradu, A. et al. (2015). Master slave en-face OCT/SLO. Biomedical Optics Express [Online] 6:3655. Available at: http://doi.org/10.1364/BOE.6.003655.
Ritson, C., Sampson, A. and Barnes, F. (2012). Multicore scheduling for lightweight communicating processes. Science of Computer Programming [Online] 77:727-740. Available at: http://www.cs.kent.ac.uk/pubs/2012/3210.
Barnes, F. and Ritson, C. (2010). Process-Oriented Device Driver Development. Concurrency and Computation: Practice and Experience [Online] 22:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3063.
Barnes, F. and Ritson, C. (2009). Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Operating Systems Review [Online] 43:182-196. Available at: http://dx.doi.org/10.1145/1713254.1713265.
Barnes, F. and Welch, P. (2003). Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings: Software [Online] 150:121-136. Available at: http://dx.doi.org/10.1049/ip-sen:20030182.
Barnes, F. et al. (2002). Testing Ethernet Networks for the ATLAS Data Collection System. IEEE Transactions on Nuclear Science [Online] 49:516-520. Available at: http://dx.doi.org/10.1109/TNS.2002.1003791.
Book section
Welch, P. and Barnes, F. (2005). Mobile Barriers for occam-pi: Semantics, Implementation and Application. in: Broenink, J. F. et al. eds. Communicating Process Architectures 2005. Amsterdam: IOS Press, pp. 289-316.
Barnes, F. (2005). Interfacing C and occam-pi. in: Broenink, J. F. et al. eds. Communicating Process Architectures 2005. Amsterdam: IOS Press, pp. 249-260.
Conference or workshop item
Bradu, A. et al. (2016). En-face optical coherence tomography revival. in: Todea, D. C., Podoleanu, A. G. H. and Duma, V. -F. eds. Fifth Congress of the World Federation for Laser Dentistry and Sixth International Conference on Lasers in Medicine. Bellingham, Washington, United States: SPIE Society of Photo-Optical Instrumentation Engineers, p. 9670 OT. Available at: http://dx.doi.org/10.1117/12.2191541.
Kapinchev, K. et al. (2016). Coarse-grained and fine-grained parallel optimization for real-time en-face OCT imaging. in: Izatt, J. A., Fujimoto, J. G. and Tuchin, V. V. eds. Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine XX. Bellingham, Washington, United States: SPIE Society of Photo-Optical Instrumentation Engineers, p. 96972N. Available at: http://doi.org/10.1117/12.2209560.
Bradu, A. et al. (2016). In-vivo, real-time cross-sectional images of retina using a GPU enhanced master slave optical coherence tomography system. in: Manns, F., Söderberg, P. G. and Ho, A. eds. Ophthalmic Technologies XXVI. Bellingham, Washington, United States: SPIE Society of Photo-Optical Instrumentation Engineers, p. 96930S. Available at: http://doi.org/10.1117/12.2211072.
Kapinchev, K. et al. (2015). GPU implementation of cross-correlation for image generation in real time. in: Wysocki, T. A. and Wysocki, B. J. eds. 9th International Conference on Signal Processing and Communication Systems (ICSPCS). IEEE, pp. 1-6. Available at: http://doi.org/10.1109/ICSPCS.2015.7391783.
Barnes, F. (2015). Guppy: Process-Oriented Programming on Embedded Devices. in: Chalmers, K. et al. eds. Communicating Process Architectures 2015.
Bradu, A. et al. (2015). Master-slave optical coherence tomography for parallel processing, calibration free and dispersion tolerance operation. in: ARRAY(0x7ffa401b74a0). SPIE. Available at: http://dx.doi.org/10.1117/12.2078094.
Bradu, A. et al. (2015). Real-Time calibration-free C-scan images of the eye fundus using Master Slave swept source optical coherence tomography. in: Ophthalmic Technologies XXV.. Available at: http://www.dx.doi.org/10.1117/12.2078956.
Kapinchev, K. et al. (2013). Approaches to general purpose GPU acceleration of digital signal processing in optical coherence tomography systems. in: ARRAY(0x7f1293d2e698). pp. 2576-2580. Available at: http://www.dx.doi.org/10.1109/SMC.2013.440.
Kapinchev, K. et al. (2013). Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems. in: IEEE International Conference on Systems, Man and Cybernetics. IEEE, pp. 2576-2580. Available at: http://dx.doi.org/10.1109/SMC.2013.440.
Ritson, C. and Barnes, F. (2013). An Evaluation of Intel's Restricted Transactional Memory for CPAs . in: Welch, P. H. et al. eds. Communicating Process Architectures 2013. Open Channel Publishing, pp. 271-291. Available at: http://www.wotug.org/papers/CPA-2013/RitsonBarnes13/RitsonBarnes13.pdf.
Barnes, F., Pressnell, T. and Le Foll, B. (2013). Exploring GPGPU Acceleration of Process-Oriented Simulations . in: Welch, P. H. et al. eds. Communicating Process Architectures 2013. Open Channel Publishing, pp. 249-262. Available at: http://www.wotug.org/papers/CPA-2013/Barnes13a/Barnes13a.pdf.
Ritson, C., Sampson, A. and Barnes, F. (2009). Multicore Scheduling for Lightweight Communicating Processes. in: Field, J. and Vasconcelos, V. T. eds. Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Berlin, Germany: Springer, pp. 163-183.
Barnes, F. (2009). Mobile Escape Analysis for occam-pi. in: Welch, P. H. et al. eds. Communicating Process Architectures 2009. IOS Press, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/2984.
Welch, P. and Barnes, F. (2008). A CSP Model for Mobile Channels. in: Welch, P. H. et al. eds. Communicating Process Architectures 2008. Amsterdam, The Netherlands: IOS Press, pp. 17-33.
Ritson, C. and Barnes, F. (2007). A Process Oriented Approach to USB Driver Development. in: McEwan, A. A. et al. eds. Communicating Process Architectures 2007. Amsterdam, The Netherlands: IOS Press, pp. 323-338.
Ritson, C., Sampson, A. and Barnes, F. (2006). Video Processing in occam-pi. in: Welch, P. H., Kerridge, J. M. and Barnes, F. R. M. eds. Communicating Process Architectures 2006. Amsterdam, The Netherlands: IOS Press, pp. 311-329.
Barnes, F. (2006). Compiling CSP. in: Welch, P. H., Kerridge, J. M. and Barnes, F. R. M. eds. Proceedings of Communicating Process Architectures 2006 (CPA-2006). IOS Press, pp. 377-388.
Welch, P., Barnes, F. and Polack, F. (2006). Communicating Complex Systems. in: Hinchey, M. G. ed. 11th International Conference on Engineering of Complex Computer Systems. IEEE Computer Society, pp. 107-117.
Polack, F. et al. (2005). An Architecture for Modelling Emergence in CA-Like Systems. in: Capcarrere, M. S. et al. eds. Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005). Canterbury, UK: Springer, pp. 427-436.
Barnes, F., Welch, P. and Sampson, A. (2005). Barrier Synchronisation for occam-pi. in: Arabnia, H. R. ed. Parallel and Distributed Processing Techniques and Applications 2005. Las Vegas, Nevada, USA: CSREA Press, pp. 173-179.
Welch, P. and Barnes, F. (2005). Communicating Mobile Processes: introducing occam-pi. in: Abdallah, A. E., Jones, C. B. and Sanders, J. W. eds. 25 Years of CSP. Springer Verlag, pp. 175-210.
Welch, P., Vinter, B. and Barnes, F. (2005). Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. in: Arabnia, H. R. ed. International Conference on Parallel and Distributed Processing Techniques and Applications 2005. Las Vegas, Nevada, USA: CSREA Press, pp. 201-207.
Sampson, A., Welch, P. and Barnes, F. (2005). Lazy Cellular Automata with Communicating Processes. in: Broenink, J. F. et al. eds. Communicating Process Architectures 2005. IOS Press, The Netherlands: IOS Press, pp. 165-175.
Barnes, F. and Welch, P. (2004). Communicating Mobile Processes. in: East, I. R. et al. eds. Communicating Process Architectures 2004. Amsterdam, The Netherlands: IOS Press, pp. 201-218.
Barnes, F. (2003). occwserv: An occam Web-Server. in: Broenink, J. F. and Hilderink, G. H. eds. Communicating Process Architectures 2003. Amsterdam, The Netherlands: IOS Press, pp. 251-268. Available at: http://www.cs.kent.ac.uk/pubs/2003/1720.
Schweigler, M., Barnes, F. and Welch, P. (2003). Flexible, Transparent and Dynamic occam Networking with KRoC.net. in: Broenink, J. F. and Hilderink, G. H. eds. Communicating Process Architectures 2003. Amsterdam, The Netherlands: IOS Press, pp. 199-224. Available at: http://www.cs.kent.ac.uk/pubs/2003/1726.
Barnes, F., Jacobsen, C. and Vinter, B. (2003). RMoX: A Raw-Metal occam Experiment. in: Broenink, J. F. and Hilderink, G. H. eds. Communicating Process Architectures 2003. Amsterdam, The Netherlands: IOS Press, pp. 269-288. Available at: http://www.cs.kent.ac.uk/pubs/2003/1721.
Barnes, F. and Welch, P. (2002). Prioritised Dynamic Communicating Processes: Part 2. in: Pascoe, J. et al. eds. Communicating Process Architectures 2002:WoTUG-25. IOS Press, Amsterdam, The Netherlands: IOS Press, pp. 353-370.
Barnes, F. and Welch, P. (2002). Prioritised Dynamic Communicating Processes: Part 1. in: Pascoe, J. et al. eds. Communicating Process Architectures 2002:WoTUG-25. IOS Press, Amsterdam, The Netherlands: IOS Press, pp. 321-352.
Barnes, F. (2001). tranx86 -- an Optimising ETC to IA32 Translator. in: Chalmers, A., Mirmehdi, M. and Muller, H. eds. Communicating Process Architectures 2001. IOS Press, Amsterdam, The Netherlands, pp. 265-282.
Welch, P. and Barnes, F. (2001). Mobile Data Types for Communicating Processes. in: Arabnia, H. R. ed. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 2001. CSREA Press, pp. 20-26. Available at: http://dx.doi.org/10.1007/11423348_10.
Barnes, F. and Welch, P. (2001). Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. in: Chalmers, A., Mirmehdi, M. and Muller, H. eds. Communicating Process Architectures 2001. IOS Press, Amsterdam, The Netherlands, pp. 243-264.
Barnes, F. (2000). Blocking System Calls in KRoC/Linux. in: Welch, P. H. and Bakkers, A. W. P. eds. Communicating Process Architectures 2000. IOS Press, pp. 155-178.
Wood, D. and Barnes, F. (2000). Post-Mortem Debugging in KRoC. in: Welch, P. H. and Bakkers, A. W. P. eds. Communicating Process Architectures 2000. IOS Press (Amsterdam), pp. 179-191.
Thesis
Barnes, F. (2003). Dynamics and Pragmatics for High Performance Concurrency. Available at: http://www.cs.kent.ac.uk/pubs/2003/1701.
Edited book
Welch, P.H. et al. eds. (2012). Communicating Process Architectures 2012. Open Channel Publishing.
Welch, P.H. et al. eds. (2011). Communicating Process Architectures 2011. Amsterdam, The Netherlands: IOS Press.
Welch, P.H. et al. eds. (2009). Communicating Process Architectures 2009. [Online]. Amsterdam, The Netherlands: IOS Press. Available at: http://www.booksonline.iospress.nl/Content/View.aspx?piid=14073.
Welch, P.H. et al. eds. (2008). Communicating Process Architectures 2008. Amsterdam, The Netherlands: IOS Press.
Welch, P.H., Kerridge, J.M. and Barnes, F.R.M. eds. (2006). Communicating Process Architectures 2006: WoTUG-29 Proceedings . Amsterdam: IOS Press, US.
Total publications in KAR: 48 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 27/04/2017