John R. Davy

Learn More
This paper demonstrates the utility of typed shared data abstractions as an effective high-level means of structuring and coordinating parallel programs. Access to data shared by concurrent processes is expressed through operations of shared abstract data types (SADTs). SADTs abstract low-level concerns of communication and synchronization. The exposition(More)
This paper describes a strategy for the structuring and analysis of parallel code, using shared abstract data types (SADTs). SADTs are used to provide both scalability, and a way of supporting modular and portable code development. An example of their usage is presented for a dynamic load balancing method. A framework for performance analysis is described,(More)
Modern parallel processing machines are becoming more scalable through advances in network technology. It is now important to have a scalable computational model to support the design and analysis of algorithms. This paper describes a practical implementation of the WPRAM model, which has been used at Leeds for a number of years. The distinctive features of(More)
This paper discusses a systematic approach to the parallel implementation of geographic applications based on Spatial Interaction Models, characterised by large requirements for both memory and computation. We show a common framework for implementing all the main components of such applications in an eecient scalable manner, gaining high speedups on a(More)
  • 1