Exploració per tema "Axiomatic semantics"

Ara es mostren els items 1-2 de 2

    • An approach to correctness of data parallel algorithms 

      Gabarró Vallès, Joaquim; Gavaldà Mestre, Ricard (1991-05)
      Report de recerca
      Accés obert
      The design of data parallel algorithms for fine-grained SIMD machines is a fundamental domain in today computer science. High standards in the specification and resolution of problems have been achieved in the sequential ...

    • Axiomatic frameworks for developing BSP-style programs 

      Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim (1999-04)
      Report de recerca
      Accés obert
      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 ...