Il y a 8 années
"Xavier Leroy reçoit le Royal Society Milner Award 2016"
Publié sur Inria, le 20/07/2015
|
Il y a 9 années
"Le langage Picture du MIT pourrait remplacer des milliers de lignes de code"
Tags : apprentissage automatique, code, DARPA, image, inférence statistique, informatique, langage, MIT - Massachusetts Institute of Technology, probabiliste, programmation, Venture
|
Il y a 9 années
"Démocratiser les assistants de preuve"
Publié sur Inria, le 10/02/2015
Tags : assistant de preuve, Coq, Développement, distinction, excellence technologique, informatique, Inria, mathématiques appliquées, programmation, transfert technologique, valorisation de la recherche, vérification
|
Il y a 9 années
"ProofInUse : kickoff meeting"
Publié sur Inria, le 02/02/2015
Tags : AdaCore, application critique, filière, industrie, informatique, Inria, LabCom, laboratoire, langage, mathématiques appliquées, preuve, programmation, ProofInUse, recherche-industrie, Spark, valorisation de la recherche, vérification
|
Il y a 9 années
"Des logiciels pour diminuer la consommation électrique des ordinateurs"
Tags : batterie, consommation, Danemark, efficacité énergétique, électricité, énergie, ENTRA, informatique, logiciel, programmation, projet européen, prototype, soutenabilité, Union européenne, University of Roskilde
|
Il y a 9 années
"Politique scientifique et technologique Le soutien au développement industriel dans les universités renouvelé en 2016"
|
Il y a 9 années
"Des scientifiques estiment que les droits d'auteur sur les API vont étouffer l'innovation"
|
Il y a 9 années
"La médaille d'or 2014 du CNRS est décernée à l'informaticien Gérard Berry"
Publié sur CNRS, le 24/09/2014
|
Il y a 9 années
"Informatique à l'école : deux millions d'élèves américains vont apprendre à coder"
Publié sur ZDNet, le 29/04/2014
|
Il y a 10 années
"Améliorer l'efficacité énergétique des processeurs embarqués"
Publié sur Inria, le 03/12/2013
Tags : Cairn, code, énergie, FPGA, Gecos, HLS, ID.Fix, Inria Rennes - Bretagne, mathématiques appliquées, micro-processeur intégré, Olivier Sentieys, outils, programmation, SoC
|