© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }