Browse by Tags

Tagged Content List
  • Blog Post: Dallas, ton univers de données impitoyable

    Nous interrompons notre programme habituel pour vous parler d’une des annonces les moins remarquées de la PDC : le projet Dallas. Ceux qui l’ont entendue (après tout, elle était émise de Washington, donc forcément importante) ne l’ont généralement pas comprise. Niels par exemple, a joué avec le bébé...
  • Blog Post: L’agenda des Techdays est finalisé: voici comment on l’a fait

    Il sera en ligne bientôt sur www.mstechdays.fr . En attendant, Pascal nous raconte comment il a fait :     La solution trouvée répond à 99.4% des contraintes exprimées
  • Blog Post: Outils de vérification à Microsoft

    Une conférence de Rustan Leino du groupe « Research in Software Engineering » de MSR Redmond aura lieu le 15 janvier à 10 :30 à l’Université d’Orsay. C’est bien sur public, ouvert à tous! Détails à : http://www.inria.fr/saclay/actualites/conf-rustan-leino Program verification and other symbolic-execution...
Page 1 of 1 (3 items)