Outputs (3)

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.

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.

The information retrieval facilities of Generis, a knowledge base management system. (1989)
Presentation / Conference Contribution
Kennedy, J., & Crerar, A. (1989). The information retrieval facilities of Generis, a knowledge base management system. In Proceedings of the 11th BCS IRSG Research Colloquium on Information Retrieval (16-25)

The authors have been working closely with Deductive Systems Ltd. (DSL) in beta testing Generis, a new KBMS product. The paper focuses on Generis' document management facilities which offer a potentially powerful mechanism for automatic indexing, key... Read More about The information retrieval facilities of Generis, a knowledge base management system..