Verifying Pipeline Implementations in OpenMP.
Maik WiesnerMarie-Christine JakobsPublished in: SPIN (2021)
Keyphrases
- efficient implementation
- shared memory
- parallel programming
- search algorithm
- programming language
- parallel implementations
- model checking
- data structure
- artificial neural networks
- evolutionary algorithm
- database
- parallel algorithm
- website
- information retrieval
- high performance computing
- neural network
- parallel architecture
- multi core processors
- real time