French Institute for Research in Computer Science and Automation - PDFSEARCH.IO - Document Search Engine

French Institute for Research in Computer Science and Automation
Results: 14

#	Item
1	Mjolnir Computing tools to empower users Web site: http://mjolnir.lille.inria.fr/ Contact: 2015 Add to Reading List Source URL: mjolnir.lille.inria.fr Language: English - Date: 2016-05-03 10:09:48 Humancomputer interaction American people of German descent Douglas Engelbart Futurologists LemelsonMIT Prize Phi Kappa Phi French Institute for Research in Computer Science and Automation Academia Computer science
2	Microsoft Word - SGP09_CfP.doc Add to Reading List Source URL: sgp09.mi.fu-berlin.de Language: English - Date: 2009-04-14 12:49:45 Academia Computer scientists Symposium on Geometry Processing Craig Gotsman Markus Gross Free University of Berlin Geometry processing Abstract management Computer graphics Eurographics ETH Zurich French Institute for Research in Computer Science and Automation
3	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-04-05 14:57:15 Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt
4	3DVDesign : Communication Depatement Inria Grenoble - Rhône-Alpes DecCopyright : CC BY-SA 3.0 International Conference on 3D Vision Add to Reading List Source URL: 3dv2015.webconf.inrialpes.fr Language: English - Date: 2015-04-14 10:56:31 Piscataway New Jersey French Institute for Research in Computer Science and Automation Theoretical computer science Grenoble Institute of Electrical and Electronics Engineers Xplore Politics of France Academia France
5	LiquidXML: Adaptive XML Content Redistribution Jesús Camacho-Rodríguez, Asterios Katsifodimos, Ioana Manolescu, Alexandra Roatis Leo Team - INRIA Saclay & Université de Paris-Sud XI The LiquidXML Platform Add to Reading List Source URL: www.user.tu-berlin.de Language: English - Date: 2016-07-21 07:25:51 File sharing French Institute for Research in Computer Science and Automation Theoretical computer science Peer-to-peer Academia
6	Daniel Augot’s one page curriculum vitæ (as of October, 3rd 2013) • Contact address: INRIA Saclay–ˆIle-de-France & LIX Bˆ atiment Alan Turing 1 rue Honor´e d’Estienne d’Orves Add to Reading List Source URL: pages.saclay.inria.fr Language: English - Date: 2013-10-03 04:36:34 French Institute for Research in Computer Science and Automation Theoretical computer science Pierre and Marie Curie University cole Polytechnique
7	Copy of EuroVA Sessions.xlsx Add to Reading List Source URL: www.eurova.org Language: English - Date: 2015-05-05 05:57:39 Computer graphics Computational science Infographics Fraunhofer Society Visual analytics French Institute for Research in Computer Science and Automation Visualization Fachhochschule
8	Hashconsing in an Incrementally Garbage-Collected System Pascal Cuoq (CEA LIST) Damien Doligez (INRIA) Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-09-21 20:02:44 Damien Doligez Pointer French Institute for Research in Computer Science and Automation
9	ERCIM European Research Consortium for Informatics and Mathematics European Research Add to Reading List Source URL: kybele.escet.urjc.es Language: English - Date: 2003-03-05 08:21:15 Web development World Wide Web Consortium Informatics French Institute for Research in Computer Science and Automation Swedish Institute of Computer Science ERCIM Cor Baayen Award
10	Some uses of Caml in industry Xavier Leroy INRIA Paris-Rocquencourt CUFP 2007 Add to Reading List Source URL: cufp.org Language: English - Date: 2014-05-11 14:35:46 Functional languages OCaml French Institute for Research in Computer Science and Automation Caml ML Xavier Leroy