- Saturday
- May 18th, 2024
- Ajouter un cours
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...
DISPARITION DE L’HOMME ET MACHINERIE HUMAINE SUR LA SCENE CONTEMPORAINE Le concept de « fin de l’homme » et le théâtre contemporain Dans les années 1960-70, les sciences humaines et, avec elles, la plupart des mouvements artistiques et intellectuels ont...
Introduction au langage Python par l'exemple La portée des variables Programme (bases_02) # -*- coding=utf-8 -*- # portée des variables def f1(): # on utilise la variable globale i global i i+=1 j=10 print "f1[i,j]=[%s,%s]" % (i,j) def f2(): #...