Skip to main content

Research Repository

Advanced Search

All Outputs (109)

Dynamic Allocation of Tasks in occam3 (1994)
Presentation / Conference Contribution
Kerridge, J., & Nixon, P. (1994). Dynamic Allocation of Tasks in occam3. In M. Jane, D. Marini, & A. De Gloria (Eds.), Transputer Applications and Systems '94: Proceedings of the 1994 World Transputer Congress, Cernobbio, Italy, Sept. 5-7, 1994

In many application environments there is a need to able to allocate resources dynamically. The occam programming language has no concept of such dynamic allocation. This paper shows how dynamic allocation can be incorporated into occam without sacri... Read More about Dynamic Allocation of Tasks in occam3.

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). Dynamic allocation of processes and channels in T9000/C104 networks using occam3. In Progress in Transputer and occam Research: WoTUG-17: Proceedings of the 17th World occam* and Transputer User Group Technical Meeting (1-17)

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. (1994). Parameterised Types in occam3(e). In Transputer/Occam: Proceedings of the 6th Transputer and Occam International Conference

An Appreciation of the Subtleties of Shared Channels in occam3 (1993)
Presentation / Conference Contribution
Waithe, S., & Kerridge, J. (1993). An Appreciation of the Subtleties of Shared Channels in occam3. In Transputer and Occam Research: New Directions (232-245)

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). The Design of the IDIOMS Parallel Database Machine. In M. Jackson, & A. Robinson (Eds.), Aspects of Databases, Proc. 9th British National Conference on Databases, Wolverhampton Polytechnic, UK (128-147)

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). Design, abstract data types and occam. In Applying Transputer Based Parallel Machines: OUG-10, proceedings of the 10th Occam User Group Technical Meeting (29-45)

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.