On optimal parallelization of sorting networks (Q917287)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On optimal parallelization of sorting networks |
scientific article |
Statements
On optimal parallelization of sorting networks (English)
0 references
1990
0 references
program transformation
0 references
optimal concurrency
0 references
Boyer-Moore theorem prover
0 references
sorting networks
0 references
Parallelization of sequential program
0 references
0 references
