School of Computing

occam for Multi-Processor DEC Alphas

Peter H. Welch and Michael D. Poole

In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 182-196, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.

Bibtex Record

@inproceedings{294,
author = {Peter H. Welch and Michael D. Poole},
title = {{occam for Multi-Processor DEC Alphas}},
month = {April},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/294},
    ISBN = {90-5199-336-6},
    abstract = {A multi-processor implementation of occam2.1 for interconnected DEC Alpha processors has been derived from the  Kent Retargetable occam Compiler. Each Alpha processor is  supported over a PCI bus by a},
    address = {University of Twente, Netherlands},
    booktitle = {Parallel Programming and Java, Proceedings of WoTUG 20},
    editor = {A. Bakkers},
    organization = {World occam and Transputer User Group (WoTUG)},
    publisher = {IOS Press, Netherlands},
    series = {Concurrent Systems Engineering},
    volume = {50},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014