Calculer avec des phases

Philippe Matherat (1)

1 LTCI - Laboratoire Traitement et Communication de l'Information

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.

Keywords: Circuits asynchrones; Delay-Insensitive; Systèmes distribués; Parallélisme; Dissipation logique; Synchronisation; Modèle de calcul; modèle de temps; Clockless; Ordre partiel

Domains: Electronics; Hardware Architecture [cs.AR]; Distributed, Parallel, and Cluster Computing [cs.DC]

Philippe Matherat. Calculer avec des phases. 2010. ⟨hal-00541759v2⟩