Login / Signup
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification.
Jan Haltermann
Marie-Christine Jakobs
Cedric Richter
Heike Wehrheim
Published in:
Software Engineering (2024)
Keyphrases
</>
multiresolution
computer vision
parallel processing
shared memory
neural network
parallel hardware
databases
image sequences
bayesian networks
parallel programming
pc cluster