Skip to Main content Skip to Navigation

hal-00202638v1  Journal articles
Pierre AilliotEmmanuel FrénodValérie Monbet. Modeling the Coastal Ocean over a Time Period of Several Weeks
Journal of Differential Equations, Elsevier, 2010, 246 (4), pp.639 - 659. ⟨10.1016/j.jde.2009.11.004⟩
inria-00589812v1  Conference papers
Julien BeaudauxAntoine GallaisTahiry Razafindralambo. Multiple Coverage with Controlled Connectivity in Wireless Sensor Networks
Proceedings of the 7th ACM workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks, Oct 2010, Bodrum, Turkey. ⟨10.1145/1868589.1868592⟩
hal-00531756v1  Journal articles
Aurélie BertauxFlorence Le BerAgnès BraudMichèle Trémolières. Mining Complex Hydrobiological Data with Galois Lattices
International Journal of Computing and Information Sciences (IJCIS), APCEP - Canada, 2010, 7 (2), pp.63--77
hal-00736773v1  Conference papers
Alexandre BilgerCaroline EssertChristian DuriezStéphane Cotin. Brain-shift aware risk map for Deep Brain Stimulation Planning
DBSMC - MICCAI 2012 Workshop on Deep Brain Stimulation Methodological Challenges, Oct 2012, Nice, France
hal-00756242v1  Journal articles
Mihai Bostan. Boundary value problems for the stationary Nordström-Vlasov system
Journal of the Korean Mathematical Society, The Korean Mathematical Society, 2010, 47 (4), pp.743-766. ⟨10.4134/JKMS.2010.47.4.743⟩
hal-01695035v1  Conference papers
Benoît CaldairouNicolas PassatBenoît Naegel. Attribute-filtering and knowledge extraction for vessel segmentation
International Symposium on Visual Computing (ISVC), 2010, Las Vegas, United States. pp.13-22, ⟨10.1007/978-3-642-17289-2_2⟩
hal-00664339v1  Conference papers
Philippe ClaussAlexandra Jimborean. Does dynamic and speculative parallelization enable advanced parallelizing and optimizing code transformations?
DCE - 1st International Workshop on Dynamic compilation from SoC to Web Browser via HPC, in conjonction with HiPEAC 2012, Henri-Pierre Charles and Philippe Clauss and Frédéric Pétrot, Jan 2012, Paris, France
hal-00643446v1  Directions of work or proceedings
Pierre ColletNicolas MonmarchéPierrick LegrandMarc SchoenauerEvelyne Lutton. Evolution Artificielle 2009
Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton. LNCS 5975, Springer, pp.163, 2010, 978-3-642-14155-3
hal-00714875v1  Conference papers
Dominique ColnetBenoit Sonntag. Analyse simple de types dans les tableaux et optimisation du ramasse-miettes.
Conférence en IngénieriE du Logiciel - CIEL 2012, Jun 2012, Rennes, France. pp.1-15
hal-00655485v1  Conference papers
Bruno Cuervo ParrinoJulien NarbouxEric ViolardNicolas Magaud. Dealing with arithmetic overflows in the polyhedral model
IMPACT 2012 - 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France
inria-00504027v1  Conference papers
Jean-François DufourdYves Bertot. Formal study of plane Delaunay triangulation
Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.211-226
hal-00638546v1  Journal articles
Emmanuel Frénod. Two-Scale Convergence
ESAIM: Proceedings, EDP Sciences, 2012, 38, pp.1--35. ⟨10.1051/proc/201238002⟩
hal-00616372v1  Conference papers
Ahmed Gamal EldinFabien SalzensteinChristophe Collet. Hidden fuzzy Markov chain model with K discrete classes
Information Sciences Signal Processing and their Applications (ISSPA), May 2010, Kuala Lumpur, Malaysia
hal-00498545v1  Conference papers
Corinne GracAgnès BraudFlorence Le BerMichèle Trémolières. Un système d'information pour le suivi et l'évaluation de la qualité des cours d'eau
Actes du 3ème atelier " Systèmes d'Information et de Décision pour l'Environnement" - SIDE 2010 - Congrès Inforsid, 2010, Marseille, France. pp.12--21
hal-00664353v1  Conference papers
Alexandra JimboreanPhilippe ClaussBenoit PradelleLuis MastrangeloVincent Loechner. Adapting the Polyhedral Model as a Framework for Efficient Speculative Parallelization
PPoPP - 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States
hal-00664345v1  Conference papers
Alexandra JimboreanLuis MastrangeloVincent LoechnerPhilippe Clauss. VMAD: an Advanced Dynamic Program Analysis & Instrumentation Framework
CC - 21st International Conference on Compiler Construction, Mar 2012, Tallinn, Estonia. pp.220-237
inria-00502813v1  Conference papers
Alain KetterlinPhilippe Clauss. Recovering the Memory Behavior of Executable Programs
10th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM, Sep 2010, Timisoara, Romania