Skip to main content

Research Repository

Advanced Search

Outputs (109)

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.