Login / Signup

Verification of MPI Programs Using Session Types.

Kohei HondaEduardo R. B. MarquesFrancisco MartinsNicholas NgVasco Thudichum VasconcelosNobuko Yoshida
Published in: EuroMPI (2012)
Keyphrases
  • general purpose
  • message passing
  • real time
  • data sets
  • databases
  • parallel algorithm
  • symbolic execution
  • shared memory
  • computer programs
  • automatic programming
  • control program
  • hardware designs