Relaxing Synchronous Composition with Clock Abstraction - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Relaxing Synchronous Composition with Clock Abstraction

Résumé

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.
Fichier principal
Vignette du fichier
HFL09-abstract-and-slides.pdf (209.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00645333 , version 1 (27-11-2011)

Identifiants

  • HAL Id : hal-00645333 , version 1

Citer

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. ⟨hal-00645333⟩
177 Consultations
95 Téléchargements

Partager

Gmail Facebook X LinkedIn More