Edsger Dijkstra

et techniques en rapport avec le traitement de l'information. Dans le parler populaire, l'informatique peut aussi désigner ce qui se rapporte au matériel informatique (l'électronique), et la bureautique. À ce sujet on attribue une phrase à Edsger Dijkstra qui résume assez bien cela : « L'informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des télescopes. (en anglais : Computer science is no more about computers than astronomy is about telescopes.) » Dans

de Ü à Ý on a : ­ ´ ¼ µ ­ ´ µ On définit la matrice Å ´Ñ µ de coût minimum par : ¼ si ½ s’il n’existe pas de chemin de Ü à Ý Ñ Ñ Ò ­´ µ chemin de Ü à Ý Décrivons à présent deux algorithmes de recherche de chemin minimum. 5. Algorithme de Dijkstra ½ ( 1959 ) Numérotons les sommets du graphe de 1 à Ò Cet algorithme calcule le plus court chemin du sommet 1 à tous les sommets du graphe ( il donnera donc la première ligne de la matrice de coût minimum ). On construit un vecteur ´ ´½µ ´¾µ

et encodage des données ► On doit définir comment traiter l'information : algorithme ► On doit faire exécuter cet algorithme par une machine : programmation « Computer Science is no more about computers than astronomy is about telescopes. » Edsger Dijkstra (prix Turing 1972) Licence Informatique - Semestre 2 - Algorithmique et Programmation 2 Algorithmique et Programmation (3/3) sur le papier TYPES ABSTRAITS DE DONNEES EN ENTREE implémenté par ALGORITHME implémenté par TYPES ABSTRAITS DE

d'un programme par des vues instantanées de l'état des variables /NAU66/. Ceci devait conduire Floyd à l'idée d'assertions permettant de donner un sens à un programme /FLO67/. Travaillant sur les problèmes de synchronisation de processus parallèles, Dijkstra introduisit la méthode par raffinements successifs /DIJ68a/, qui devait déboucher sur la programmation descendante /NAU69/, /WIR71/. La stylistique se développa avec la critique de l'usage des GOTO /DIJ68b/. Mais il n'était pas évident que l'on

l'ordinateur. Les premières machines de traitement automatisé étaient des machines mécaniques construites au XVIIe siècle. « La science informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des télescopes1. » — Edsger Dijkstra Apparu dans les années 1950, le secteur d'activité des technologies de l'information et de la communication est lié à la fois à l'informatique, l'électronique et la télécommunication. Les activités sont la production de matériel informatique

en œuvre informatique utilise des files d'attente pour traiter des données qui arrivent de façon asynchrone. Réciproquement pour synchoniser des processus asynchrones on utilise un mécanisme conceptuel appelé sémaphore (informatique) dû à Edsger Dijkstra. Du point de vue du programmeur, une méthode est asynchrone si elle se termine sans attendre de réponse. Ceci peut poser des problèmes lorsqu'on souhaite capturer le contenu du compteur à des moments aléatoires: on risque de mémoriser des résultats

tant que filiation. Développement des applications informatiques La série de livres The Art of Computer Programming de Donald Knuth, publiée à partir des années 1960, fait ressortir les aspects mathématiques de la programmation informatique17. Edsger Dijkstra, Niklaus Wirth et Christopher Strachey travaillent et publient dans le même sens. Ces travaux préfigurent d'importants développements en matière de langage de programmation. L'amélioration de l'expressivité des langages de programmation a permis

de même nature. 5- Développement Des Applications Informatiques La série de livres The Art of Computer Programming de Donald Knuth, publiée à partir des années 1960, fait ressortir les aspects mathématiques de la programmation informatique. Edsger Dijkstra, Niklaus Wirth et Christopher Strachey travaillent et publient dans le même sens. Ces travaux préfigurent d'importants développements en matière de langage de programmation. L'amélioration de l'expressivité des langages de programmation a permis

d’atomicit´ de la s´quence test-modification de occup e e e =⇒ Solutions au probl`me pr´sent´es dans le chapitre suivant e e e 4 4.1 Un m´canisme de synchronisation : le s´maphore e e D´finition des s´maphores e e S´maphore e – Introduit par Edsger Dijkstra en 1965 – S´maphore dit a compteur e ` – Un outil parmi d’autres ... – Accent mis sur la d´finition et les propri´t´s des s´maphores (mise en œuvre examin´e dans e ee e e le chapitre suivant) Un s´maphore s est un objet logique ayant : e – Un attribut

des réseaux, il peut être utile de rappeler brièvement le modèle qui sert à les décrire. Le lecteur familier de ces notions peut sans risque passer à la section suivante. L’architecture en couches a été formulée par le chercheur néerlandais Edsger Wybe Dijkstra (1930–2002) dans un article fameux publié en mai 1968 par les CACM, « The structure of the THE multiprogramming system » [41], pour représenter des systèmes qui relèvent simultanément de plusieurs niveaux d’abstraction. L’idée est d’isoler