 | Up a level |
Power, James (2012) A virtual bridge between Maynooth and Kilkenny for Software Development Students. Teaching Fellowships 2012 – 2013. pp. 16-17.
Gregg, David and Power, James and Waldron, John (2005) A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites. Concurrency and Computation: Practice and Experience, 17 (7/8). pp. 757-773. ISSN 1532-0626
O'Donoghue, Diarmuid P. and Power, James and O'Briain, Sian and Dong, Feng and Mooney, Aidan and Hurley, Donny and Abgaz, Yalemisew and Markham, Charles (2014) Can a Computationally Creative System Create Itself? Creative Artefacts and Creative Processes. In: Proceedings of the Fifth International Conference on Computational Creativity. Jožef Stefan Institute, pp. 146-154. ISBN 9789612640552
Gregg, David and Power, James and Waldron, John (2002) Benchmarking the Java Virtual Architecture. In: Java Microarchitectures. The Springer International Series in Engineering and Computer Science (679). Springer, pp. 1-18. ISBN 9781461353416
O'Donoghue, Diarmuid P. and Leddy, Aine and Power, James and Waldron, John (2002) Bi-gram Analysis of Java Bytecode Sequences. In: PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002. National University of Ireland Maynooth, pp. 187-192. ISBN 0901519871
Power, James and Malloy, Brian A. (2001) Exploiting Metrics to Facilitate Grammar Transformation into LALR Format. In: SAC '01 Proceedings of the 2001 ACM symposium on Applied computing. ACM, pp. 1-5. ISBN 1581132875
Horgan, Jane and Power, James and Waldron, John (2001) Measurement and Analysis of Runtime Profiling Data for Java Programs. In: First IEEE International Workshop on Source Code Analysis and Manipulation, 2001. Proceedings. IEEE, pp. 122-130. ISBN 0769513875
Daly, Charles and Horgan, Jane and Power, James and Waldron, John (2001) Platform Independent Dynamic Java Virtual Machine Analysis: the Java Grande Forum Benchmark Suite. In: JGI '01 Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande. ACM, pp. 106-115. ISBN 1581133596
Mooney, Aidan and Duffin, Joe and Naughton, Thomas and Monahan, Rosemary and Power, James and Maguire, Phil (2014) PACT: An initiative to introduce computational thinking to second-level education in Ireland. In: International Conference on Engaging Pedagogy 2014 (ICEP), 5th December 2014, Athlone Institute of Technology.
Dowling, Tom and Power, James and Waldron, John (2002) Relating Static and Dynamic Measurements for the Java Virtual Machine Instruction Set. In: Symposium on Mathematical Methods and Computational Techniques in Electronic Engineering, Athens, Greece, December 29-31 2001, 29-31 December 2001, Athens, Greece.
Byrne, Siobhan and Power, James and Waldron, John (2001) A Dynamic Comparison of the SPEC98 and Java Grande Benchmark Suites. In: Workshop on Intermediate Representation Engineering for the Java Virtual Machine, 22-25 July 2001, Orlando, Florida.
Power, James and Sinclair, David (2001) A Formal Model of Forth Control Words in the Pi-Calculus. In: 6th International Workshop on Formal Methods for Industrial Critical Systems, 16-17 July 2001, Paris, France.
Fritsche, Karsten and Power, James and Waldron, John (2001) A Java Distributed Computation Library. In: 2nd International Conference on Parallel and Distributed Computing, Applications and Technologies, 9-11 July 2011, Taipei, Taiwan.
Daly, Charles and Horgan, Jane and Power, James and Waldron, John (2001) Some measurements of Java-to-bytecode compiler performance in the Java Virtual Machine. In: Workshop on Java Optimization Strategies for Embedded Systems, 1 April 2001, University of Genova, Italy.
Gray, David and Hamilton, Geoff and Power, James and Sinclair, David (2001) A Specification of TCP/IP using Mixed Intuitionistic Linear Logic. In: 2nd Joint Workshop on Formal Specification of Computer-Based Systems, 20 April 2001, Washington DC, USA.
Waldron, John and Power, James (2000) Comparison of Bytecode and Stack Frame Usage by Eiffel and Java Programs in the Java Virtual Machine. In: 2nd International Workshop on Computer Science and Information Technologies, 18-23 September 2000, Ufa, Russia.
Cosgrave, Lisa and Power, James and Waldron, John (2000) An Object Oriented Approach to Parser Generation in C++. In: Conference of the South African Institute of Computer Scientists and Information Technologists, 1-3 November 2000, Cape Town, South Africa.
Sinclair, David and Power, James and Gibson, Paul and Gray, David and Hamilton, Geoff (2000) Specifying and Verifying IP with Linear Logic. In: International Workshop on Distributed Systems Validation and Verification, 10 April 2000, Taipei, Taiwan.
Gray, David and Hamilton, Geoff and Sinclair, David and Gibson, Paul and Power, James (1999) Four Logics and a Protocol. In: 3rd Irish Workshop in Formal Methods, 1-2 July 1999, National University of Ireland, Galway.
Power, James and Webster, Caroline (1999) Working with Linear Logic in Coq. In: 12th International Conference on Theorem Proving in Higher Order Logics, 14-17 September 1999, University of Nice, France.
