Cited in
(38)- A web-based spatial data access system using semantic \(R\)-trees
- Conservative interpolation on unstructured polyhedral meshes: an extension of the supermesh approach to cell-centered finite-volume variables
- Scientific computations on multi-core systems using different programming frameworks
- Barriers in Concurrent Separation Logic
- A dissection solver with kernel detection for symmetric finite element matrices on shared memory computers
- Parallelization of adaptive MC integrators
- Combining test case generation and runtime verification
- Algorithm 928: A general, parallel implementation of Dantzig-Wolfe decomposition
- Reliable generation of high-performance matrix algebra
- Parallel implementations of the false nearest neighbors method to study the behavior of dynamical models
- A mathematical model of the static pantograph/catenary interaction
- High accuracy and interval arithmetic on multicore processors
- SCELib
- PARSEC
- Algorithm 821
- xloops
- Resolution of an inverse thermal problem using parallel processing on shared-memory multiprocessor architectures
- \textsc{OpenCL} based parallel algorithm for RBF-PUM interpolation
- PLuTo
- pvegas.c
- Algorithm 928
- Mechanized Semantic Library
- Rodinia
- FastFlow
- SWARM
- Wool
- Barriers in concurrent separation logic: now with tool support!
- REMAP3D
- MINIME
- TerraFly
- TGV
- PEPC
- MINIME: Pattern-Aware Multicore Benchmark Synthesizer
- Algorithm 821
- Parallel multithreaded IDA\(*\) heuristic search: algorithm design and performance evaluation
- Parallel Programming
- A high performance tool for the simulation of the dynamic pantograph-catenary interaction
- A parallel multi-unit resource deadlock detection algorithm with \(O(\log _2(\min (m, n)))\) overall run-time complexity
This page was built for software: pthreads
