QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck.
Robert KrookNicholas SmallboneBo Joel SvenssonKoen ClaessenPublished in: CoRR (2024)
Keyphrases
- image segmentation
- image processing
- computer vision
- multiscale
- parallel programming
- genetic algorithm
- database
- parallel processing
- massively parallel
- special case
- shared memory multiprocessor
- compute intensive
- pc cluster
- distributed processing
- parallel implementation
- shared memory
- relational databases
- expert systems
- three dimensional
- machine learning