Login / Signup

Formal modeling and performance evaluation of a run-time rank remapping technique in Broadcast, Allgather and Allreduce MPI collective operations.

Jesús M. Álvarez LlorenteJuan Carlos Díaz MartínJuan A. Rico-Gallego
Published in: CCGrid (2017)
Keyphrases
  • general purpose
  • parallel algorithm
  • formal models
  • formal model
  • modeling method
  • database
  • knowledge base
  • description logics
  • data management
  • formal methods
  • digital television