%0 Unpublished work %T Calculer avec des phases %+ Laboratoire Traitement et Communication de l'Information (LTCI) %A Matherat, Philippe %Z 54 pages %8 2010-12-03 %D 2010 %K Circuits asynchrones %K Delay-Insensitive %K Systèmes distribués %K Parallélisme %K Dissipation logique %K Synchronisation %K Modèle de calcul %K modèle de temps %K Clockless %K Ordre partiel %Z Engineering Sciences [physics]/Electronics %Z Computer Science [cs]/Hardware Architecture [cs.AR] %Z Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]Preprints, Working Papers, ... %X Nous présentons une élaboration qui se veut une tentative de définition d'un modèle de calcul compatible avec un temps qui ne serait pas un nombre mais un ordre partiel. Initialement, nous avons été motivés par le cadre des circuits "sans horloge". Nous attendons de cette théorie une compréhension des phénomènes de synchronisation dans les systèmes distribués, dans ce qu'ils ont de propre à chaque calcul particulier. Nous en attendons également une compréhension des phénomènes de dissipation logique qui seraient nécessairement liés à chaque calcul. Ce questionnement nous a conduit à des remises en cause profondes des notions habituelles d'espace, de temps, de composition d'objets, en liaison avec le calcul. %G French %2 https://imt.hal.science/hal-00541759v2/document %2 https://imt.hal.science/hal-00541759v2/file/phases.pdf %L hal-00541759 %U https://imt.hal.science/hal-00541759 %~ INSTITUT-TELECOM %~ CNRS %~ ENST %~ TELECOM-PARISTECH %~ PARISTECH %~ LTCI %~ INSTITUTS-TELECOM