Skip to main content

Research Repository

Advanced Search

Outputs (20)

Modelling saturated traffic networks using massively parallel computing techniques (1994)
Journal Article
Lu, K., Jones, J., & Kerridge, J. (1994). Modelling saturated traffic networks using massively parallel computing techniques. Traffic engineering & control, 35(7/8), 433-436

A technique for modelling the flow of motor vehicle traffic in congested urban signal-controlled networks using parallel computing is presented. A brief overview of traffic simulation and control precedes a discussion of the future requirements for c... Read More about Modelling saturated traffic networks using massively parallel computing techniques.

Simulating microprocessor systems using occam and a network of transputers (1989)
Journal Article
Gorton, I., Kerridge, J., & Jervis, B. (1989). Simulating microprocessor systems using occam and a network of transputers. IEE proceedings. Part E, Computers and digital techniques, 136(1), 22-28. https://doi.org/10.1049/ip-e.1989.0004

The simulation at component level of microprocessor systems provides a precise technique for evaluating the design of a system with regards to its requirements specification. The paper describes the use of occam to simulate individual microprocessor... Read More about Simulating microprocessor systems using occam and a network of transputers.

Communicating parallel processes (1986)
Journal Article
Kerridge, J., & Simpson, D. (1986). Communicating parallel processes. Software: Practice and Experience, 16(1), 63-86. https://doi.org/10.1002/spe.4380160106

By considering the problem of an event timer it is shown that the commonly available synchronizing facilities (monitors, CSP, distributed processes) are not able to always satisfactorily model the requirements of several processes which must run in p... Read More about Communicating parallel processes.

An architecture and syntax for distributed databases (1984)
Journal Article
Alexander, H., Beetstra, T., Bell, D., Cannan, S., Dee, E., Doyle, P., …Weatherhead, A. (1984). An architecture and syntax for distributed databases. Computers and Standards, 3(1), 33-56. https://doi.org/10.1016/0167-8051%2884%2990025-1

Recently, there has been a lot of work undertaken in the area of distributed databases. The architecture and syntax presented in this paper is a response to the very real need for the development of a unified approach to distributed databases. The de... Read More about An architecture and syntax for distributed databases.

Three solutions for a robot arm controller using Pascal-Plus, occam and edison (1984)
Journal Article
Kerridge, J. M., & Simpson, D. (1984). Three solutions for a robot arm controller using Pascal-Plus, occam and edison. Software: Practice and Experience, 14(1), 3-15. https://doi.org/10.1002/spe.4380140103

Three currently available concurrent language systems, Pascal‐Plus, occam and Edison, are used to implement a controller for a robot arm. The robot arm allows real parallelism of operation within the movements of the arm. The feasibility and restrict... Read More about Three solutions for a robot arm controller using Pascal-Plus, occam and edison.

The activities of the BCS/CODASYL DDLC DBAWG (1982)
Journal Article
Kerridge, J. (1982). The activities of the BCS/CODASYL DDLC DBAWG. Computers and Standards, 1(2-3), 161-165. https://doi.org/10.1016/0167-8051%2882%2990025-0

The DBAWG is a research group, based in the United Kingdom, which is working on facilities for data administration. In particular the DBAWG has developed language specifications for a Data Storage Description Language (DSDL) for a CODASYL type databa... Read More about The activities of the BCS/CODASYL DDLC DBAWG.

A FORTRAN implementation of Concurrent Pascal (1982)
Journal Article
Kerridge, J. M. (1982). A FORTRAN implementation of Concurrent Pascal. Software: Practice and Experience, 12(1), 45-55. https://doi.org/10.1002/spe.4380120105

This paper describes the transportation of sequential and concurrent Pascal from the SOLO distribution tape to a non‐PDP‐11 like mainframe (IBM 370/145). An interpreter for the idealized virtual machine was written in FORTRAN. Subsequently the PDP‐11... Read More about A FORTRAN implementation of Concurrent Pascal.

A simulator for teaching computer architecture (1980)
Journal Article
Kerridge, J. M., & Willis, N. (1980). A simulator for teaching computer architecture. Sigcse Bulletin, 12(2), 65-71. https://doi.org/10.1145/989253.989264

This paper describes the specification, implementation and use of a computer system simulator. The simulator project was begun as a result of teaching a second year undergraduate course in computer systems.It became apparent that students only fully... Read More about A simulator for teaching computer architecture.

PATCOSY--A Database System for the National Health Service (1976)
Journal Article
Kerridge, J. M. (1976). PATCOSY--A Database System for the National Health Service. Computer Journal, 19(2), 98-103. https://doi.org/10.1093/comjnl/19.2.98

PATCOSY (PATient COmputer SYstem) is a data base system which has been designed specifically for the National Health Service environment. The structure of PATCOSY therefore reflects the structure and inter-relationships which exist between the inform... Read More about PATCOSY--A Database System for the National Health Service.