- Sunday
- July 7th, 2024
- Ajouter un cours
Télécharger le fichier original (Mémoire de fin d'études) Adaptation de données multimédia La gestion des données multimédia recouvre de nombreux aspects: extensibilité du système, accès et intégration des données (en termes d’indexation et d’exécution de requêtes dans un environnement distribué...
Grammaires, automates et langages formels Ce chapitre aborde quelques concepts de base sur les grammaires, les automates et les langages formelsqui sont en lien avec les concepts et représentations des grammaires locales et des grammaires locales étendues étudiées à partir...
Validation formelle des langages à parallélisme des données PARALELISME DE DONNEES Introduction De nombreux eorts ont ete mis en uvre dans les trois dernieres decennies pour developper des machines paralleles de plus en plus puissantes. De nombreux modeles d'execution ont...
De la machine à écrire à la machine à rêves « D’abord une matière sonore » Le professeur de dessin et historien d’art Hans Koppenschleger, un ami et admirateur, rapporte cette étonnante rencontre, un jour de mai, sur la terrasse...
Les premières machines à calculer Le boulier chinois, la machine arithmétique de Schikard et la machine arithmétique de Pascal sont-ils les ancêtres de nos ordinateurs ? Schikard, astronome à l'université d'Heidelberg, réalisa en 1623 la première machine exécutant automatiquement les...
Codage d’une machine de Turing dans un décalage sur Z Cette construction utilise un décalage substitutif (voir la Partie 2.1), dont on sait qu’il est aussi sofique par un résultat de Mozes [Moz89], pour définir des espaces de calcul. Les...
Tolérance aux fautes sur CORBA par protocole à métaobjets et langages réflexifs Alternatives à CORBA Bien que CORBA s’impose en tant que standard dans l’élaborations de systèmes distribués orientés-objet, certaines alternatives existent avec leurs avantages et leurs inconvénients. On notera...
Modélisation en langage VHDL-AMS des systèmes pluridisciplinaires CREATION ET TRANSFORMATION DE MODELE Au cours du premier chapitre, nous avons montré que notre problématique de modélisation système basée sur l’application de la norme VHDL-AMS, s’insérait parfaitement dans un processus de conception...
Une formalisation de la détection des actes de langage indirects Introduction Les dialogues coopératifs homme-machine orientés tâche, qu’ils soient en langage naturel ou artificiel, sont un des défis les plus importants des sciences informatiques. Les participants à de tels dialogues...
Méthodes, règles et langages liés à l’organisation de l’activité de conception Même si l’activité de conception a subi de profondes mutations ces dernières années avec l’arrivée massive des outils numériques, elle reste cependant attachée à de nombreuses pratiques héritées du...