suivant:
C.1 Introduction
monter:
memoire_dragicevic
précédent:
B.4 Opérations sur les
Table des matières
C. Exécution d'une configuration d'entrée
Sous-sections
C.1 Introduction
C.2 Définitions préalables
C.2.1 Signaux valués
C.2.2 Historiques
C.2.3 Signaux valués multiples
C.2.4 Processeurs
C.2.5 Fonction d'exécution d'un dispositif
C.3 Lancement et exécution d'une configuration
C.3.1 Codage des signaux d'entrée et des processeurs
C.3.2 Création des valeurs et ouverture des dispositifs
C.3.3 Construction de la machine réactive
C.4 Algorithme d'exécution
C.4.1 Mise à jour d'un processeur
C.4.2 La boucle d'exécution
C.5 L'environnement
C.5.1 Communication avec l'environnement: non-déterminisme et effets de bord
C.5.2 Ouverture non-déterministe des dispositifs
C.5.3 L'hypothèse réactive dans ICoM
Résumé
Abstract
Pierre Dragicevic 2005-07-22
