 |
|
|
|
| HAL : hal-00180863, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Technique et Science Informatiques 15, 8 (1996) pages 1079 à 1104 |
|
|
|
|
| Dissipation logique des implémentations d'automates — dissipation du calcul |
|
|
| Philippe Matherat 1Marc-Thierry Jaekel 2 |
|
|
| (10/1996) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique de l'école normale supérieure (LIENS) |
|
|
|
CNRS : UMR8548 – Ecole Normale Supérieure de Paris - ENS Paris |
|
|
| 2 : | Laboratoire de Physique Théorique de l'ENS (LPTENS) |
|
|
|
CNRS : UMR8549 – Université Paris VI - Pierre et Marie Curie – Ecole Normale Supérieure de Paris - ENS Paris |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Architecture |
|
|
| Implémentation physique d'automate – démon de Maxwell – graphe d'automate et modularité – machine de Turing – dissipation du calcul. |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00180863, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00180863 | |
| oai:hal.archives-ouvertes.fr:hal-00180863 | |
| Contributeur : Philippe Matherat | |
| Soumis le : Lundi 22 Octobre 2007, 11:30:23 | |
| Dernière modification le : Lundi 22 Octobre 2007, 14:40:17 | |
