Dissipation logique des implémentations d'automates — dissipation du calcul

Résumé : La discussion de principe de la dissipation d'énergie par les ordinateurs révèle les contraintes qu'impose la logique sur les systèmes physiques devant remplir une fonction logique. Nous sommes amenés à définir une notion de dissipation logique pour un automate fini. Nous discutons les contraintes associées à l'implémentation physique et exhibons le rôle joué par la modularité dans la testabilité. Il en résulte que les machines à calculer concrètes, qui sont nécessairement modulaires, dissipent proportionnellement au temps de calcul.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1996, 15 (8), p. 1079 à 1104
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00180863
Contributeur : Philippe Matherat <>
Soumis le : lundi 22 octobre 2007 - 11:30:23
Dernière modification le : mercredi 29 novembre 2017 - 16:40:26
Document(s) archivé(s) le : dimanche 11 avril 2010 - 23:31:12

Fichier

dlia.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : hal-00180863, version 1

Collections

Citation

Philippe Matherat, Marc-Thierry Jaekel. Dissipation logique des implémentations d'automates — dissipation du calcul. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1996, 15 (8), p. 1079 à 1104. 〈hal-00180863〉

Partager

Métriques

Consultations de la notice

241

Téléchargements de fichiers

164