Now showing items 1-2 of 2

    • Axiomatic frameworks for developing BSP-style programs 

      Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim (1999-04)
      External research report
      Open Access
      In BSP a superstep comprises a collection of concurrently executed processes with initial and terminal synchronisations. Data transfer between processes is realised through asynchronous communications. BSP programs can ...
    • Towards refining BSP programs into loosely coupled distributed systems 

      Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim; Serna Iglesias, María José (2001-03)
      External research report
      Open Access
      An experiment is conducted to assess the feasibility of transforming BSP computations into loosely coupled distributed systems employing asynchronous point-to-point communications. The BSP model bundles communications ...