Вы здесь

Bouge L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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