Instruction Scheduling Across Control Flow.

Martin Charles Golumbic Vladimir Rainish

Published in: Sci. Program. (1993)

Keyphrases

control flow
instruction scheduling
data flow
constraint programming
process model
multithreading
software testing
transition systems
workflow management systems
business process models
real world
multi agent
data model
business processes
formal semantics
memory hierarchy