Buffer Size Reduction through Control-Flow Decomposition.

Youngchul Cho Nacer-Eddine Zergainoh Ahmed Amine Jerraya Kiyoung Choi

Published in: RTCSA (2007)

Keyphrases

control flow
buffer size
data flow
buffer management
process model
software testing
workflow management systems
formal semantics
high level
query processing
test set
test cases
flash memory