Compositionality in dataflow synchronous languages : specification & code generation

Synchronous modeling and asynchronous deployment of mobile processes

Talpin, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet Ep - AtrSIGLEAvailable from INIST (FR), Document Supply Servi...

On the integration of best-effort and guaranteed performance services

Altman, Eitan
Artiges, Damien
Traore, Karim
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 1 - Reseaux et systemes - Projet MistralSIGLEAvailable from INIST (FR), Document Supply Servic...

Systeme d'information spontane (SIS) Problematique et premiers elements de solutions

Banatre, Michel
Weis, Frederic
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes. Projet SolidorAvailable from INIST (FR), Document Supply Service, und...

A framework to analyse synchronous data-flow specifications

Nebut, Mirabelle
Pinchinat, Sophie
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 1 - Reseaux et systemes - Projets Espresso et S4SIGLEAvailable from INIST (FR), Document Suppl...

Synthesis of data-flow interfaces for regular parallel programs

Bardoult, Franck
Quinton, Patrice
Risset, Tanguy
Rajopadhye, Sanjay
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes. Projet CosiSIGLEAvailable from INIST (FR), Document Supply Service, u...

Distributing synchronous programs on a loosely synchronous, distributed architecture

Benveniste, Albert
Caspi, Paul
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

The synchronous condition-based consensus hierarchy

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet AdeptSIGLEAvailable from INIST (FR), Document Supply Service,...

On the compilation of data-parallel languages on a distributed memory multithread environment with thread migration

Perez, Christian
Namyst, Raymond
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1997

Theme 1 - Reseaux et systemes - Projet ReMapSIGLEAvailable from INIST (FR), Document Supply Service,...

Programming language specifications and environments

Bertot, Y.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet CROAPSIGLEAvailable from INIST (FR), Document...

Etude comparative des mecanismes de synchronisation et de communication dans les langages a objects pour le parallelisme

Thomas, Laurent

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84177 / INIST-CNRS -...

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

Perez, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet ReMaPAvailable at INIST (FR), Document Supply Service, under ...

Code generation in Bouclettes

Dion, Michele
Boulet, Pierre
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13909 / INIST-CNRS - ...

Execution de codes irreguliers par migration de taches

Jegou, Yvon
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet CAP...

Systemes deductifs et traitement des langues : un panorama des grammaires categorielles

Retore, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Themes 1 - Reseaux et systemes - Projet ParagrapheAvailable from INIST (FR), Document Supply Service...

Consensus in asynchronous systems where processes can crash and recover

Hurfin, M.
Mostefaoui, A.
Raynal, M.
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

Synchronous modeling and asynchronous deployment of mobile processes

Talpin, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet Ep - AtrSIGLEAvailable from INIST (FR), Document Supply Servi...

On the integration of best-effort and guaranteed performance services

Altman, Eitan
Artiges, Damien
Traore, Karim
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 1 - Reseaux et systemes - Projet MistralSIGLEAvailable from INIST (FR), Document Supply Servic...

Systeme d'information spontane (SIS) Problematique et premiers elements de solutions

Banatre, Michel
Weis, Frederic
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes. Projet SolidorAvailable from INIST (FR), Document Supply Service, und...

A framework to analyse synchronous data-flow specifications

Nebut, Mirabelle
Pinchinat, Sophie
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 1 - Reseaux et systemes - Projets Espresso et S4SIGLEAvailable from INIST (FR), Document Suppl...

Synthesis of data-flow interfaces for regular parallel programs

Bardoult, Franck
Quinton, Patrice
Risset, Tanguy
Rajopadhye, Sanjay
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes. Projet CosiSIGLEAvailable from INIST (FR), Document Supply Service, u...

Distributing synchronous programs on a loosely synchronous, distributed architecture

Benveniste, Albert
Caspi, Paul
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

The synchronous condition-based consensus hierarchy

Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet AdeptSIGLEAvailable from INIST (FR), Document Supply Service,...

On the compilation of data-parallel languages on a distributed memory multithread environment with thread migration

Perez, Christian
Namyst, Raymond
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1997

Theme 1 - Reseaux et systemes - Projet ReMapSIGLEAvailable from INIST (FR), Document Supply Service,...

Programming language specifications and environments

Bertot, Y.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet CROAPSIGLEAvailable from INIST (FR), Document...

Etude comparative des mecanismes de synchronisation et de communication dans les langages a objects pour le parallelisme

Thomas, Laurent

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84177 / INIST-CNRS -...

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

Perez, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet ReMaPAvailable at INIST (FR), Document Supply Service, under ...

Code generation in Bouclettes

Dion, Michele
Boulet, Pierre
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13909 / INIST-CNRS - ...

Execution de codes irreguliers par migration de taches

Jegou, Yvon
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet CAP...

Systemes deductifs et traitement des langues : un panorama des grammaires categorielles

Retore, Christian
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Themes 1 - Reseaux et systemes - Projet ParagrapheAvailable from INIST (FR), Document Supply Service...

Consensus in asynchronous systems where processes can crash and recover

Hurfin, M.
Mostefaoui, A.
Raynal, M.
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

Synchronous modeling and asynchronous deployment of mobile processes

Talpin, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet Ep - AtrSIGLEAvailable from INIST (FR), Document Supply Servi...

On the integration of best-effort and guaranteed performance services

Altman, Eitan
Artiges, Damien
Traore, Karim
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 1 - Reseaux et systemes - Projet MistralSIGLEAvailable from INIST (FR), Document Supply Servic...

Systeme d'information spontane (SIS) Problematique et premiers elements de solutions

Banatre, Michel
Weis, Frederic
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes. Projet SolidorAvailable from INIST (FR), Document Supply Service, und...

Compositionality in dataflow synchronous languages : specification & code generation

Abstract

Extracted data

Compositionality in dataflow synchronous languages : specification & code generation

Abstract

Extracted data

Related items

Related items

Compositionality in dataflow synchronous languages : specification &amp; code generation

Abstract

Extracted data

Compositionality in dataflow synchronous languages : specification &amp; code generation

Abstract

Extracted data

Related items

Related items

Compositionality in dataflow synchronous languages : specification & code generation

Compositionality in dataflow synchronous languages : specification & code generation