Skip to Main content Skip to Navigation

hal-00764320v1  Conference papers
Karam AbdulahhadJean-Pierre ChevalletCatherine Berrut. Solving Concept mismatch through Bayesian Framework by Extending UMLS Meta-Thesaurus
CORIA 2011 - COnférence en Recherche d'Information et Applications, Mar 2011, Avignon, France. pp.311-326
hal-00764761v1  Conference papers
Karam AbdulahhadJean-Pierre ChevalletCatherine Berrut. Multi-facet Document Representation and Retrieval
CLEF 2011 - Conference on Multilingual and Multimodal Information Access Evaluation, Sep 2011, Amsterdam, Netherlands. 9p
hal-00767056v1  Conference papers
Karam AbdulahhadJean-Pierre ChevalletCatherine Berrut. The Effective Relevance Link between a Document and a Query
DEXA 2012 - International Conference on Database and Expert Systems Applications, Sep 2011, Vienna, Austria. pp.206-218, ⟨10.1007/978-3-642-32600-4_16⟩
hal-00764330v1  Conference papers
Karam AbdulahhadJean-Pierre ChevalletCatherine Berrut. Exploiting and Extending a Semantic Resource for Conceptual Indexing
RISE 2011 - Atelier Recherche d'Information SEmantique (associé à la 8e édition de CORIA), Mar 2011, Avignon, France. pp.22-28
hal-00690769v1  Conference papers
Sami AchourMeher AmmarBoubaker KhmiliWahid Nasri. MPI-PERF-SIM: Towards an automatic performance prediction tool of MPI programs on hierarchical clusters
PDP 2011 : 19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2011, Ayia Napa, Cyprus. pp.207-211, ⟨10.1109/PDP.2011.49⟩
hal-00762531v1  Conference papers
Rami AlbatalPhilippe MulhemYves Chiaramella. Modélisation de l'extraction des descripteurs visuels - Intégration de relations topologiques
CORIA 2011 - COnférence en Recherche d'Information et Applications, Mar 2011, Avignon, France. pp.215-230
hal-00762711v1  Conference papers
Rami AlbatalBahjat SafadiGeorges QuénotPhilippe Mulhem. LIG-MRIM at Image Photo Annotation Task in ImageCLEF 2011
CLEF 2011 - Conference on Multilingual and Multimodal Information Access Evaluation, Sep 2011, Amsterdam, Netherlands. 8p
inria-00589200v1  Book sections
Jérémie AllardHadrien CourtecuisseFrançois Faure. Implicit FEM Solver on GPU for Interactive Deformation Simulation
Wen-mei W. Hwu. GPU Computing Gems Jade Edition, Elsevier, pp.281-294, 2011, Applications of GPU Computing Series, 9780123859631. ⟨10.1016/B978-0-12-385963-1.00021-6⟩
hal-00903734v1  Conference papers
Xin AnAbdoulaye GamatiéEric Rutten. Safe Design of Dynamically Reconfigurable Embedded Systems
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00
hal-00788771v1  Journal articles
Jonatha AnselmiBruno Gaujal. The Price of Forgetting in Parallel and Non-Observable Queues
Performance Evaluation, Elsevier, 2011, 68 (12), pp.1291-1311. ⟨10.1016/j.peva.2011.07.023⟩
hal-00788800v1  Conference papers
Jonatha AnselmiBruno Gaujal. On the efficiency of perfect simulation in monotone queueing networks
IFIP Performance: 29th International Symposium on Computer Performance, Modeling, Measurements and Evaluation, 2011, Amsterdam, Netherlands. pp.56-58, ⟨10.1145/2034832.2034847⟩
hal-00788764v1  Journal articles
F. AraujoJ. FarinhaPatricio DominguesG. C. SilaghiDerrick Kondo. A Maximum Independent Set Approach for Collusion Detection in Voting Pools
Journal of Parallel and Distributed Computing, Elsevier, 2011, 71 (10), pp.1356-1366. ⟨10.1016/j.jpdc.2011.06.004⟩
inria-00599596v1  Conference papers
Soraya AriasJuan Lahera-PerezAmaury NègreNicolas Turro. Evolution of the robotic control frameworks at INRIA Rhône-Alpes
CAR 2011 - 6th National Conference on Control Architectures of Robots, INRIA Grenoble Rhône-Alpes, May 2011, Grenoble, France. 8 p
hal-00944532v1  Conference papers
Pablo ArrighiRenan FargettonVincent NesmeEric Thierry. Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata
Models of Computation in Context - 7th Conference on Computability in Europe, 2011, Sofia, Bulgaria. pp.1-10
hal-00944504v1  Conference papers
Pablo ArrighiVincent Nesme. A simple block representation of reversible cellular automata with time-symmetry
17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Local proceedings
hal-00944522v1  Journal articles
Pablo ArrighiVincent NesmeReinhard F. Werner. One-Dimensional Quantum Cellular Automata
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (4), pp.223-244
hal-00944517v1  Journal articles
Pablo ArrighiVincent NesmeReinhard F. Werner. Unitarity plus causality implies localizability
Journal of Computer and System Sciences, Elsevier, 2011, 77 (2), pp.372-378
hal-00944544v1  Conference papers
Pablo ArrighiGilles Dowek. The physical Church-Turing thesis and the principles of quantum theory
QIPC, 2011, Zurich, Switzerland. Local proceedings
hal-00924926v1  Conference papers
Pablo ArrighiAlejandro Díaz-CaroBenoît Valiron. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩
hal-00742991v1  Book sections
Sujeevan AseervathamÉric GaussierAnestis AntoniadisMichel BurletYves Denneulin. Régression logistique et catégorisation de textes
Eric Gaussier, François Yvon. Modèles statistiques pour l'accès à l'information textuelle, HERMÈS / LAVOISIER, pp.97-122, 2011, Recherche d'information et web, ISBN 10 : 2746224976; ISBN 13 : 9782746224971
hal-00748665v1  Conference papers
Pierre-Alain AvouacLaurence NigayPhilippe Lalanda. Towards Autonomic Multimodal Interaction
MAASC'11 - Workshop on Middleware and Architectures for Autonomic and Sustainable Computing, May 2011, Paris, France. pp.25-29, ⟨10.1145/2034649.2034653⟩
inria-00625492v1  Conference papers
Olivier AycardTrung-Dung VuQadeer BaigThierry Fraichard. A generic architecture for dynamic outdoor environment
ICTAI - IEEE 23rd International Conference on Tools with Artificial Intelligence, Nov 2011, Boca Raton, Florida, United States. pp.585-590, ⟨10.1109/ICTAI.2011.93⟩
inria-00625976v1  Documents associated with scientific events
Olivier AycardQadeer BaigSilviu BotaFawzi NashashibiSergiu Nedevschi et al.  Intersection Safety using Lidar and Stereo Vision sensors
IV'2011 - IEEE Intelligent Vehicles Symposium, Jun 2011, Baden-Baden, Germany. pp.863-869
inria-00609556v1  Conference papers
Everardo Barcenas-PatinoPierre GenevèsNabil LayaïdaAlan Schmitt. Query Reasoning on Trees with Types, Interleaving, and Counting
22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain
hal-00771578v1  Conference papers
Remi BarraquandPatrick ReignierNadine Mandran. The Sorceress of Oz
PerInt' 2011- Workshop on Intelligibility and Control in Pervasive Computing at Pervasive 2011, Jun 2011, San Francisco, CA, United States. pp.x-x
hal-00788785v1  Conference papers
Marcio Bastos CastroKiril GeorgievVania Marangozova-MartinJean-François MéhautLuiz Gustavo Fernandes et al.  Analysis and Tracing of Applications Based on Software Transactional Memory on Multicore Architectures
Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), 2011, Ayia Napa, Cyprus. pp.199-206, ⟨10.1109/PDP.2011.27⟩
hal-00788791v1  Conference papers
Marcio Bastos CastroLuıs Fabricio Wanderley GóesChristiane Pousa RibeiroMurray ColeMarcelo Cintra et al.  A Machine Learning-Based Approach for Thread Mapping on Transactional Memory Applications
18th Annual and International Conference on High Performance Computing (HiPC), 2011, Bangalore, India. pp.1-10, ⟨10.1109/HiPC.2011.6152736⟩
hal-00784991v1  Journal articles
Amine Belhaj SebouiNejib Ben Hadj-AlouaneGwenaël DelavalEric RuttenMoez Yeddes. An approach for the synthesis of decentralised supervisors for distributed adaptive systems
International Journal of Critical Computer-Based Systems, Inderscience, 2011, Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, 2 (3/4), pp.246-265. ⟨10.1504/IJCCBS.2011.042328⟩
hal-00647869v1  Conference papers
Leila Ben SaadCedric ChauvenetBernard Tourancheau. Simulation of the RPL Routing Protocol for IPv6 Sensor Networks: two cases studies
International Conference on Sensor Technologies and Applications SENSORCOMM 2011, Sep 2011, Nice, France
hal-00647870v1  Conference papers
Leila Ben SaadBernard Tourancheau. Exploiting Addresses Correlation to Maximize Lifetime of IPv6 Cluster-based WSNs
WiMob, the International conference on wireless and mobile computing, networking and communications, STWiMob workshop, Oct 2011, Sanghai, China
hal-00996863v1  Conference papers
Malek Ben YoussefAhmed Lbath. Towards a method of design of real-time GeoProcessing Applications
International Conference on Information Technology and e-Services, 2011, Sanya, China
hal-00796870v1  Book sections
Anne BenoitVangelis PaschosMichel RaynalYves RobertDenis Trystram. Ressources informatiques : encore une histoire de temps !
unknown editor. Les Ressources, Institut Universitaire de France, pp.225-243, 2011, Les colloques de l'IUF
inria-00574555v1  Journal articles
Anne BenoitHinde Lilia BouzianeYves Robert. Optimizing the reliability of streaming applications under throughput constraints
International Journal of Parallel Programming, Springer Verlag, 2011, 39 (5), pp.584-614. ⟨10.1007/s10766-011-0165-6⟩
inria-00612291v1  Conference papers
Adrien BernhardtAndré MaximoLuiz VelhoHoussam HnaidiMarie-Paule Cani. Real-time Terrain Modeling using CPU-GPU Coupled Computation
XXIV SIBGRAPI - 24th SIBGRAPI Conference on Graphics, Patterns and Images, Aug 2011, Maceio, Brazil. pp.64-71, ⟨10.1109/SIBGRAPI.2011.28⟩
inria-00598379v1  Journal articles
Hugues BerryNazim Fatès. Robustness of the Critical Behaviour in the Stochastic Greenberg-Hastings Cellular Automaton Model
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (1-2), pp.65-85
hal-00744520v1  Journal articles
Éric BertinGuillaume BeslonOlivier GandrillonSébastian GrauwinPablo Jensen et al.  Les complexités : point de vue d'un institut des systèmes complexes
Hermès, La Revue- Cognition, communication, politique, CNRS-Editions, 2011, 2 (60), pp.145-150. ⟨10.4267/2042/45459⟩
hal-00796863v1  Conference papers
Xavier BesseronThierry Gautier. Impact of over-decomposition on coordinated checkpoint/rollback protocol
Workshop on Resiliency in High-Performance Computing, 17-th International European Conference On Parallel and Distributed Computing, 2011, Bordeaux, France. ⟨10.1007/978-3-642-29740-3_36⟩
hal-00758374v1  Conference papers
Renaud BlanchMichael Ortega. Benchmarking Pointing Techniques with Distractors: Adding a Density Factor to Fitts' Pointing Paradigm
CHI 2011 - Conference on Human Factors in Computing Systems, May 2011, Vancouver, BC, Canada. pp.1629-1638, ⟨10.1145/1978942.1979180⟩
hal-00788779v1  Conference papers
F. BoitoRodrigo KassickLaércio L. PillaN. BarbieriCláudio Schepke et al.  I/O Performance of a Large Atmospheric Model using PVFS
Rencontres francophones du Parallélisme (RenPar'20), 2011, Saint-Malo, France
hal-00949563v1  Journal articles
Sara BouchenakFabienne BoyerBenoit ClaudelNoel de PalmaOlivier Gruber et al.  From Autonomic to Self-Self Behaviors: The JADE Experience
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2011, 6 (4), pp.28:1-22. ⟨10.1145/2019591.2019597⟩
hal-00796858v1  Journal articles
Marin BougeretPierre-François DutotAlfredo GoldmanYanik NgokoDenis Trystram. Approximating the discrete resource sharing scheduling problem
International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (3), ⟨10.1142/s0129054111008271⟩
hal-00738504v1  Conference papers
Marin BougeretHenri CasanovaMikael RabieYves RobertFrédéric Vivien. Checkpointing strategies for parallel jobs.
SuperComputing (SC) - International Conference for High Performance Computing, Networking, Storage and Analysis, 2011, 2011, United States. pp.1-11
hal-00738513v1  Conference papers
Marin BougeretPierre-Francois DutotDenis Trystram. Using oracles for the design of efficient approximation algorithms
MAPSP: Models and Algorithms for Planning and Scheduling Problems, Jun 2011, Nymburk, Czech Republic
hal-00788788v1  Conference papers
Mohamed Slim BouguerraDerrick KondoDenis Trystram. On the Scheduling of Checkpoints on Desktop Grids
11th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid 2011), 2011, Newport Beach, United States. pp.305-313, ⟨10.1109/CCGrid.2011.63⟩
inria-00608852v1  Reports
Anne BouillardNadir FarhiBruno Gaujal. Packetization and Aggregate Scheduling
[Research Report] RR-7685, INRIA. 2011, pp.24
inria-00616953v1  Conference papers
Sara BouraineThierry FraichardHassen Salhi. Relaxing the Inevitable Collision State Concept to Address Provably Safe Mobile Robot Navigation with Limited Field-of-Views in Unknown Dynamic Environments
IROS 2011 - IEEE-RSJ International Conference on Intelligent Robots and Systems, Sep 2011, San Francisco, United States. pp.2985-2991, ⟨10.1109/IROS.2011.6094901⟩
inria-00554197v1  Journal articles
Johann BourcierAda DiaconescuPhilippe LalandaMccann Julie. AutoHome: an Autonomic Management Framework for Pervasive Home Applications
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2011, 6 (1)
hal-00784971v1  Conference papers
Fabienne BoyerNoel de PalmaGwenaël DelavalOlivier GruberEric Rutten. Case studies in discrete control for autonomic system administration
Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany
hal-00941374v1  Journal articles
Fabienne BoyerSara BouchenakBenoît ClaudelNoel de PalmaOlivier Gruber et al.  Autonomic Systems: from Self to Self-Self Behavior
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2011
hal-00648909v1  Conference papers
Fabienne BoyerOlivier GruberGwen Salaün. Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS-NT and CADP
17th International Symposium on Formal Methods (FM'11), Jun 2011, Limerick, Ireland. pp.103-117, ⟨10.1007/978-3-642-21437-0_10⟩
hal-00788798v1  Conference papers
Kelly Rosa BraghettoJoao Eduardo FerreiraJean-Marc Vincent. Performance Evaluation of Business Processes through a Formal Transformation to SAN
Proceedings of the 8th European Performance Engineering Workshop (EPEW 2011), 2011, Borrowdale, United Kingdom. pp.42 - 56, ⟨10.1007/978-3-642-24749-1_5⟩
hal-00484871v4  Conference papers
Thomas BraibantDamien Pous. Tactics for Reasoning modulo AC in Coq
Certified Proofs and Programs, 2011, Taiwan. pp167-182, ⟨10.1007/978-3-642-25379-9_14⟩
inria-00587862v1  Conference papers
Clément Burin Des RosiersGuillaume CheliusEric FleuryAntoine FrabouletAntoine Gallais et al.  SensLAB Very Large Scale Open Wireless Sensor Network Testbed
Proc. 7th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCOM), Apr 2011, Shanghai, China
hal-00758011v1  Book sections
Gaëlle CalvaryAudrey SernaJoëlle CoutazDominique ScapinFlorence Pontico et al.  Envisioning Advanced User Interfaces for E-Government Applications: A Case Study
Saïd Assar, Imed Boughzala, Isabelle Boydens. Practical Studies in E-Government: Best Practices from Around the World, Springer New York, pp.205-228, 2011, 978-1-4419-7532-4. ⟨10.1007/978-1-4419-7533-1_12⟩
hal-00665219v1  Conference papers
Javier CámaraAntoine GirardGregor Gössler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions
HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, ⟨10.1145/1967701.1967730⟩
hal-00665226v1  Conference papers
Javier CámaraAntoine GirardGregor Gössler. Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models
CDC-ECC - 50th IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.520-525, ⟨10.1109/CDC.2011.6160424⟩
hal-00751702v1  Conference papers
Yves CaniouPhilippe Codognet. Communication in Parallel Algorithms for Constraint-Based Local Search
PCO - IEEE Workshop on new trends in Parallel Computing and Optimization in conjonction with IPDPS, May 2011, Anchorage, United States
hal-00653493v1  Conference papers
Louis-Claude CanonEmmanuel JeannotJon Weissman. A Scheduling and Certification Algorithm for Defeating Collusion in Desktop Grids
International Conference on Distributed Computing Systems, Jun 2011, Minneapolis, United States
hal-00653724v1  Conference papers
Louis-Claude CanonEmmanuel Jeannot. MO-Greedy: an extended beam-search approach for solving a multi-criteria scheduling problem on heterogeneous machines
International Heterogeneity in Computing Workshop, May 2011, Anchorage, United States
hal-00945073v1  Conference papers
Franck CappelloMathias JacquelinLoris MarchalYves RobertMarc Snir. Comparing archival policies for BlueWaters
International Conference on High Performance Computing (HiPC'2011), 2011, Unknown
hal-00945068v1  Journal articles
Franck CappelloHenri CasanovaYves Robert. Preventive migration vs. preventive checkpointing for extreme scale supercomputers
Parallel Processing Letters, World Scientific Publishing, 2011, 21 (2), pp.111-132
inserm-00663665v1  Journal articles
Bertrand CaréHédi Soula. Impact of receptor clustering on ligand binding.
BMC Systems Biology, BioMed Central, 2011, 5 (1), pp.48. ⟨10.1186/1752-0509-5-48⟩
hal-00687561v1  Conference papers
Eddy CaronFlorent ChuffartHaiwu HeAnissa LamaniPhilippe Le Brouster et al.  Large Scale P2P Discovery Middleware Demonstration
Peer-to-Peer Computing (P2P), 2011 IEEE International Conference on, Aug 2011, Kyoto, Japan. ⟨10.1109/P2P.2011.6038672⟩
hal-00619396v1  Conference papers
Fabien CazenaveVincent QuintCécile Roisin. Timesheets.js: Tools for Web Multimedia
ACM Multimedia 2011, Nov 2011, Scottsdale, Arizona, United States. 4 p
hal-00619382v1  Conference papers
Fabien CazenaveVincent QuintCécile Roisin. Timesheets.js: When SMIL Meets HTML5 and CSS3
DocEng 2011, 11th ACM Symposium on Document Engineering, Sep 2011, Mountain View, United States. 10 p
hal-00691401v1  Conference papers
Rodrigue ChakodeBlaise YenkeJean-François Méhaut. Resource Management of Virtual Infrastructure for On-demand SaaS Services
1st International conference on Cloud Computing and Service Science, May 2011, Noordwijkerhout, Netherlands. ⟨10.5220/0003387503520361⟩