Outputs (4)

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.

A vapour phase preservative treatment of manufactured wood based board materials (1989)
Journal Article
Murphy, R. J., & Turner, P. (1989). A vapour phase preservative treatment of manufactured wood based board materials. Wood science and technology, 23(3), 273-279. https://doi.org/10.1007/bf00367740

The preservative treatment of four different wood based board materials using an esterified borate applied in the vapour phase was investigated. Under optimum conditions complete impregnation via the board faces was achieved in all boards treated. Bo... Read More about A vapour phase preservative treatment of manufactured wood based board materials.

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..