Reconstructing Control Flow in Modulo Scheduled Loops.

Miao Wang Rongcai Zhao Jianmin Pang Guoming Cai

Published in: ACIS-ICIS (2008)

Keyphrases

query language
control flow
data flow
software testing
scheduling problem
process model
database
workflow management systems
reactive systems
business process models
modeling language
transition systems
artificial intelligence
information systems
case study
business processes