pthreads
From MaRDI portal
Software:22001
swMATH10032MaRDI QIDQ22001FDOQ22001
Author name not available (Why is that?)
Cited In (21)
- Barriers in concurrent separation logic: now with tool support!
- A mathematical model of the static pantograph/catenary interaction
- Parallel Programming
- Parallel multithreaded IDA* heuristic search: algorithm design and performance evaluation
- 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
- Parallel implementations of the false nearest neighbors method to study the behavior of dynamical models
- Algorithm 928
- 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
- High accuracy and interval arithmetic on multicore processors
- Parallelization of adaptive MC integrators
This page was built for software: pthreads
