Abstraction and performance in the design of parallel programs: An overview of the SAT approach

From MaRDI portal
Publication:1567202