A la base de l'informatique moderne et des théories de la programmation, cette création d'Alan Turing est l'étalon à partir duquel sont définis les langages d'aujourd'hui.
Le prix Turing à V. Cerf et R. Kahn pour TCP/IP
Le 16 février, le prix Turing 2004, haute récompense de l'informatique, a été décerné par l'ACM (Association for Computing Machinery) à Vinton G. Cerf...
Extension du principe proposé par SSH, le réseau privé virtuel repose sur des protocoles établis, renforçant le principe de sécurité des transmissions.
Un français pour la première fois
Il y a les Prix Nobel, dans 5 domaines [1]. Il y a la médaille Fields, la plus haute distinction en mathématiques [2]. Et il y a le Prix Turing, la récompense la plus élevée en informatique [3].
Le Prix Turing 2007 a été remporté pour la première fois...
Directeur de Recherche au CNRS, Joseph Sifakis vient de recevoir le convoité prix Turing 2007, le prix Nobel de l'informatique.
Le prix Turing 2007 a été attribué à un Français.
La plus haute distinction en informatique, le prix Turing, a été décerné cette année à Joseph Sifakis, directeur de recherche au CNRS, au laboratoire Verimag (CNRS/Université Grenoble 1/Groupe Grenoble INP).
le groupe de travail Protocoles et formats WAI du W3C propose des solutions de rechange aux tests de Turing sur le Web dans un document fraichement mis à jour et fraichement traduit.
Des chercheurs de l'Université Carnegie Mellon ont inauguré cette méthode qu'ils ont appelée CAPTCHA (Completely Automated Public Turing test to Tell Computers and Humans Apart, ou Test de Turing public entièrement automatique pour distinguer les ordinateurs des humains en français) .
Une méthode courante pour limiter l'accès aux services disponibles sur le Web est celle constituée par la vérification visuelle d'une image pixelisée. Elle se révèle un problème majeur pour les utilisateurs qui sont aveugles, souffrent d'une mauvaise vue ou pâtissent d'une difficulté cognitive telle que la dyslexie. Ce document présente quelques solutions potentielles permettant aux systèmes de vérifier la nature humaine de leurs utilisateurs tout en préservant l'accès des personnes handicapées.
Hop un billet rapide à écrire, car après un crash matos m'ayant obligé à reformater, je dois préparer ma certif Cisco ainsi que la soutenance sur le datamining.
Déja, qu'est-ce qu'un CAPTCHA (« Completely Automated Public Turing test to Tell Computers and Humans Apart », soit en français, « test public de Turing complètement automatique ayant pour [...]
Le prix Turing, décerné annuellement, récompense cette année le professeur Barbara Liskov du MIT. C'est la deuxième femme à ...
Le prix Turing, l'équivalent du prix Nobel pour les informaticiens, a été décerné au Français Joseph Sifakis ainsi qu'aux Américains Edmund Clarke et Allen Emerson. Directeur du laboratoire Verimag à Grenoble, Joseph Sifakis est le premier Français récipiendaire de cette distinction. Il est...
La JVM émule un environnement d'exécution complet et standard, afin d'assurer la portabilité des programmes. Décomposition de ses éléments-clefs.
La grille de calcul, c'est l'idée de diviser le temps nécessaire pour parvenir à un résultat en mutualisant les ressources de très nombreuses machines. Comment cela fonctionne-t-il ?
En 50 ans, l'informatique est passée du langage machine à la programmation par contraintes en passant par l'assembleur et les langages proposant une syntaxe lisible proche de l'anglais. Bilan.
Une cérémonie officielle a eu lieu le 23 juin dernier à Paris, en l'honneur du chercheur franco-grec Joseph Sifakis. Ses recherches en informatique et leurs applications dans l'industrie lui ont valu d'être récompensé par le prestigieux prix Turing pour l'année 2007, l'équivalent du Nobel pour l'informatique. L'occasion d'une interview à propos du model checking, la technique pour laquelle il a été récompensé avec deux collègues américains, et ses applications. Un travail réalisé par étapes et commencé en 1981.
