Jon M. Kerridge

According to our database1, Jon M. Kerridge authored at least 51 papers between 1976 and 2013.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Verifying the CPA Networking Stack using SPIN/Promela.
Proceedings of the 35th Communicating Process Architectures, 2013

2011
Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems.
Proceedings of the 33th Communicating Process Architectures Conference, 2011

Experiments in Multicore and Distributed Parallel Processing using JCSP.
Proceedings of the 33th Communicating Process Architectures Conference, 2011

2010
RDF recipes for context-aware interoperability in pervasive systems.
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

2009
JCSP Agents-Based Service Discovery for Pervasive Computing.
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

An Application of CoSMoS Design Methods to Pedestrian Simulation.
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures.
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Application of CoSMoS Parallel Design Patterns to a Pedestrian Simulation.
Proceedings of the Parallel Processing and Applied Mathematics, 2009

2008
Automated responsive web service evolution through generative aspect-oriented component adaptation.
IJCAT, 2008

Generative aspect-oriented component adaptation.
IET Software, 2008

Modelling a Multi-Core Media Processor Using JCSP.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

JCSPre: the Robot Edition to Control LEGO NXT Robots.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Mobile Agents and Processes using Communicating Process Architectures.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

A Critique of JCSP Networking.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2007
Testing and Sampling Parallel Systems.
Proceedings of the 30th Communicating Process Architectures Conference, 2007

Mobility in JCSP: New Mobile Channel and Mobile Process Models.
Proceedings of the 30th Communicating Process Architectures Conference, 2007

Smooth Quality Oriented Component Integration through Product Line Based Aspect-Oriented Component Adaptation.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A product line based aspect-oriented generative unit testing approach to building quality components.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View.
Proceedings of the 29th Communicating Process Architectures Conference, 2006

Performance Evaluation of JCSP Micro Edition: JCSPme.
Proceedings of the 29th Communicating Process Architectures Conference, 2006

Achieving Smooth Component Integration with Generative Aspects and Component Adaptation.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

Achieving Dependable Component-Based Systems Through Generative Aspect Oriented Component Adaptation.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
Achieving seamless component composition through scenario-based deep adaptation and generation.
Sci. Comput. Program., 2005

Groovy Parallel! A Return to the Spirit of occam?
Proceedings of the 28th Communicating Process Architectures Conference, 2005

jcsp.mobile: A Package Enabling Mobile Processes and Channels.
Proceedings of the 28th Communicating Process Architectures Conference, 2005

2004
Scenario Based Generative Component Adaptation in .NET Framework.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

2003
Facilitating Reuse in Database Applications with Scenario-base Component Adaptation and Generation.
Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Best Practice for Implementing a Data Warehouse: A Review for Strategic Alignment.
Proceedings of the Design and Management of Data Warehouses 2003, 2003

2000
A Query Mediation Approach to Interoperability of Heterogeneous Databases.
Proceedings of the Australasian Database Conference, 2000

1999
Synchronization Primitives for Highly Parallel Discrete Event Simulations.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1997
Large Join Order Optimization on Parallel Shared-Nothing Database Machines Using Genetic Algorithms.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
Modelling Test Data for Performance Evaluation of Large Parallel Database Machines.
Distributed and Parallel Databases, 1996

Speedup Image Processing.
Proceedings of the Parcella 1996, 1996

Discrete-Event Simulation of a Parallel Database Machine.
Proceedings of the Parcella 1996, 1996

The Design of the IRISS Parallel Database Machine.
Proceedings of the High-Performance Computing and Networking, 1996

Intelligent Storage Devices for Scalable Information Management Systems.
Proceedings of the High-Performance Computing and Networking, 1996

Semantic Computability: A Mechanism for the Description of Test Data Sets for Scaleable Information Systems.
Proceedings of the High-Performance Computing and Networking, 1996

1995
W-SQL: An Interface for Scalable, Highly Parallel Database Machines.
Proceedings of the Advances in Databases, 13th British National Conference on Databases, 1995

1994
Large Scale Data Management and Massively Parallel Architectures in Automatic Fingerprint Recognition.
Proceedings of the High-Performance Computing and Networking, 1994

Evaluation of High Performance Parallel Database Machines.
Proceedings of the High-Performance Computing and Networking, 1994

A Strategy for Semantic Integrity Enforcement in a Parallel Database Machine.
Proceedings of the Directions in Databases, 12th British National Conference on Databases, 1994

Benchmarking Parallel SQL Database Machines.
Proceedings of the Directions in Databases, 12th British National Conference on Databases, 1994

1992
Control of a Large Massively Parallel Database Machine Using SQL Cataloque Extensions, and a DSDL in Preference to an Operating System.
Proceedings of the Advanced Database Systems, 1992

1991
The Design of the IDIOMS Parallel Database Machine.
Proceedings of the Aspects of Databases, 1991

1986
Communicating Parallel Processes.
Softw., Pract. Exper., 1986

1985
British Computer Society / CODASYL Database Administration Working Group (DBAWG): An Access Control System For Database Languages.
Proceedings of the Fourth British National Conference on Databases (BNCOD 4), 1985

1984
Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison.
Softw., Pract. Exper., 1984

British Computer Society / CODASYL Data Base Administration Working Group (DBAWG): An Architecture and Language Syntax for Distributed Databases for the Network Model.
Proceedings of the Third British National Conference on Databases (BNCOD 3), 1984

1982
A FORTRAN Implementation of Concurrent Pascal.
Softw., Pract. Exper., 1982

A Reference Model and Abstract Syntax for Distributed Database Systems.
Proceedings of the Second British National Conference on Databases (BNCOD-2), 1982

1976
PATCOSY - A Database System for the National Health Service.
Comput. J., 1976


  Loading...