Skip to Main content Skip to Navigation

inria-00529836v1  Conference papers
Jean-Baptiste TristanXavier Leroy. A simple, verified validator for software pipelining
37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Jan 2010, Madrid, Spain. ⟨10.1145/1706299.1706311⟩
inria-00529848v1  Book sections
Xavier Leroy. Mechanized semantics
J. Esparza and B. Spanfelner and O. Grumberg. Logics and languages for reliability and security, 25, IOS Press, pp.195-224, 2010, NATO Science for Peace and Security Series D: Information and Communication Security, ⟨10.3233/978-1-60750-100-8-195⟩
tel-00833311v1  Theses
Marta Gîrdea. New methods for biological sequence alignment
Bioinformatics [q-bio.QM]. Université des Sciences et Technologie de Lille - Lille I, 2010. English
inria-00530012v1  Conference papers
Jörn FrankeFrançois CharoyPaul El Khoury. Collaborative Coordination of Activities with Temporal Dependencies
18th International Conference on Cooperative Information Systems (COOPIS'2010) / OnTheMove (OTM) Conferences, Oct 2010, Crete, Greece
hal-00530076v1  Conference papers
Florent BerthautMyriam Desainte-CatherineMartin Hachet. Combining audiovisual mappings for 3D musical interaction
International Computer Music Conference, Jun 2010, New york, United States. p 100
hal-00530071v1  Conference papers
Florent BerthautMyriam Desainte-CatherineMartin Hachet. Drile: An Immersive Environment for hierarchical live-looping
New Interface for Musical Expression, Jun 2010, Sydney, Australia. page 192
hal-00435233v2  Conference papers
Mohamed HallabBruno DelpratAlain Lelu. Codage et classification non supervisée d'un corpus maya : extraire des contextes pour situer l'inconnu par rapport au connu
Extraction et Gestion de Connaissances - EGC 2010, Jan 2010, Sousse, Tunisie. pp.573-584
hal-02277448v1  Journal articles
B. RadiAbel CherouatA. El HamiMahfoudh Ayadi. Optimization technics to identify the characteristics of a hydroformed structure
International Journal for Simulation and Multidisciplinary Design Optimization, EDP sciences/NPU (China), 2010, 4 (1), pp.39-47. ⟨10.1051/ijsmdo/2010006⟩
hal-01292620v1  Conference papers
Jean-Charles FaugèreJoachim GathenLudovic Perret. Decomposition of Generic Multivariate Polynomials
ISSAC 2010 - 35th International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.131-137, ⟨10.1145/1837934.1837963⟩
inria-00610749v1  Conference papers
Zainab AssaghirMehdi KaytoueAmedeo NapoliHenri Prade. Organisation de la fusion d'information avec l'analyse formelle de concepts
Rencontres francophones sur la Logique Floue et ses Applications - LFA 2010, Enssat, Nov 2010, Lannion, France
inria-00601234v1  Conference papers
Kondo-Hloindo AdjallahNancy Vargas LozanoHichem Snoussi. Sensors Network Management for Health Condition Data Coverage on Large-scale Infrastructures
First IFAC Workshop on Advanced Maintenance Engineering, Services and Technology - A-MEST'10, Jul 2010, Lisbon, Portugal. ⟨10.3182/20100701-2-PT-4012.00021⟩
hal-02304399v1  Conference papers
David HewsonNeeraj SinghHichem SnoussiJacques Duchene. Classification of elderly as fallers and non-fallers using Centre of Pressure velocity
2010 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2010), Aug 2010, Buenos Aires, Argentina. pp.3678-3681, ⟨10.1109/IEMBS.2010.5627649⟩
hal-00867201v1  Journal articles
Tarik KousksouPascal Bruel. Encapsulated phase change material under cyclic pulsed heat load
International Journal of Refrigeration, Elsevier, 2010, 33, pp.1648--1656
inria-00589361v1  Journal articles
Patrick HéasDominique HeitzEtienne Mémin. La turbulence par l'image
La Recherche : l'actualité des sciences, société d'éditions scientifiques, 2010, 444
inria-00629556v1  Journal articles
Christelle Caillouet. Optimization of the Capacity of Wireless Mesh Networks
4OR: A Quarterly Journal of Operations Research, Springer Verlag, 2010, 8 (4), pp.425-428. ⟨10.1007/s10288-010-0132-x⟩
hal-00539471v1  Journal articles
A. DuclosN. VoirinS. TouzetP. SoardoA.M. Schott et al.  Crude versus case-mixadjusted control charts for safety monitoring in thyroid surgery
Quality and Safety in Health Care, BMJ Publishing Group, 2010, --, pp.1-5
hal-01290827v1  Conference papers
Swan DuboisToshimitsu MasuzawaSébastien Tixeuil. On Byzantine Containment Properties of the min+1 Protocol
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.96-110, ⟨10.1007/978-3-642-16023-3_10⟩
inria-00516580v1  Conference papers
Bruno PinaudPascale Kuntz. GVSR: an On-Line Guide for Choosing a Graph Visualization Software
18th International Symposium on Graph Drawing, Sep 2010, Constance, Germany. pp.400-401, ⟨10.1007/978-3-642-18469-7_41⟩
hal-00516446v1  Book sections
Frank CézillyD. Allaine. La sélection sexuelle.
F. Thomas, T. Lefèvre & M. Raymond. Biologie évolutive, De Boeck, pp.387-422, 2010
tel-00567851v1  Theses
Joaquin Zepeda Salvatierra. New sparse representation methods; application to image compression and indexing
Human-Computer Interaction [cs.HC]. Université Rennes 1, 2010. English
inria-00516575v1  Conference papers
Fei HeLei ZhuWilliam HungXiaoyu SongMing Gu. Compositional Abstraction Refinement for Timed Systems
IEEE International Symposium on Theoretical Aspects of Software Engineering, Aug 2010, Taipei, Taiwan
inria-00448729v2  Conference papers
Andreas EngeAndrew V. Sutherland. Class invariants by the CRT method
Ninth Algorithmic Number Theory Symposium ANTS-IX, Jul 2010, Nancy, France. pp.142-156, ⟨10.1007/978-3-642-14518-6_14⟩
inria-00620107v1  Conference papers
François Lamarche. Axioms and Models for Concrete Homotopy
CT2010 International Category Theory Conference, Bob Rosebrugh, Jun 2010, Genova, Italy
inria-00516858v1  Conference papers
Jian-Qi Li. A Computability Path Ordering for Polymorphic Terms - Short Paper
25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom
hal-00516865v1  Conference papers
Alain LeluMartine Cadot. Espace intrinsèque d'un graphe et recherche de communautés
Première conférence sur les Modèles et l'Analyse des Réseaux : Approches Mathématiques et Informatique - MARAMI 2010, Oct 2010, Toulouse, France. pp.1
inria-00493005v2  Conference papers
Álvaro FialhoRaymond RosMarc SchoenauerMichèle Sebag. Comparison-based Adaptive Strategy Selection with Bandits in Differential Evolution
11th International Conference on Parallel Problem Solving From Nature - PPSN, Sep 2010, Krakow, Poland
hal-00516453v1  Book sections
D. AllaineFrank Cézilly. Evolution et typologie des régimes d'appariement.
F. Thomas, T. Lefèvre & M. Raymond. Biologie évolutive, De Boeck, pp.423-452, 2010
inria-00516396v1  Conference papers
Maha Idrissi AouadRené SchottOlivier Zendra. Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems
ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies, Jul 2010, Athens, Greece. pp.394-402
hal-00516998v1  Conference papers
Alexandre Denis. Reference reversibility with Reference Domain Theory
Proceedings of the 11th annual SIGdial Meeting on Discourse and Dialogue - SIGDIAL 2010, Sep 2010, Tokyo, Japan
inria-00516990v1  Reports
Renaud Marlet. Tempo Documentation - Interacting with a C Program Specializer
[Technical Report] RT-0390, INRIA. 2010, pp.149
inria-00517011v1  Conference papers
Alain DutechEtienne CoutureauAlain Marchand. Reinforcement Learning Approaches to Instrumental Contingency Degradation in Rats
Conférence Française de Neurosciences Computationnelles - NeuroComp 2010, Oct 2010, Lyon, France
inria-00517006v1  Conference papers
Emmanuel DaucéAlain Dutech. Online Learning with Noise: A Kernel-Based Policy-Gradient Approach
Conférence Française de Neurosciences Computationnelles - NeuroComp 2010, Oct 2010, Lyon, France
inria-00516906v1  Conference papers
Jean-Pierre JouannaudPierre-Yves StrubLianyi Zhang. Certification of SAT Solvers in Coq
Guangzhou Symposium on Satisfiability in Logic-Based Modeling, Yuping Shen, Institute of Logic and Cognition Sun Yat-sen University, Guangzhou., Sep 2010, Zuhai, China
inria-00479537v1  Conference papers
Stéphane CaronFrédéric GiroireDorian MazauricJulian MonteiroStéphane Pérennes. P2P Storage Systems: Data Life Time for Different Placement Policies
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France
tel-00516422v1  Theses
Pierre Tirilly. Traitement automatique des langues pour l'indexation d'images
Interface homme-machine [cs.HC]. Université Rennes 1, 2010. Français
inria-00516725v1  Conference papers
Santosh K.C.Laurent WendlingBart Lamiroy. Using Spatial Relations for Graphical Symbol Description
20th International Conference on Pattern Recognition - ICPR 2010, Aug 2010, Istanbul, Turkey. pp.2041 - 2044, ⟨10.1109/ICPR.2010.503⟩
hal-00619823v1  Book sections
Jacqueline BourdeauMonique Grandbastien. Modeling Tutoring Knowledge
Nkambou R., Mizoguchi R., Bourdeau J. Advances in Intelligent Tutoring Systems, Springer, pp.123-143, 2010, Studies in Computational Intelligence, volume 308, ⟨10.1007/978-3-642-14363-2⟩
inria-00516724v1  Book sections
Santosh K.C.Laurent WendlingBart Lamiroy. Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
Jean-Marc Ogier, Wenyin Liu and Josep Lladós. Graphics Recognition. Achievements, Challenges, and Evolution, 6020, Springer Berlin / Heidelberg, pp.163-174, 2010, Lecture Notes in Computer Science, 978-3-642-13728-0. ⟨10.1007/978-3-642-13728-0_15⟩
inria-00516726v1  Conference papers
Santosh K.C.Cholwich NatteeBart Lamiroy. Spatial Similarity based Stroke Number and Order Free Clustering
International Conference on Frontiers in Handwriting Recognition, Nov 2010, Kolkata, India
inria-00516712v1  Book sections
Bart LamiroyYassine Guebbas. Robust and Precise Circular Arc Detection
Jean-Marc Ogier, Wenyin Liu, Josep Lladós. Graphics Recognition. Achievements, Challenges, and Evolution, 6020, Springer-Verlag, pp.49-60, 2010, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-13728-0_5⟩
inria-00516708v1  Conference papers
Anne EtienAlexis MullerThomas LegrandXavier Blanc. Combining Independent Model Transformations
ACM Symposium On Applied Computing (SAC), Mar 2010, Sierre, Switzerland. pp.2237-2243, ⟨10.1145/1774088.1774557⟩
inria-00524974v1  Conference papers
Maha Idrissi AouadLhassane IdoumgharRené SchottOlivier Zendra. Sequential and Distributed Hybrid GA-SA Algorithms for Energy Optimization in Embedded Systems
the IADIS International Conference Applied Computing 2010, Oct 2010, Timisoara, Romania. pp.167-174
inria-00577167v1  Conference papers
Olivier BlazyGeorg FuchsbauerMalika IzabachèneAmandine JambertHervé Sibert et al.  Batch Groth-Sahai
Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, Jun 2010, Beijing, China. pp.218-235, ⟨10.1007/978-3-642-13708-14⟩
inria-00524975v1  Conference papers
Maha Idrissi AouadLhassane IdoumgharRené SchottOlivier Zendra. Reduction of Energy Consumption in Embedded Systems: A Hybrid Evolutionary Algorithm
META'10 - 3rd International Conference on Metaheuristics and Nature Inspired Computing, Oct 2010, Djerba, Tunisia
hal-00525030v1  Conference papers
François Pellegrini. Graph partitioning and ordering for sparse matrix factorization
MUMPS User Group Meeting, Apr 2010, Toulouse, France
hal-00780066v1  Conference papers
Alin BostanShaoshi ChenFrédéric ChyzakZiming Li. Complexity of Creative Telescoping for Bivariate Rational Functions
ISSAC'10 - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.203-210
inria-00524976v1  Conference papers
Lhassane IdoumgharMaha Idrissi AouadMahmoud MelkemiRené Schott. Metropolis Particle Swarm Optimization Algorithm with Mutation Operator For Global Optimization Problems
IEEE-ICTAI 2010 (22th International Conference on Tools with Articial Intelligence), Oct 2010, Arras, France. pp.35-42
inria-00525003v1  Conference papers
Imran Rafiq QuadriSamy MeftaliJean-Luc Dekeyser. Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation
Conference on Design and Architectures for Signal and Image Processing (DASIP 2010), Oct 2010, Edinburgh, United Kingdom
inria-00493386v1  Conference papers
Hervé LocteauSébastien MacéSalvatore TabboneErnest Valveny. Extraction des pièces d'un plan d'habitation
Colloque International Francophone sur l'Écrit et le Document - CIFED 2010, Mar 2010, Sousse, Tunisie. pp.1-12
inria-00493389v1  Conference papers
Guang TanHongbo JiangShengkai ZhangAnne-Marie Kermarrec. Connectivity-based and Anchor-Free Localization in Large-Scale 2D/3D Sensor Networks
ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), Sep 2010, Chicago, United States
inria-00525187v1  Conference papers
Sorin Stratulat. Integrating Implicit Induction Proofs into Certified Proof Environments
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.320-335
inria-00492968v1  Conference papers
Pierre Michaud. The 3P and 4P cache replacement policies
JWAC 2010 - 1st JILP Worshop on Computer Architecture Competitions: cache replacement Championship, Jun 2010, Saint Malo, France
inria-00577140v1  Conference papers
Marc JoyeMehdi TibouchiDamien Vergnaud. Huff's Model for Elliptic Curves
Algorithmic Number Theory, 9th International Symposium, ANTS-IX, Jul 2010, Nancy, France. pp.234-250, ⟨10.1007/978-3-642-14518-6_20⟩
hal-00524816v1  Journal articles
Matthew DobsonClaude Le BrisFrédéric Legoll. Symplectic schemes for highly oscillatory Hamiltonian systems with varying fast frequencies
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2010, 348 (17-18), pp.1033-1038. ⟨10.1016/j.crma.2010.08.005⟩
hal-00524819v1  Journal articles
Ronan CostaouecClaude Le BrisFrédéric Legoll. Approximation numérique d'une classe de problèmes en homogénéisation stochastique
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2010, 348 (1-2), pp.99--103. ⟨10.1016/j.crma.2009.10.027⟩
inria-00492997v1  Conference papers
Erven RohouThierry Lafage. The Pitfalls of Benchmarking with Applications
MoBS 2010 - Sixth Annual Workshop on Modeling, Benchmarking and Simulation, Jun 2010, Saint Malo, France
hal-01179840v1  Conference papers
Nadine PeyriérasPaul Bourgine. Cell tracking of development using 2-photon scanning and light sheet imaging
18th Biennial Meeting of the International-Society-for-Developmental-Neuroscience, International society for developmental neuroscience, Jun 2010, Estoril, Portugal. pp.653
inria-00577142v1  Conference papers
Aurélie BauerJean-Sébastien CoronDavid NaccacheMehdi TibouchiDamien Vergnaud. On The Broadcast and Validity-Checking Security of PKCS #1 v1.5 Encryption
Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, Jun 2010, Beijing, China. pp.1-18, ⟨10.1007/978-3-642-13708-2_1⟩
inria-00577145v1  Conference papers
Georg FuchsbauerDamien Vergnaud. Fair Blind Signatures without Random Oracles
Africacrypt 2010, May 2010, Stellenbosch, South Africa. pp.16-33, ⟨10.1007/978-3-642-12678-9_2⟩
hal-00524994v1  Book sections
François Pellegrini. Parallélisation du partitionnement de graphes
Charles-Edmond Bichot et Patrick Siarry. Partitionnement de graphe, Hermes-Lavoisier, pp.107--144, 2010, IC2 - Traité Informatique et Systèmes d'Information
inria-00525004v1  Conference papers
Sana CherifImran Rafiq QuadriSamy MeftaliJean-Luc Dekeyser. Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis
13th Euromicro Conference on Digital System Design (DSD 2010), Sep 2010, Lille, France
hal-00525029v1  Conference papers
François Pellegrini. PT-Scotch in Solstice and beyond: where to go now
Sparse Days and ANR SOLSTICE Final Workshop, Jun 2010, Toulouse, France
inria-00524987v1  Conference papers
Mouna BakloutiPhilippe MarquetJean-Luc DekeyserMohamed Abid. Reconfigurable Communication Networks in a Parametric SIMD Parallel System on Chip
6th International Symposium on Applied Reconfigurale Computing, ARC 2010, Mar 2010, Bangkok, Thailand. pp.110-121, ⟨10.1007/978-3-642-12133-3_12⟩
inria-00525020v1  Book sections
Imran Rafiq QuadriMajdi ElhajiSamy MeftaliJean-Luc Dekeyser. From MARTE to Reconfigurable NoCs: A model driven design methodology
Jih-Sheng Shen. Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication, IGI Global, 2010, 1615208070
hal-00525028v1  Conference papers
François Pellegrini. Current challenges for parallel graph partitioning and static mapping
Parallel Matrix Algorithms and Applications, Jun 2010, Bâle, Switzerland
tel-00525125v1  Theses
Jérôme Baril. Modèles de représentation multi-résolution pour le rendu photo-réaliste de matériaux complexes
Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2010. Français
hal-00627228v1  Conference papers
Paul VigneauxDidier BreschEnrique D. Fernandez-NietoIoan Ionescu. Augmented Lagrangian / well-balanced finite volume method for compressible viscoplastic flows
Sixth International Conference on Computational Fluid Dynamics, ICCFD6, Jul 2010, St-Petersburg, Russia. pp.271-277
hal-00627255v1  Conference papers
Paul Vigneaux. Une méthode couplée Lagrangien Augmenté - Volumes-Finis appliquée aux avalanches de neige dense
CANUM 2010 - 40e Congrès National d'Analyse Numérique, May 2010, Bordeaux, France
hal-00627206v1  Conference papers
Paul Vigneaux. A coupled Augmented Lagrangian/Finite Volume method for a compressible Bingham system
Chinese-French Research Institute on Stress Tensor Effects on Fluid Mechanics, Jan 2010, Beijing, China
inria-00493387v1  Conference papers
Anne-Marie KermarrecGuang Tan. Greedy Geographic Routing in Large-Scale Sensor Networks: A Minimum Network Decomposition Approach
ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), Sep 2010, Chicago, United States
inria-00493393v1  Conference papers
Sébastien MacéHervé LocteauErnest ValvenySalvatore Tabbone. A System to Detect Rooms in Architectural Floor Plan Images
IAPR International Workshop on Document Analysis Systems - DAS 2010, Jun 2010, Boston, MA, United States. pp.167-174
inria-00525165v1  Patents
France, Patent n° : PCT/FR2010/050103. 2010