СТ |
Improving Reactivity to I/O Events in Multithreaded Environments Using a Uniform, Scheduler-Centric API |
2002 |
Bouge L., Danjean V., Namyst R. |
|
|
|
Lecture Notes in Computer Science |
04.10.2002 |
СТ |
The Data Parallel Programming Model: A Semantic Perspective |
1996 |
Bouge L. |
Lecture Notes in Computer Science |
|
|
The Data Parallel Programming Model |
12.10.1996 |
СТ |
Formal Validation of Data Parallel Programs: Introducing the Assertional Approach |
1996 |
Bouge L., Cachera D., Le Guyadec Y., Utard G., Virot B. |
Lecture Notes in Computer Science |
|
|
The Data Parallel Programming Model |
12.10.1996 |
СТ |
On the completeness of a proof system for a simple data-parallel programming language |
1995 |
Bouge L., Cachera D. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
19.10.1995 |
СТ |
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language (Short Version) |
1994 |
Bouge L., Le Guyadec Y., Utard G., Virot B. |
|
|
|
Lecture Notes in Computer Science |
17.11.1994 |
СТ |
On the semantics of languages for massively parallel SIMD architectures |
1991 |
Bouge L. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
СТ |
Towards a Semantic Approach to SIMD Architectures and their Languages |
1990 |
Bouge L., Garda P. |
|
|
|
Lecture Notes in Computer Science |
12.02.1991 |