Items where Author, Editor or other role is "Ritson, C."

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | H | J | R | S | U

Number of items: 19.

B

Barnes, Frederick R.M., Ritson, Carl G. (2010) Process-Oriented Device Driver Development. Concurrency and Computation: Practice and Experience, 22 (8). pp. 182-196. ISSN 1532-0634. (doi:10.1002/cpe.1428) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30664)

Barnes, Frederick R.M., Ritson, Carl G. (2009) Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Operating Systems Review, 43 (4). pp. 182-196. ISSN 0163-5980. (doi:10.1145/1713254.1713265) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30568)

Barnes, Frederick R.M. (2009) Mobile Escape Analysis for occam-pi. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30575)

H

Hellyer, Laurence and Ritson, Carl G. and Simpson, Jonathan (2010) Proceedings of the 2010 School of Computing Postgraduate Conference. Technical report. , University of Kent, Canterbury, Kent CT2 7NF, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30672)

J

Jadud, Matthew C. and Jacobsen, Christian L. and Ritson, Carl G. and Simpson, Jonathan (2008) Safe parallelism for robotic control. In: 2008 IEEE International Conference on Technologies for Practical Robot Applications. IEEE, pp. 137-142. ISBN 978-1-4244-2791-8. (doi:10.1109/TEPRA.2008.4686688) (KAR id:24122)

R

Ritson, Carl G. and Owens, Scott (2016) Benchmarking weak memory models. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP Principles and Practice of Parallel Programming . ACM, New York, USA. ISBN 978-1-4503-4092-2. (doi:10.1145/2851141.2851150) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:51638)

Ritson, Carl G. and Ugawa, Tomoharu and Jones, Richard E. (2014) Exploring Garbage Collection with Haswell Hardware Transactional Memory. In: ISMM '14: Proceedings of the 2014 international symposium on Memory management. ACM, New York, USA, pp. 105-115. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602992) (KAR id:40819)

Ritson, Carl G. and Barnes, Frederick R.M. (2013) An Evaluation of Intel's Restricted Transactional Memory for CPAs. In: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds. Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Open Channel Publishing, pp. 271-291. ISBN 978-0-9565409-7-3. (KAR id:36939)

Ritson, Carl G., Sampson, Adam T., Barnes, Frederick R.M. (2012) Multicore scheduling for lightweight communicating processes. Science of Computer Programming, 77 (6). pp. 727-740. ISSN 0167-6423. (doi:10.1016/j.scico.2011.04.006) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30808)

Ritson, Carl G., Welch, Peter H. (2010) A Process-Oriented Architecture for Complex System Modelling. Concurrency and Computation: Practice and Experience, 22 . pp. 182-196. (doi:10.1002/cpe.1433) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30677)

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2009) Multicore Scheduling for Lightweight Communicating Processes. In: Field, John and Vasconcelos, Vasco Thudichum, eds. Coordination Models and Languages 11th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 163-183. ISBN 978-3-642-02052-0. E-ISBN 978-3-642-02053-7. (doi:10.1007/978-3-642-02053-7_9) (KAR id:24117)

Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 293-307. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-293) (KAR id:24060)

Ritson, Carl G. and Barnes, Frederick R.M. (2007) A Process Oriented Approach to USB Driver Development. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Volume . IOS Press, pp. 323-338. ISBN 978-1-58603-767-3. (KAR id:14574)

Ritson, Carl G. and Welch, Peter H. (2007) A Process-Oriented Architecture for Complex System Modelling. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Series . IOS Press, Amsterdam, Netherlands, pp. 249-266. ISBN 978-1-58603-767-3. E-ISBN 978-1-60750-261-6. (KAR id:14575)

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2006) Video Processing in occam-pi. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 311-329. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (KAR id:14428)

S

Simpson, Jonathan and Ritson, Carl G. (2009) Toward Process Architectures for Behavioural Robotics. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-375) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30581)

U

Ugawa, Tomoharu, Ritson, Carl G., Jones, Richard E. (2018) Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection. ACM Transactions on Programming Languages and Systems, 40 (4). Article Number 15. ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3226225) (KAR id:67207)

Ugawa, Tomoharu, Jones, Richard E., Ritson, Carl G. (2014) An On-The-Fly Copying Garbage Collection Framework for Jikes RVM. In: 12th Asian Symposium on Programming Languages and Systems, 17-19 November 2014, Singapore. (KAR id:45210)

Ugawa, Tomoharu and Jones, Richard E. and Ritson, Carl G. (2014) Reference Object Processing in On-The-Fly Garbage Collection. In: Proceedings of the 2014 international symposium on Memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 59-69. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602991) (KAR id:40820)

This list was generated on Fri Apr 19 19:19:47 2024 BST.