Login / Signup

Capturing and Analyzing the Execution Control Flow of OpenMP Applications.

Karl FürlingerShirley Moore
Published in: Int. J. Parallel Program. (2009)
Keyphrases
  • control flow
  • data flow
  • software testing
  • process model
  • workflow management systems
  • shared memory
  • business process models
  • workflow processes
  • modeling language
  • parallel computing
  • formal semantics
  • transition systems