pi-par: a dependently-typed parallel language with algorithmic skeletons
CM Brown, AD Barwell, F Sloan - 2024 - research-repository.st-andrews.ac …
Algorithmic skeletons are an effective, pattern-based approach for parallelising software.
However, despite implementations for a range of languages and paradigms, there is …
However, despite implementations for a range of languages and paradigms, there is …
[PDF][PDF] That lunch wasn't free after all
R Landheer-Cieslak - rlc.vlinder.ca
Abstract The Spectre and Meltdown bugs have shown that the free lunch of ever-increasing
software performance thanks to ever-increasing hardware performance was indeed over a …
software performance thanks to ever-increasing hardware performance was indeed over a …