Institut national de recherche en informatique et en automatique (INRIA)

29/05/2015

Inria : chacun cherche sa Licorne, en s’exclamant « Reviens Léon »…

« // < ![CDATA[ // < ![CDATA[ (window.NREUM||(NREUM={})).loader_config={xpid:"UAIOUlFTGwEEUlhVAAQ="};window.NREUM||(NREUM={}),__nr_require=function(t,e,n){function r(n){if(!e[n]){var o=e[n]={exports:{}};t[n][0].call(o.exports,function(e){var o=t[n][1][e];return r(o?o:e)},o,o.exports)}return e[n].exports}if("function"==typeof __nr_require)return __nr_require;for(var o=0;od;d++)c[d].apply(f,n);return f}function a(t,e){u[t]=s(t).concat(e)}function s(t){return u[t]||[]}function c(){return n(e)}var u={};return{on:a,emit:e,create:c,listeners:s,_events:u}}function r(){return{}}var o="nr@context",i=t("gos");e.exports=n()},{gos:"7eSDFh"}],ee:[function(t,e){e.exports=t("QJf3ax")},{}],3:[function(t){function e(t,e,n,i,s){try{c?c-=1:r("err",[s||new UncaughtException(t,e,n)])}catch(u){try{r("ierr",[u,(new Date).getTime(),!0])}catch(f){}}return"function"==typeof a?a.apply(this,o(arguments)):!1}function UncaughtException(t,e,n){this.message=t||"Uncaught error with no additional information",this.sourceURL=e,this.line=n}function n(t){r("err",[t,(new Date).getTime()])}var r=t("handle"),o=t(4),i=t("ee"),a=window.onerror,s=!1,c=0;t("loader").features.err=!0,window.onerror=e,NREUM.noticeError=n;try{throw new Error}catch(u){"stack"in u&&(t(5),t(3),"addEventListener"in window&&t(1),window.XMLHttpRequest&&XMLHttpRequest.prototype&&XMLHttpRequest.prototype.addEventListener&&t(2),s=!0)}i.on("fn-start",function(){s&&(c+=1)}),i.on("fn-err",function(t,e,r){s&&(this.thrown=!0,n(r))}),i.on("fn-end",function(){s&&!this.thrown&&c>0&&(c-=1)}),i.on("internal-error",function(t){r("ierr",[t,(new Date).getTime(),!0])})},{1:4,2:7,3:5,4:18,5:6,ee:"QJf3ax",handle:"D5DuLP",loader:"G9z0Bl"}],4:[function(t,e){function n(t){i.inPlace(t,["addEventListener","removeEventListener"],"-",r)}function r(t){return t[1]}var o=(t(1),t("ee").create()),i=t(2)(o),a=t("gos");if(e.exports=o,n(window),"getPrototypeOf"in Object){for(var s=document;s&&!s.hasOwnProperty("addEventListener");)s=Object.getPrototypeOf(s);s&&n(s);for(var…

fléche suivante Lire l'article complet
16/02/2015

BIG DATA : nouvelles partitions de l’information. Actes du séminaire IST Inria, octobre 2014

Sous la coordination de : Lisette Calderan, Pascale Laurent, Hélène Lowinger, Jacques Millet

« … Le Big Data est omniprésent dans les médias. Qualifié de source d’innovation, de richesses, de création d’emplois, d’enjeu démocratique quand il…

fléche suivante Lire l'article complet
16/02/2015

Adacore et l’Inria créent un laboratoire pour démocratiser les méthodes de test formel

« ProofInUse est un nouveau laboratoire créé par Adacore, éditeur de logiciels libres spécialiste du langage Ada, et l’Inria (Institut national de recherche en informatique et automatique). Son objectif : démocratiser les méthodes de test par preuves formelles dans le développement de logiciels critiques (…) »

fléche suivante Lire l'article complet