Relaxing Synchronous Composition with Clock Abstraction

Albert Cohen 1 Louis Mandel 2, 3 Florence Plateau 2, 3 Marc Pouzet 2, 3
1 ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
3 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : Clocks defined as ultimately periodic infinite binary words were introduced to model features which are usually not considered in synchronous languages such as communication delay or the composition through bounded buffers. Clock abstraction are a simple mean allowing to reason in average on those clocks. These features are an important concern in hardware design. This work presents a new abstraction for clocks whose properties have been proven with the COQ proof assistant.
Type de document :
Communication dans un congrès
Hardware Design and Functional Languages Workshop, Mar 2009, York, United Kingdom. 2009
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00645333
Contributeur : Albert Cohen <>
Soumis le : dimanche 27 novembre 2011 - 21:55:25
Dernière modification le : jeudi 5 avril 2018 - 12:30:12
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 12:10:15

Fichier

HFL09-abstract-and-slides.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00645333, version 1

Collections

Citation

Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet. Relaxing Synchronous Composition with Clock Abstraction. Hardware Design and Functional Languages Workshop, Mar 2009, York, United Kingdom. 2009. 〈hal-00645333〉

Partager

Métriques

Consultations de la notice

257

Téléchargements de fichiers

125