Leakage-proof program partitioning.

Tao Zhang Santosh Pande André L. M. dos Santos Franz Josef Bruecklmayr

Published in: CASES (2002)

Keyphrases

real time
data mining
artificial intelligence
partitioning algorithm
optimal solution
computer science
test cases
graph partitioning
computer programs
program execution
control program
proof planning