Data-Parallel languages offer a programming model structured and easy to understand. The challenge consists in taking advantage of the power of actual architectures by a compilation process allowing to reduce the number and the complexity of synchronizations. In this paper, we clearly separate the synchronous programming model from the asynchronous execution model by the way of a translation from a synchronous data-parallel programming language to an asynchronous target language. The synchronous data-parallel programming language allows to temporarily mask local computations. The asynchronous target language handles explicit and partial synchronizations through the use of structural clocks. We provide a theoretical framework to prove the co...
We consider the problem of asynchronous execution of parallel programs. The original program is assu...
An huge amount of computational models and programming languages have been proposed for the descrip...
High-level programming languages and exotic architectures have often been devel-oped together, becau...
Data-Parallel languages offer a programming model structured and easy to understand. The challenge c...
Classical imperative data-parallel languages offer a simple synchronous programming model. The chall...
Parallelism suffers from a lack of programming languages both simple to handle and able to take adva...
Parallelism suffers from a lack of programming languages both simple to handle and able to take adva...
In this thesis, we first review current trends in the areas related to parallel programming language...
Among parallel programming tools, task parallelism and data parallelism are the most common programm...
An approach based on algebraic treatment of programs and advanced transition system operational sema...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
Synchronization languages are a model used to describe the behaviors of distributed applications who...
Synchronous programming languages are programming languages with an abstract (logical) notion of tim...
The topic of this thesis is the effective execution of parallel applications on emerging multicore a...
The topic of this thesis is the effective execution of parallel applications on emerging multicore a...
We consider the problem of asynchronous execution of parallel programs. The original program is assu...
An huge amount of computational models and programming languages have been proposed for the descrip...
High-level programming languages and exotic architectures have often been devel-oped together, becau...
Data-Parallel languages offer a programming model structured and easy to understand. The challenge c...
Classical imperative data-parallel languages offer a simple synchronous programming model. The chall...
Parallelism suffers from a lack of programming languages both simple to handle and able to take adva...
Parallelism suffers from a lack of programming languages both simple to handle and able to take adva...
In this thesis, we first review current trends in the areas related to parallel programming language...
Among parallel programming tools, task parallelism and data parallelism are the most common programm...
An approach based on algebraic treatment of programs and advanced transition system operational sema...
In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...
Synchronization languages are a model used to describe the behaviors of distributed applications who...
Synchronous programming languages are programming languages with an abstract (logical) notion of tim...
The topic of this thesis is the effective execution of parallel applications on emerging multicore a...
The topic of this thesis is the effective execution of parallel applications on emerging multicore a...
We consider the problem of asynchronous execution of parallel programs. The original program is assu...
An huge amount of computational models and programming languages have been proposed for the descrip...
High-level programming languages and exotic architectures have often been devel-oped together, becau...