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