-
Concrete Memory Models for Shape Analysis
International audience -
A simple Bridging Model for High-Performance Computing
This report introduces the Scatter-Gather parallel-programming and parallel execution model in the form of a simple imperative language named SGL. Its design is based... -
A software-hardware bridging model for simplifying parallel programming
Parallel programming and data-parallel algorithms have been the main techniques supporting high-performance computing for many decades. Like all non-functional...
