samedi 26 juillet
April | Agenda du libre | Framasoft | Léa-Linux | Lolix | JeSuisLibre | Eyrolles | LinuxMag | Veni, Vidi, Libri | InLibroVeritas | LinuxGraphic
Faire un don ! | | style | statistiques | contactez-nous | plan | lettre d'information
Accueil :: Dépêches :: Archives :: Proposer une dépêche :: Journaux :: Forums :: Entretiens :: Suivi :: RDF

: Prix Turing 2007 : le "Model checking" a vaincu

Posté par alenvers (). Modéré le 05 février 2008.
Le prix Turing, l'une des plus prestigieuses récompenses sinon la plus prestigieuse dans le domaine de l'informatique, vient d'être décerné à Edmund M. Clarke (de l'université Carnegie Mellon), E. Allen Emerson (Université du Texas) , et Joseph Sifakis (Université de Grenoble, laboratoire Verimag) pour leur travaux sur le "model checking".

Le "model checking" (tel que connu aujourd'hui) a émergé au début des années 1980 avec les travaux de nos trois primés. Ces travaux ont été les initiateurs d'une nouvelle discipline. De nombreux chercheurs et laboratoires leur ont emboîté le pas et le domaine est très rapidement devenu une matière de recherche importante. Cette matière fait partie désormais partie intégrante du cursus de base de toutes les études universitaires en informatique.

Vous trouverez plus de détail dans l'article complet.

> Lire la dépêche (26 commentaires, moyenne: 3,8).  

Vous avez demandé le commentaire #901793.

cursus de base ?

Posté par Olivier Pérès (page perso, ) le 05/02/2008 à 22:50. (lien). Évalué à 3.

Chez nous (Paris Sud), ça fait partie du cursus de base du master 2 recherche. Du reste, les prérequis sont assez costauds : théorie des automates, logique temporelle, probabilités (chaînes de Markov et compagnie)... Le domaine gagnerait à être mieux connu car c'est l'un de ceux où la recherche et l'industrie s'accordent à penser qu'il y a beaucoup à faire.

  • [^]Re: cursus de base ?

    Posté par mirak mirak () le 06/02/2008 à 00:01. (lien). Évalué à 5.

    j'ai étudié tout ça "théorie des automates, logique temporelle, probabilités (chaînes de Markov et compagnie)..." en master 1 et 2
    mais le model checking ça m'évoque rien comme ça, et puis j'ai l'impression d'avoir quasiment tout oublié pourtant ça fait que 2 ans et demi ...

    la logique temporelle c'est vraiment un bon morceau, c'est pas complexe en soit mais la gymanistique du cerveau et de projection dans le temps est assez éprouvante.

    [^]Re: cursus de base ?

    Posté par phentex () le 06/02/2008 à 01:52. (lien). Évalué à 6.

    Chaînes de Markov, réseaux neuronaux.... Miam, ça me rappelle l'époque étudiante où on avait des cours intéressants, on foutait rien à côté, et on arrivait à s'en plaindre.

    --
    ggggnnnnnnnnnnnnnnnnn (interprétation libre)

    • [^]Re: cursus de base ?

      Posté par √λιi () le 06/02/2008 à 10:25. (lien). Évalué à 6.

      Pareil, sauf que je bossais énormément, et que je me plaignais un peu les semaines de 60h de boulot.

      Qu'est ce qu'on est tranquille quand on travaille ;)

      • [^]Re: cursus de base ?

        Posté par mirak mirak () le 06/02/2008 à 22:42. (lien). Évalué à 0.

        c'est clair ...

Run by Team LinuxFr.org

Cette page a été générée par Templeet en 0.0491s (dont 0.0046 de SQL).
Cette page est peut-être conforme xhtml 1.0.
Information sur le site.