Simplify Array Processing Loops for Efficient Program Verification.

Xiang Du Liangze Yin Wei Dong

Published in: ISSRE (2021)

Keyphrases

data processing
real time
data structure
databases
lightweight
computationally efficient
information processing
data acquisition
information retrieval
artificial intelligence
image segmentation