Login / Signup
Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions.
Ganesh Lakshminarayana
Anand Raghunathan
Niraj K. Jha
Published in:
DAC (1998)
Keyphrases
</>
control flow
data flow
speculative execution
scheduling problem
process model
software testing
formal semantics
high level
modeling language
workflow management systems
databases
software development
transactional memory