Rennes - PDFSEARCH.IO - Document Search Engine

Rennes
Results: 1341

#	Item
131	A Precise and Abstract Memory Model for C using Symbolic Values ∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:19
132	Small Witnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, FRennes, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:30
133	Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer · Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-10-26 09:37:06
134	A Language Modeling Approach to Image Classification Pierre Tirilly1, Vincent Claveau2, Patrick Gros3 1 CNRS/IRISA, Rennes, France; 2CNRS/IRISA, Rennes, France; 3INRIA/IRISA, Rennes, France Add to Reading List Source URL: people.irisa.fr Language: English - Date: 2014-11-04 05:38:17
135	An efficient evaluation scheme for KPIs in regulated urban train systems ´ Bruno Adeline1 , Pierre Dersin1 , Eric Fabre2 , Lo¨ıc H´elou¨et2 , Karim Kecir1,2 1 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2018-01-01 15:51:55
136	COMMUNIQUÉ DE PRESSE REGIONAL I Rennes I 25 janvierFrédérique Viard, Chercheuse en écologie et biologie évolutive, distinguée par la médaille d’argent du CNRS Le mardi 30 janvier à 11h45 Station Biologiq Add to Reading List Source URL: www.dr17.cnrs.fr Language: French - Date: 2018-01-25 10:05:34
137	Jacques-Olivier BOUDIER Professeur de S.V.T. TZR – Zone de VANNES Usage des SIG en SVT Add to Reading List Source URL: espaceeducatif.ac-rennes.fr Language: French - Date: 2010-09-01 09:50:47
138	Computing stack maps with interfaces Fr´ed´eric Besson1 , Thomas Jensen2 , and Tiphaine Turpin3 1 Inria CNRS Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:19
139	MASSICOTTE) Theoretical Experimental Investigation Anisotropic Poster H Add to Reading List Source URL: www.rennes.supelec.fr Language: English - Date: 2009-10-01 09:51:02
140	Protecting a Moving Target: Addressing Web Application Concept Drift The 12th International Symposium on Recent Advances in Intrusion DetectionFederico Maggi, William Robertson, Christopher Krügel, Giovanni Vigna Add to Reading List Source URL: www.rennes.supelec.fr Language: English - Date: 2009-10-01 10:00:37

UPDATE