M. I. Cole

Learn More
SUMMARY Predicting the resources that are consumed by a program component is crucial for many parallel or distributed systems. In this context, the main resources of interest are execution time, space and communica-tion/synchronisation costs. There has recently been significant progress in resource analysis technology, notably in type-based analyses and(More)
The ALgorithms, Architectures and MOdels of computation (ALAMO) project at the University of Edinburgh aims to investigate the scalability and eeciency with which the Hierarchical PRAM model of parallel computation may be implemented on realistic parallel architectures. This investigation is being performed using a programming language H-FORK together with(More)
  • 1