Skip to main content

Research Repository

Advanced Search

Outputs (522)

Evaluation of high performance parallel database machines (1994)
Presentation / Conference Contribution
Kerridge, J., Jelly, I., & Bates, C. (1994, April). Evaluation of high performance parallel database machines. Presented at HPCN-Europe: International Conference on High-Performance Computing and Networking 1994, Munich, Germany

Many organisations are considering the use of large relational databases to implement their information needs. For large organisations this will result in the implementation of a machine dedicated to that task. In the near future, these database mach... Read More about Evaluation of high performance parallel database machines.

A strategy for semantic integrity enforcement in a parallel database machine (1994)
Presentation / Conference Contribution
McCarroll, N., & Kerridge, J. (1994, July). A strategy for semantic integrity enforcement in a parallel database machine. Presented at Directions in Databases: 12th British National Conference on Databases, BNCOD 12, Guildford, UK

Semantic integrity constraints represent knowledge about data with which a relational database must be consistent. To enforce semantic integrity we must ensure that transactions which alter the database will preserve database consistency by accompany... Read More about A strategy for semantic integrity enforcement in a parallel database machine.

Benchmarking parallel SQL database machines (1994)
Presentation / Conference Contribution
Jelly, I., Kerridge, J., & Bates, C. (1994, July). Benchmarking parallel SQL database machines. Presented at Directions in Databases 12th British National Conference on Databases, BNCOD 12, Guildford, UK

New parallel database systems are being developed to support the data processing needs of large commercial organisations: these offer increased performance in terms of processing throughput and enhanced support for both on-line transaction processing... Read More about Benchmarking parallel SQL database machines.

Large scale data management and massively parallel architectures in Automatic Fingerprint Recognition (1994)
Presentation / Conference Contribution
Walter, D., & Kerridge, J. (1994, April). Large scale data management and massively parallel architectures in Automatic Fingerprint Recognition. Presented at High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany

The National Transputer Support Centre is an independent parallel processing consultancy specialising in large scale data management and parallel databases. We were approached recently by the Home Office to investigate the data management aspects of... Read More about Large scale data management and massively parallel architectures in Automatic Fingerprint Recognition.

Dynamic allocation of processes and channels in T9000/C104 networks using occam3 (1994)
Presentation / Conference Contribution
Kerridge, J. (1994, April). Dynamic allocation of processes and channels in T9000/C104 networks using occam3. Presented at WoTUG-17: 17th World occam* and Transputer User Group Technical Meeting, Bristol, UK

The hardware of the Inmos T9000 transputer contains a resource channel mechanism which is used to implement a many-to-one client server programming model. This model has also been captured in occam3. The resource channel mechanism provided by the har... Read More about Dynamic allocation of processes and channels in T9000/C104 networks using occam3.

Parameterised Types in occam3(e) (1994)
Presentation / Conference Contribution
Chutimaskul, W., & Kerridge, J. (1993, June). Parameterised Types in occam3(e). Presented at 6th Transputer and Occam International Conference, Tokyo, Japan

An evolutionary approach to the general timetable problem. (1993)
Book Chapter
Paechter, B., Luchian, H., & Cumming, A. (1993). An evolutionary approach to the general timetable problem. In The Scientific Annals of the "Al. I. Cuza" University of Iasi, special issue for the ROSYCS symposium 1993. Alexandru Ioan Cuza University Press

An Appreciation of the Subtleties of Shared Channels in occam3 (1993)
Presentation / Conference Contribution
Waithe, S., & Kerridge, J. (1993, March). An Appreciation of the Subtleties of Shared Channels in occam3. Presented at 16th World occam* and Transputer User Group Technical Meeting (WoTUG-16), Sheffield, UK

By exploiting virtual channels implemented on the INMOS T9000 transputer, occam3 offers the facility of sharing. This allows us to declare a channel as SHARED which then allows an arbitrary number of processes to communicate across this channel. By m... Read More about An Appreciation of the Subtleties of Shared Channels in occam3.

Control of a large massively parallel database machine using SQL catalogue extensions, and a DSDL in preference to an operating system (1992)
Presentation / Conference Contribution
Unwalla, M., & Kerridge, J. (1992, July). Control of a large massively parallel database machine using SQL catalogue extensions, and a DSDL in preference to an operating system. Presented at Advanced Database Systems: 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland

The IDIOMS parallel database machine supports large applications where integrated OLTP and MIS is required. It can be considered a relational engine, and SQL is used as the MIS query language. We make some comparisons between IDIOMS and other databas... Read More about Control of a large massively parallel database machine using SQL catalogue extensions, and a DSDL in preference to an operating system.

The Design of the IDIOMS Parallel Database Machine (1991)
Presentation / Conference Contribution
Kerridge, J. M. (1991, December). The Design of the IDIOMS Parallel Database Machine. Presented at 9th British National Conference on Databases (BNCOD), Wolverhampton Polytechnic, UK

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.

Design, abstract data types and occam (1989)
Presentation / Conference Contribution
Kerridge, J., Wright, S., & Oates, R. (1989, April). Design, abstract data types and occam. Presented at 10th Occam User Group Technical Meeting, Enschede, The Netherlands

A design methodology is presented whereby abstract data types are mapped onto occam processes. For each function a command and reply protocol is specified. Attention is paid to the formal specification. The method may be useful in obtaining a paralle... Read More about Design, abstract data types and occam.

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., Fitzgerald, G., French, C., Jefferys, J., Kerridge, J., Pilgrim, W., Rabone, D., Ras, F., Reilly, M., Robinson, H., Stacey, G., & 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.