skip to main content
Filtré par : auteur: Pouzet , Marc supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Synchronous-based Code Generator For Explicit Hybrid Systems Languages
Material Type:
Autre
Ajouter à Mon espace

A Synchronous-based Code Generator For Explicit Hybrid Systems Languages

Bourke , Timothy ; Colaço , Jean-Louis ; Pagano , Bruno ; Pasteur , Cédric ; Pouzet , Marc ; Parallélisme de Kahn Synchrone ( Parkas ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) ; Esterel Technologies / Ansys [Toulouse] ; École normale supérieure - Paris ( ENS Paris )

International Conference on Compiler Construction (CC)

HAL CCSD, 2015

Accessible en ligne

2
Time Refinement in a Functional Synchronous Language
Material Type:
Autre
Ajouter à Mon espace

Time Refinement in a Functional Synchronous Language

Pouzet , Marc ; Pasteur , Cédric ; Mandel , Louis ; Parallélisme de Kahn Synchrone ( Parkas ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) ; École normale supérieure - Paris ( ENS Paris )

ISSN: 0167-6423

HAL CCSD;Elsevier, 2015

Accessible en ligne

3
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler
Material Type:
Autre
Ajouter à Mon espace

A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler

Gérard , Léonard ; Guatto , Adrien ; Pasteur , Cédric ; Pouzet , Marc ; Parallélisme de Kahn Synchrone ( Parkas ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS )

Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems

HAL CCSD;ACM, 2012

Accessible en ligne

4
Towards a verified Lustre compiler with modular reset
Material Type:
Autre
Ajouter à Mon espace

Towards a verified Lustre compiler with modular reset

Bourke , Timothy ; Brun , Lélio ; Pouzet , Marc ; Parallélisme de Kahn Synchrone ( Parkas ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) ; PSL Research University ( PSL ) ; École normale supérieure - Paris ( ENS Paris ) ; ACM Press

21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)

HAL CCSD;ACM Press, 2018

Accessible en ligne

5
Scade 6: A Formal Language for Embedded Critical Software Development
Material Type:
Autre
Ajouter à Mon espace

Scade 6: A Formal Language for Embedded Critical Software Development

Colaço , Jean-Louis ; Pagano , Bruno ; Pouzet , Marc ; Esterel Technologies / Ansys [Toulouse] ; École normale supérieure - Paris ( ENS Paris ) ; Parallélisme de Kahn Synchrone ( Parkas ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Université Pierre et Marie Curie - Paris 6 ( UPMC )

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017)

HAL CCSD, 2017

Accessible en ligne

6
Vérification de la génération modulaire du code impératif pour Lustre
Material Type:
Autre
Ajouter à Mon espace

Vérification de la génération modulaire du code impératif pour Lustre

Bourke , Timothy ; Dagand , Pierre-Evariste ; Pouzet , Marc ; Rieg , Lionel ; École normale supérieure - Paris ( ENS Paris ) ; Parallélisme de Kahn Synchrone ( Parkas ) ; Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Centre National de la Recherche Scientifique ( CNRS ) -Centre National de la Recherche Scientifique ( CNRS ) ; Well Honed Infrastructure Software for Programming Environments and Runtimes ( Whisper ) ; Laboratoire d'Informatique de Paris 6 ( LIP6 ) ; Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Université Pierre et Marie Curie - Paris 6 ( UPMC ) ; Yale University [New Haven] ; Collège de France ( CdF )

JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs

HAL CCSD, 2017

Accessible en ligne

7
Non-standard semantics of hybrid systems modelers
Material Type:
Autre
Ajouter à Mon espace

Non-standard semantics of hybrid systems modelers

Benveniste , Albert ; Bourke , Timothy ; Caillaud , Benoît ; Pouzet , Marc ; System synthesis and supervision, scenarios ( S4 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Parallélisme de Kahn Synchrone ( Parkas ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) ; This work was supported by the SYNCHRONICS large scale initiative of INRIA.

ISSN: 0022-0000

HAL CCSD;Elsevier, 2012

Accessible en ligne

8
A Formally Verified Compiler for Lustre
Material Type:
Autre
Ajouter à Mon espace

A Formally Verified Compiler for Lustre

Bourke , Timothy ; Brun , Lélio ; Dagand , Pierre-Evariste ; Leroy , Xavier ; Pouzet , Marc ; Rieg , Lionel ; Parallélisme de Kahn Synchrone ( Parkas ) ; Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Centre National de la Recherche Scientifique ( CNRS ) -Centre National de la Recherche Scientifique ( CNRS ) ; Well Honed Infrastructure Software for Programming Environments and Runtimes ( Whisper ) ; Laboratoire d'Informatique de Paris 6 ( LIP6 ) ; Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Langages de programmation, types, compilation et preuves ( GALLIUM ) ; Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Yale University [New Haven] ; Collège de France ( CdF ) ; Émergence(s) (ville de Paris) ; ACM

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

HAL CCSD, 2017

Accessible en ligne

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Auteur 

  1. Bourke , Timothy  (5)
  2. École normale supérieure - Paris ( ENS Paris )  (5)
  3. Parallélisme de Kahn Synchrone ( Parkas ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS )  (4)
  4. Pasteur , Cédric  (3)
  5. Rieg , Lionel  (2)
  6. Université Pierre et Marie Curie - Paris 6 ( UPMC )  (2)
  7. Parallélisme de Kahn Synchrone ( Parkas ) ; Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Centre National de la Recherche Scientifique ( CNRS ) -Centre National de la Recherche Scientifique ( CNRS )  (2)
  8. Brun , Lélio  (2)
  9. Pagano , Bruno  (2)
  10. Well Honed Infrastructure Software for Programming Environments and Runtimes ( Whisper ) ; Laboratoire d'Informatique de Paris 6 ( LIP6 ) ; Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Pierre et Marie Curie - Paris 6 ( UPMC ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria )  (2)
  11. Dagand , Pierre-Evariste  (2)
  12. Colaço , Jean-Louis  (2)
  13. Yale University [New Haven]  (2)
  14. Parallélisme de Kahn Synchrone ( Parkas ) ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria de Paris ; Institut National de Recherche en Informatique et en Automatique ( Inria )  (2)
  15. Esterel Technologies / Ansys [Toulouse]  (2)
  16. Collège de France ( CdF )  (2)
  17. ACM  (1)
  18. Mandel , Louis  (1)
  19. Émergence(s) (ville de Paris)  (1)
  20. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré