Example database

Showing 1-20 of 139 items.
IDTitleVerification featuresExample sourceLanguageMore information
 
1Matrix transposeArrays, Iteration contracts, MatricesPVLmore info
2Array zippingArrays, Iteration contracts, Loop parallelisationsJavamore info
4Parallel prefix sumArrays, Barriers, GPU Kernels, MatricesPVLmore info
6Backward dependencies (error 1)Arrays, Iteration contracts, Loop parallelisationsC / OpenMP / OpenCLmore info
7Basic C exampleArrays, Iteration contracts, Loop parallelisations, MatricesC / OpenMP / OpenCLmore info
8Forward dependencies (error 1)Arrays, Iteration contracts, Loop parallelisationsC / OpenMP / OpenCLmore info
9Forward dependencies (kernel 1)Arrays, Barriers, GPU KernelsPVLmore info
10Forward dependencies (kernel 2)Arrays, Barriers, GPU KernelsPVLmore info
12PVL kernel (version 2)Arrays, Barriers, GPU KernelsPVLmore info
13PVL kernel (version 3)Arrays, Barriers, GPU KernelsPVLmore info
14PVL kernel (version 1)Arrays, Barriers, GPU KernelsPVLmore info
15Vector additionArrays, Barriers, GPU KernelsPVLmore info
17Atomic read/write witnessesAtomics, WitnessesJavamore info
18Deposit/withdraw lockAtomics, Locking, WitnessesJavamore info
19Single-entrant spin lockAtomics, Locking, WitnessesJavamore info
20Single producer/consumerAtomics, WitnessesJavamore info
21Simple hash table (with find-or-put)Atomics, WitnessesJavamore info
22Reentrant lockingAtomics, Locking, WitnessesJavamore info
23Single cellAtomics, WitnessesJavamore info
29Postfix unary operatorsPVLmore info