Login / Signup

A Container-Based Framework to Facilitate Reproducibility in Employing Stochastic Process Algebra for Modeling Parallel Computing Systems.

William S. SandersSrishti SrivastavaIoana Banicescu
Published in: IPDPS Workshops (2019)
Keyphrases
  • computing systems
  • computer systems
  • heterogeneous systems
  • parallel computing
  • high end
  • knowledge acquisition
  • formal specification
  • parallel architectures
  • autonomic computing
  • process algebra