QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck.

Robert Krook Nicholas Smallbone Bo Joel Svensson Koen Claessen

Published in: IFL (2023)

Keyphrases

real time
parallel processing
parallel computing
distributed processing
computer architecture
compute intensive
databases
decision making
image processing
data structure
digital libraries
parallel computation
distributed memory
parallel programming
shared memory multiprocessor