https://get-the.net/ 2026-09-13T20:53:16+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2009-10-09T18:44:50+02:00 https://get-the.net/doku.php?id=m1ilc:compil_1&rev=1255106690&do=diff Introduction Le problème : Homme et machine n'utilisent pas la même langage. Homme Machine langage de programmation langage machine basé s/ modèles mathématiques reflète architecture matérielle Structuration, modularité au niveau binaire, manipulation de registres => besoin de réaliser la traduction d'un langage source vers un langage cible. text/html 2010-04-10T09:36:56+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_3&rev=1270885016&do=diff Sémantique Dénotationnelle d'un langage de programmation Consiérons maintenant un langage de programmation impérative simplifié (que nous appellerons “L”) comportant : * instructions de base * l'affectation : x := expr * l'instruction vide : skip text/html 2010-05-24T10:09:55+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_5&rev=1274688595&do=diff Sémantique des Programmes Récursifs On considère une autre construction dans les langages de programmation, celle des programmes récursifs. Un programme récursif (fonction ou procédure) est récursivement associé à un nom. Le corps du programme fait explicitement référence à ce nom (c'est ce qu'on désigne par “appel récursif”). text/html 2010-01-04T17:28:33+02:00 https://get-the.net/doku.php?id=m1ilc:compil_2&rev=1262622513&do=diff Analyse Syntaxique Introduction Le rôle de l'analyse syntaxique est de * déterminer si la suite de tokens est conforme à la grammaire définissant le langage source; * repérer [et signaler] les erreurs syntaxiques; * définir l'arbre de syntaxe abstraite. text/html 2010-05-19T19:07:21+02:00 https://get-the.net/doku.php?id=m1ilc:search_1&rev=1274288841&do=diff Alphabet et Mots lettresmot vide * L'ensemble des mots sur l'alphabet A est noté A* * L'ensemble des mots sur l'alphabet A excepté le mot vide ε est noté A+ * La longueur d'un mot x est la longueur de la suite associée au mot x et est notée |x|. On note x[i], avec 0 ≤ i ≤ |x|-1, la lettre à l'indice i de x avec par convention une numérotation des indices à partir de 0. L'indice i représente une position sur x si x ≠ ε. La j-ième lettre de x est la lettre à la position j-1 sur x et x=x… text/html 2009-12-23T15:05:22+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_1&rev=1261577122&do=diff Analyse Lexicale Une suite de caractères est lu par un analyseur lexical, et celui-ci produit une suite de symboles (unités syntaxiques, “tokens”). Ces symboles comprennent des identifiants, des mots réservés, des constantes, des délimiteurs , des opérateurs simples ou composés (+ - * / := , e.g., qui sont de petits mots réservés). text/html 2010-05-24T08:01:39+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_4&rev=1274680899&do=diff Détermination de la sémantique de Programmes Exercice 1 Déterminer la sémantique du programme while n > 0 do n := n-1 pour n∈N. Pour cela, on construit la suite des programmes (Wi) et leur fonction sémantique (wi) i+1 Wi+1 = if n>0 then i { n:= n-1; if n>0 then { i-1 { n:= n-1; if n>0 then { ... 0 { n:= n-1; bottom }... }}}}} avec i accolades fermantes wi+1(s) = non-définie si et (s| n-> 0) si text/html 2011-01-14T12:01:21+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_3&rev=1295002881&do=diff Les activités et documents de validation Le cycle en V A Plan B besoins F tests G Rapport mise en production maintenance retrait données C conception E tests D construction Les rôles et responsabilités -pour un système Propriétaire du système : c'est le “client final” -- celui qui repésente les utilisateurs, et l'utilisation du système. Il sera responsable de “ce qu'on fait avec le système” -- des résultats et données contenues dans le système. C'est l'appro… text/html 2010-05-18T18:01:39+02:00 https://get-the.net/doku.php?id=m1ilc:algoplus&rev=1274198499&do=diff Algorithmique avancée Enseignant Site/Liens Cours TD TP ECTS M. Basile SAUVAGE Materiel 2008 ou Sauvage:enseignements 18 18 3 Objectifs savoir-faire et compétences -- Analyse d'algorithmes Contenu Etude des principales familles d'algorithmes : diviser pour régner, méthodes gloutonnes, programmation dynamique, algorithmes randomisés. Algorithmes approchés pour la résolution de problèmes difficiles. Prérequis Algorithmique de base, structures de données, programmation impérative… text/html 2010-05-24T08:19:25+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_2&rev=1274681965&do=diff II. Sémantique d'un langage de programmation NB On ne peut donner un sens à un énoncé que s'il est bien typé. Les types sont des éléments essentiels dans la construction des programmes. Ils sont liés à des notions de spécification de de preuve (spécification algébrique de types) que nous développerons dans un chapitre dédié. La sémantique d'un langage de programmation est ce qui donne la signification aux programmes, les notions permettant de définir formellement les opérations sur les don… text/html 2010-01-04T18:10:57+02:00 https://get-the.net/doku.php?id=m1ilc:compil_ll&rev=1262625057&do=diff Analyse Descendante Exemple (simple) R1: S -> cAd R2: A -> ab | a Analysons 'cad' et construisons l'arbre de syntaxe abstraite. étape arbre symboles 0 S cad 1 S / | \ c A d cad même symbole, voyons si la suite correspond prenant une première hypothèse pour 'A' 2 S / | \ c A d / \ a b cad première hypothèse pour ce qu'a produit 'A' 3 S / | \ c A d / \ a b cad on avance le… text/html 2010-01-30T19:42:49+02:00 https://get-the.net/doku.php?id=fca:lattice_exemple&rev=1264876969&do=diff Introduction Les deux principes majeurs de CbO sont : * Utiliser chaque instance (objet) comme “graine” pour engendrer une suite de sous-ensembles le contenant, en ajoutant un par un des objets qui ne sont pas encore dans l'extension (fermeture par rapport à l'intention), tant que l'intention reste non-nulle. Ceci se fait par le développement récursif en profondeur d'abord. * Rajouter des objets “lexicographiquement supérieurs” seulement, pour pouvoir repérer une extension qui aurait déj… text/html 2010-05-24T19:02:04+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_8&rev=1274720524&do=diff Introduction L'aspect preuve de programmes a un dual naturel qui est la réalisation d'un programme à partir d'une spécification. Par exemple, en se basant sur la logique de Hoare pour les programmes impératifs : * preuve : étant donné un programme P, prouver que ce programme admet deux prédicats p et q comme pré- et post- conditions. * dérivation : étant donné deux prédicats p et q, prouver un programme P qui admette ces deux prédicats comme pré- et post- conditions (on utilise les règles… text/html 2009-08-06T20:45:51+02:00 https://get-the.net/doku.php?id=java:quad_aleas&rev=1249584351&do=diff QuadAleas “faire une classe avec quatre fils de type objet, un constructeur qui affecte des valeur random() à des objets Double qui deviennent ces fils [avec des System.out.println des valeurs qu'il affecte], une méthode de lecture des valeurs des fils. Et une procédure test qui invoque cette classe et demande les valeurs pour vérifier que ça c'est bien passé. ” text/html 2009-12-13T17:19:03+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_6&rev=1260721143&do=diff Code assembleur MIPS Exercice 1 Traduire en assembleur MIPS l'extrait de code C suivant: if (t1 < t2) t3 = t1 ; else t3 = t2; la $t0,t1 lw $t1, $t0 blt $t2, $t1, joe b jim; joe: move $t3, $t1 b fin jim: move $t3, $t2 fin: nop Exercice 2 Soit l'extrait de code C suivant qui calcule dans t2 initialisé à 0 la somme des entiers de 1 à t1: text/html 2009-12-23T12:04:24+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_2a&rev=1261566264&do=diff TD 2 : Analyse Syntaxique Descendante Grammaire récursive Grammaire G0 E -> E+T | T T -> T*F | F F -> (E) | id | cte Cette grammaire est récursive à gauche. Pour la dérécursiver, nous observons que * E -> T ou T+T ou T+...+T * F -> F ou F*F ou F*...*F text/html 2010-01-06T21:20:43+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_a&rev=1262809243&do=diff II.4 Problèmes Indécidables Théorème (rappel) * H n'est pas récursif * Il existe des langages récursivement énumérables qui ne sont pas récursifs * La classe des langages récursivement énumerables n'est pas stable par complément * Exemple : * H n'est pas récursif et n'est pas récursivement énumerable. text/html 2010-05-23T11:27:11+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_3&rev=1274606831&do=diff Objectifs de la Recherche de Motifs Biologiques L'objectif de la détermination de génomes complets--d'organismes simples ou complexes-- est de permettre l'identification de principes et lois apportant à la biologie les bases nécessaires pour une science quantitative ét prédictive. text/html 2010-05-19T10:54:25+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_4&rev=1274259265&do=diff Structures de données Types inductifs Coq est basé sur un formalisme appelé Calcul des Constructions avec types Inductifs. Deux points de vue possibles: * On se donne les entiers. * On se donne les types inductifs en général (les entiers sont un cas particulier). text/html 2010-05-24T13:49:11+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_7&rev=1274701751&do=diff Preuves de correction (suite) Exemple Démontrons ce théorème d la logique de Hoare : a:= n; b:= m while b<>0 do a:=a+1; b:=b-1 {a=n+m} | {n+m = n+m} a:=n {a+m = n+m} | Axiome 1 | {a+m = n+m} b:=m {a+b = n+m} Axiome 1 {n+m = n+m} a:=n; b:=m {a+b = n+m} R1 vrai => n+m = n+m {vrai} a:=n; b:=m {a+b = n+m= Règle 4 corps de l'itération {a+1+b-1 = n+m} a:= a+1 {a+b-1 = n+m} Axiome 1 {a+b-1 = n+m} b:= b-1 { {a+b = n+m } Axiome 1 {a+1+b-1 = n+m} a:=a+1; b:=b-1 {a+b = n+m} [ Règle 1… text/html 2010-05-27T22:33:46+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_b&rev=1274992426&do=diff Nous avons vu que plusieurs Σ-algèbres pouvaient être associées à une signature Σ. Parmi ces Σ-algèbre certaines ne correspondent pas au type que l'on souhaite spécifier. Par exemple, dans l'interprétation Num4 de Nat, 3 est plus grand que son successeur, ce qui est correcte dans cette algèbre, mais incorrecte dans ce que nous voulions spécifier, le type des entier naturels. text/html 2013-05-12T11:32:54+02:00 https://get-the.net/doku.php?id=lynx:delicious&rev=1368351174&do=diff Delicious.com est en panne souvent depuis l'amélioration de leur application en début de cette année (2013). Puisque j'ai ce wiki, je vais m'en servir (provisoirement?) pour mes liens. Je ne sais pas encore faire ça au mieux pour pouvoir retrouver des liens par étiquette par la suite. Pour démarrer, une page par site? text/html 2013-05-12T11:40:12+02:00 https://get-the.net/doku.php?id=lynx:schipperke&rev=1368351612&do=diff En France Suite à une recherche via Yahoo/Bing, il me semble que chiens-de-france.com (et chiots-de-france.com) et eleveurs-online.com ont des pistes intéressantes. Actuellement 12 mai 2013), des chiots disponibles ou bientôt disponibles chez text/html 2016-03-19T13:27:15+02:00 https://get-the.net/doku.php?id=emacs:install_on_win10&rev=1458390435&do=diff Acquisition J'ai téléchargé l'archive zip d'un serveur relais (mirror) ftp ftp.igh.cnrs.fr/pub/gnu/emacs/windows et téléchargé la signature pour contrôler. This README.W32 file describes how to set up and run a precompiled distribution of GNU Emacs for Windows. You can find the precompiled distribution on the ftp.gnu.org server and its mirrors: ftp://ftp.gnu.org/gnu/emacs/windows/ This server contains other distributions, including the full Emacs source distribution, as well as … text/html 2011-09-03T14:23:53+02:00 https://get-the.net/doku.php?id=emacs:packages&rev=1315052633&do=diff The GNU Emacs Lisp Package Archive is a repository which the GNU Emacs Package Manager can use to simply install or update key emacs packages, such as org-mode. Apparently, according to the Org-mode FAQs it is a standard part of the Emacs 24 distribution, available for easy installation in Emacs 23, too. text/html 2011-05-19T21:50:10+02:00 https://get-the.net/doku.php?id=projet_dch:transactions&rev=1305834610&do=diff L'application sert à gérer des documents fournis par les utilisateurs, à partir de documents squelette fourni par l'administrateur, selon un calendrier de rendu, et avec une gestion de qui fourni quel document quand, qui note quel document quand. Donc, il est fondamentale d'avoir la possibilité text/html 2010-05-27T21:39:41+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_a&rev=1274989181&do=diff Les types sont des éléments importants dans la construction des programmes. Dans cette partie, nous présentons un cadre qui permet de définir formellement les types et les opérations sur les objets de ces types. Ce cadre est celui des spécifications algébriques. text/html 2011-02-08T18:09:48+02:00 https://get-the.net/doku.php?id=m2ilc:coq_2&rev=1297184988&do=diff Rappels Coq Prédicats inductifs boolProp Exemple : parité Inductive even:nat -> Prop:= | even_0: even 0 | even_SS: forall m:nat, even m -> even(S(Sm)) Definition even n:= div2 n = div2(Sn) Une autre façon de définir even (croisée avec odd): text/html 2011-03-11T10:28:29+02:00 https://get-the.net/doku.php?id=m2ilc:fouille_dist_2&rev=1299835709&do=diff " " Préambule : Exemple Netflix * -- fiche de lecture * Lecture complémentaire : * Brewer's 2000 Talk : * Gilbert and Lynch's proof : Netflix : utilisation de S3 en high availability * avantage et inconvénients * application de recommandation text/html 2010-05-25T20:29:59+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_5&rev=1274812199&do=diff Principe Les principaux modèles probabilistes de l'évolution des gènes et génomes sont les modèles de substitution de lettres au cours du temp et leurs extensions aux modèles de substitution de motifs. Il existe quatre hypothèses probabilistes sur le processus de substitution : text/html 2010-01-27T12:41:41+02:00 https://get-the.net/doku.php?id=pcbo&rev=1264592501&do=diff Pour comprendre cette implantation de l'algorithme CbO (ou son dual), voici ma visite commentée du code. FIXME : Attention, ce n'est pas encore finie. Dans ce qui suit, les multiples contrôles ne seront pas mentionnés, seulement le “traitement pur.” text/html 2010-01-01T16:22:35+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_4&rev=1262359355&do=diff Interrogation écrite du 7 décembre 2007, documents non autorisés. Exercice 1 On modélise par une grammaire G un sous-ensemble du français. Les classes des unités lexicales sont {verbe, nom, qui, et, . }. Ces classes sont aussi les symboles terminaux de la grammaire G. L'unité lexicale verbe peut prendre les valeurs: dérange, suit, aime, frappe, et écoute. L'unité lexicale nom peut prendre les valeurs Alphonse, Bastien, Yannick et Hélène. Les unités lexicales qui, et, et . ont une seule vale… text/html 2010-01-04T15:02:26+02:00 https://get-the.net/doku.php?id=m1ilc:compilation_resume_as&rev=1262613746&do=diff Résumé -- Analyse Syntaxique * Il y deux manières de réaliser l'analyse syntaxique : descendante et ascendante. L'analyse descendante cherche à simuler le processus de production; l'analyse ascendante cherche à remonter (défaire) le processus de production. text/html 2010-01-04T15:26:59+02:00 https://get-the.net/doku.php?id=m1ilc:compil_fermetures&rev=1262615219&do=diff Algorithmes de fermeture LL(1) Définitions * ensembles appelés FIRST pour tous les symboles (terminaux, non-terminaux, alternatives) dans G. * Un ensemble appelé FIRST pour chaque queue alternative en G; où une queue alternative est une suite de zéro ou plus symboles si est une alternative ou queue alternative en G. text/html 2010-01-04T16:31:43+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_5&rev=1262619103&do=diff Optimisation de Code Le code intermédiaire généré par un compilateur à la forme suivante. * A quel type de programme correspond ce code intermédiaire? Tri à bulles * Tracer le graphe des flôts * Eliminer les sous-expressions communes * Effectuer une propagation des copies et éliminer le code inutile. * Traiter les variables d'induction et les invariantes de boucle. text/html 2010-01-01T12:40:57+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_7&rev=1262346057&do=diff Classification non-supervisé Regroupement et modélisation Ici, le but est de trouver une description compacte permettant de résumer et décrire des objets à partir des données initiales (copieuses). Ceci s'inscrit dans la fouille exploratoire et descriptive et “summarization” . Des approches peuvent être empruntées: text/html 2009-11-30T13:20:32+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_def_calc&rev=1259583632&do=diff Pour toute machine de Turing M, * on note la fermeture réflexive transitive de . * On dit que la configuration produit la configuration si et seulement si * Un calcul de à partir de est une suite de configurations On dit alors qu'on a un calcul de longueur n, et on note text/html 2009-10-12T09:01:39+02:00 https://get-the.net/doku.php?id=m1ilc:compil_4&rev=1255330899&do=diff SLR (suite) Construction de la Table d'Analyse D'abord on calcule les états: * On commence par placer acc dans la colonne $ de la ligne correspondante à l'état qui contient S' -> S. * On place les reduce : pour chaque état s, on recherche une règle de la form et on place reduce de cette règle dans la case ACTION[s,a] pour tout * On place les shift : à chaque fois qu'on a S'=GOTO[s,X] on place shift s' dans la case GOTO[s,X]. text/html 2009-10-21T21:43:06+02:00 https://get-the.net/doku.php?id=m1ilc:test_upload_pdf&rev=1256154186&do=diff Test Upload Suite à un incident technique voici un test: [un nom change quoi?] text/html 2009-11-03T17:06:15+02:00 https://get-the.net/doku.php?id=m1ilc:fain_2&rev=1257264375&do=diff Connexité (suite) Voir la documentation de Ch. Ronse, notamment * Distances et connexité * Figure et fond Thm de Jordan Une figure fermée (courbe simple du plan) sépare le plan en deux régions : intérieur et extérieur. Pour que cela soit vrai dans le plan discrétisé pour des courbes simples fermées (les bords des zones, objets, ou figures) vérifiant 4-adjacence il faut prendre 8-adjacence pour le fond, et vice versa. text/html 2010-01-04T18:07:34+02:00 https://get-the.net/doku.php?id=m1ilc:compilation&rev=1262624854&do=diff Synoptique Prof Site Cours TP TD ECTS Eric VIOLARD <http://icps.u-strasbg.fr/~violard/> 28h 12h 20h 6 Contenu Structure d'un compilateur. Analyse lexicale. Analyse syntaxique descendante et ascendante. Analyseurs LL(1), SLR (1), LR (1) et LALR (1). Grammaires attribuées et notion d'actions sémantiques. Traitement des erreurs. IV. Production de code intermédiaire. V. Gestion de la table des symboles. VI. Optimisation de code. Génération de code objet. Pre-requis Bonnes co… text/html 2010-01-05T06:39:03+02:00 https://get-the.net/doku.php?id=m1ilc:compil_3&rev=1262669943&do=diff Analyse Syntaxique (2) Analyse Ascendante Ceci conduit à des analyseurs plus puissants au sens où elle réussit avec un sur-ensemble stricte de grammaires. Exemple La grammaire G0 mais sans la multiplication * E -> E + T * E -> T * T -> (E) * T -> id text/html 2010-01-10T16:51:55+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_1&rev=1263138715&do=diff Election (1/2) I) Proposer un algorithme d'élection dans les cas suivants : * Election sur un anneau unidirectionnel * Election sur un arbre couvrant Solution #1 D'abord, comprenons ce que c'est qu'un anneau unidirectionnel : chaque machine à un, et un seul destinataire (dit “successeur”) pour ses messages, et une seule source. Cependant, l'anneau ne suit pas nécessairement une numérotation des machines, ni même des connections physiques (tant qu'il existe un chemin physique pour réalis… text/html 2010-01-10T17:21:16+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_2&rev=1263140476&do=diff Elections (2/2) Election sur un arbre couvrant (suite) Racine initiateur Hypothèses * L'initiateur, est la racine * Communications FIFO, sans perte, par arbre couvrant Principe * envoie REQ à tous ses fils, pour choisir quand toutes les réponse seront remontées. * Chaque fils qui n'est pas feuille transmet à ses fils. * Lorsqu'un processus aura reçu les réponses de tous ses fils, il répondra à son parent la meilleur valeur de ses fils et de lui-même. * Lorsque a reçu toutes … text/html 2010-02-18T13:32:12+02:00 https://get-the.net/doku.php?id=java:nary&rev=1266496332&do=diff L'extraction de concepts par treillis de Galois sur les relations binaires peut être vu comme une spécialisation d'une procédure d'élaboration des intents et extents plus générale. Les Données en Entrée Relation Binaire Lorsqu'on traite un contexte binaire, chaque objet est décrit par la liste de ses attributs, soit sous forme de liste, soit sous forme d'un vecteur binaire ou logique indiquant pour chaque attribut présence ou absence. Les opérations de fermeture sont intersection pour les i… text/html 2010-03-30T22:23:42+02:00 https://get-the.net/doku.php?id=m1ilc:fainbis_scilab&rev=1269980622&do=diff Compte Rendu Suite à quelques difficultés pour faire ce TP ce matin, j'ai constaté que la configuration de l'installation des logiciels chez moi permettait d'aller plus loin. ___________________________________________ scilab-5.1 Consortium Scilab (DIGITEO) Copyright (c) 1989-2009 (INRIA) Copyright (c) 1989-2007 (ENPC) ___________________________________________ Initialisation: Chargement de l'enviro… text/html 2010-01-10T12:30:37+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td2&rev=1263123037&do=diff TD2 Remplissage Tracer un disque On supposera disposer d'une fonction SegHori(x1, x2, y) trançant un segment horizontal. Ecrire un algorithmes qui n'utilise que des opérations sur les entiers pour tracer un disque (constitué de pixels à l'intérieur d'un cercle). text/html 2010-01-10T08:54:38+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td1&rev=1263110078&do=diff FAIN TD 1 Exercice 1 Reconnaitre des figures 4-connexes et 8-connexes. 7 7 bb b b 7 7 6 6 c d 6 6 5 5 c a d 5 5 4 4 c a d 4 4 3 3 c a d 3 3 2 2 c d 2 2 1 1 dd d d d 1 1 0 0 0 0 0 1234567 0 1234567 0 1234567 0 1234567 ensemble 1 ensemble 2 ensemble 3 ensemble 4 * ensemble 1 est 4-connexe, et donc 8-connexe (aussi) * ensemble 2 n'est ni 4-connexe, ni 8-connexe puisque la “barr… text/html 2010-01-06T14:43:50+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_d&rev=1262785430&do=diff III. Complexité Introduction Deux exemples pour rentrer dans le sujet : * Problème du voyageur de commerce. Etant donné une carte routière et une liste de N villes, comment réaliser un circuit qui visite les N villes en parcourant la plus courte distance possible. * Géométrie tortue : void triangle(float x, float y, float d, float h){ if (y+d)<h {tracer(x-d, y+d); triangle(x-d, y+d, d, h); tracer(x+d, y+d); triangle(x+d, y+d, d, h); tracer(x,y);}} . complexité ~ sk avec y+kd < h < y+(k… text/html 2010-01-08T12:54:00+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_3&rev=1262951640&do=diff Election dans un graphe quelconque Maillage complet et diffusion Soit l'algorithme du plus fort (bully algorithme) de Garcia-Molina: Le site initiateur diffuse le message à tous les processus. Puis il attend. A la réception d'un un processus répond text/html 2010-01-08T15:37:54+02:00 https://get-the.net/doku.php?id=m1ilc:fain_1&rev=1262961474&do=diff FAIN : Cours 1 Notions de topologie discrète Définition : une image 2d est représentée par une grille d'affichage I(x,y) telle que I(x,y) définit la couleur d'un pixel de coordonnées (x,y) avec , pixel(x,y) = centre du carré de coté égal à l'unité. text/html 2010-05-16T10:28:40+02:00 https://get-the.net/doku.php?id=mower:project_track&rev=1273998520&do=diff Faut s'organiser, on n'a que peu de temps : si nous développons les même programmes chacun de notre côté, on risque de ne pas ariver à tout finir. Suite à la discussion avec M. Collet au sujet des mouvement en diagonal, abandonnons ces mouvements, qui peuvent encore se produire si les actions droit, bas, droit, bas (par exemple) cycle dans un état : il n'y aura plus que 40 actions pour un état, cinq mouvement précédents possbiles [(-1,0),(0,-1),(0,0),(1,0),(0,1)] fois les huit possibilités arbr…