The following pages link to CMU Benchmarks (Q23850):
Displaying 8 items.
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- A matrix modular neural network based on task decomposition with subspace division by adaptive affinity propagation clustering (Q611660) (← links)
- Parallel computation of the Burrows Wheeler transform in compact space (Q2297855) (← links)
- Novel algorithms for noisy minimization problems with applications to neural networks training (Q2370047) (← links)
- Parallel lightweight wavelet tree, suffix array and FM-index construction (Q2397146) (← links)
- BerkMin: A fast and robust SAT-solver (Q2643301) (← links)
- Efficient Implementation of a Synchronous Parallel Push-Relabel Algorithm (Q3452773) (← links)
- In-Place Parallel Super Scalar Samplesort (IPSSSSo) (Q5111694) (← links)
