Computing at the border of abstractions: the power of timed, non-binary, distributed circuits - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 2022

Computing at the border of abstractions: the power of timed, non-binary, distributed circuits

Le calcul à la frontière des abstractions : la puissance des circuits temporisés, non binaires, distribués

Abstract

The design and analysis of low-level computing devices directly implemented in hardware is com- monly based on finite state machine models. In this work we review some of the assumptions made in these designs and discuss techniques for the cases where the assumptions fail to hold. The work concentrates on three such aspects: (i) computing under conditions where low-level timing effects cannot be neglected, (ii) when non-binary signals play a central role, and (iii) computing within a changing infrastructure, i.e., dynamic networks. While most of this work is devoted to implementations in silicon, microbiological circuits are discussed in the outlook.
La conception et l'analyse des dispositifs informatiques directement mis en oeuvre dans le matériel sont généralement basées sur les automates finis. Dans ce travail, nous passons en revue certaines des hypothèses faites dans ces conceptions et discutons des techniques pour les cas où les hypothèses ne sont pas valables. Ce travail se concentre sur trois aspects : (i) le calcul dans des conditions où les effets temporels ne peuvent être négligés, (ii) lorsque les signaux non binaires jouent un rôle central, et (iii) le calcul dans une infrastructure changeante, i.e., les réseaux dynamiques. Bien que la majeure partie de ce travail soit consacrée aux implémentations en silicium, les circuits microbiologiques sont abordés dans les perspectives.
Fichier principal
Vignette du fichier
thesis.pdf (1.14 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

tel-04308490 , version 1 (27-11-2023)

Identifiers

  • HAL Id : tel-04308490 , version 1

Cite

Matthias Függer. Computing at the border of abstractions: the power of timed, non-binary, distributed circuits. Computer Science [cs]. ENS Paris-Saclay, France, 2022. ⟨tel-04308490⟩
41 View
19 Download

Share

Gmail Mastodon Facebook X LinkedIn More