Control-Flow Decoupling: An Approach for Timely, Non-Speculative Branching.

Rami Sheikh James Tuck Eric Rotenberg

Published in: IEEE Trans. Computers (2015)

Keyphrases

control flow
data flow
input output
software testing
process model
workflow management systems
decision making
branch and bound
transition systems
reactive systems
search tree
object oriented
business process models
business process
search algorithm
model checking
memory hierarchy
cooperative