Login / Signup

Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case.

Jean FortinFrédéric Gava
Published in: ICA3PP (Workshops and Symposiums) (2015)
Keyphrases
  • logic programming
  • fault tolerance
  • data sets
  • artificial intelligence
  • high level
  • data structure
  • data management
  • semantic information
  • case base
  • high performance computing
  • scientific computing