Skip to Main content Skip to Navigation

inria-00615068v1  Journal articles
André GuéziecXavier PennecNicholas Ayache. Medical Image Registration using Geometric Hashing
IEEE Computational Science and Engineering, Institute of Electrical and Electronics Engineers (IEEE), 1997, 4 (4), pp.29-41. ⟨10.1109/99.641607⟩
inria-00435092v1  Journal articles
Christine MorinAnne-Marie KermarrecMichel BanâtreAlain Gefflaut. An Efficient and Scalable Approach for Implementing Fault-Tolerant DSM Architectures
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2000, IEEE Transactions on Computers, 49 (5), pp.414-430
hal-01152576v1  Conference papers
Daniel J. DoughertyFrederic LangPierre LescanneLuigi LiquoriKristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems
Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25
inria-00590150v1  Conference papers
Rémi RonfardFausto BernardiniIoanna Boier-Martin. Variational Surface Design with Multiresolution Constraints
SIAM Conference on Geometric Design and Computing, Nov 2001, Sacramento, United States
inria-00606736v1  Journal articles
Thomas FunkhouserNicolas TsingosIngrid CarlbomGary ElkoMohan Sondhi et al.  A Beam Tracing Method for Interactive Architectural Acoustics
Journal of the Acoustical Society of America, Acoustical Society of America, 2003, 115 (2), pp.739-756
inria-00423382v1  Conference papers
Pierre GenevèsKristoffer Rose. Compiling XPath into a State-less Forward-only Subset
First International Workshop on High Performance XML Processing, May 2004, New York, United States
inria-00544623v1  Journal articles
Ioana MartinRémi RonfardFausto Bernardini. Detail-preserving variational surface design with multiresolution constraints
Journal of Computing and Information Science in Engineering, American Society of Mechanical Engineers, 2005, 5 (2), pp.104-110. ⟨10.1115/1.1891824⟩
inria-00423319v1  Conference papers
Pierre GenevèsKristoffer Rose. Compiling XPath for Streaming Access Policy
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.52-54
inria-00201096v1  Conference papers
Catuscia PalamidessiVijay SaraswatFrank ValenciaBjorn Victor. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS), Aug 2006, Seattle, United States. pp.59-68, ⟨10.1109/LICS.2006.39⟩
hal-00371393v1  Journal articles
Tamar EilamCyril GavoilleDavid Peleg. Average Stretch Analysis of Compact Routing Schemes
Discrete Applied Mathematics, Elsevier, 2007, 155, pp.598-610. ⟨10.1016/j.dam.2006.09.010⟩
lirmm-00324589v1  Conference papers
David BremnerJonathan LenchnerGiuseppe LiottaChristophe PaulMarc Pouget et al.  A Note on α-Drawable k-Trees
CCCG'08: Canadian Conference on Computational Geometry, Canada. pp.23-27
inria-00551516v1  Conference papers
Konrad TrifunovicAlbert CohenDavid EdelsohnFeng LiTobias Grosser et al.  GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation
GCC Research Opportunities Workshop (GROW'10), Jan 2010, Pisa, Italy
hal-00945072v1  Conference papers
Sushil K. PrasadAlmadena Yu. ChtchelkanovaSajal K. DasFrank DehneMohamed Gouda et al.  NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates
SIGCSE''11, the 42nd ACM Tech. Symp. on Computer Science Education, 2011, Unknown, Afghanistan. pp.617-618
inria-00551077v1  Conference papers
Louis-Noël PouchetUday BondhugulaCédric BastoulAlbert CohenJagannathan Ramanujam et al.  Loop Transformations: Convexity, Pruning and Optimization
38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11), Jan 2011, Austin, TX, United States
inria-00638950v1  Conference papers
Moinuddin QureshiAndré SeznecLastras LuisMichele Franceschini. Practical and secure PCM systems by online detection of malicious write streams
2011 IEEE 17th International Symposium on High Performance Computer Architecture, IEEE, Feb 2011, San Antonio, United States. ⟨10.1109/HPCA.2011.5749753⟩
hal-01110379v1  Conference papers
Dario CatalanoMario Di RaimondoDario FioreRosario GennaroOrazio Puglisi. Fully Non-interactive Onion Routing with Forward-Secrecy
ACNS 2011 - 9th International Conference Applied Cryptography and Network Security, Jun 2011, Nerja, Spain. pp.255-273, ⟨10.1007/978-3-642-21554-4_15⟩
hal-00768518v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatAnastasios KementsietsidisMing MaoNatalya Noy et al.  Proc. 7th ISWC workshop on ontology matching (OM)
Pavel Shvaiko, Jérôme Euzenat, Anastasios Kementsietsidis, Ming Mao, Natalya Noy, Heiner Stuckenschmidt. No commercial editor., pp.1-253, 2012
hal-01299241v1  Conference papers
Dinesh KumarEitan AltmanTamer Basar. Exploring Wiener Filter Estimation of Node Population in a Sensor Network with Generally Distributed Node Lifetimes
WONS 2012 - 9th Annual Conference on Wireless On-demand Network Systems and Services, Jan 2012, Courmayeur, Italy. pp.67-70, ⟨10.1109/WONS.2012.6152240⟩
hal-00763399v1  Journal articles
Kristoffer H. RoseRoel BlooFrederic Lang. On Explicit Substitution with Names
Journal of Automated Reasoning, Springer Verlag, 2012, Special Issue: Theory and Applications of Abstraction, Substitution and Naming, 49 (2), pp.275-300. ⟨10.1007/s10817-011-9222-5⟩
hal-00798046v1  Conference papers
Vijay SaraswatDavid CunninghamLiana HadareanLouis MandelAvraham Shinnar et al.  Constrained Types - Future Directions
CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada
hal-00918492v1  Directions of work or proceedings
Pavel ShvaikoJérôme EuzenatKavitha SrinivasMing MaoErnesto Jiménez-Ruiz. Proc. 8th ISWC workshop on ontology matching (OM)
Pavel Shvaiko and Jérôme Euzenat and Kavitha Srinivas and Ming Mao and Ernesto Jiménez-Ruiz. No commercial editor., pp.1-249, 2013
hal-01061837v1  Journal articles
Fatih PorikliFrancois BremondShiloh DockstaderJames FerrymanAnthony Hoogs et al.  Video Surveillance: Past, Present, and Now the Future [DSP Forum]
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2013, 30 (3), pp.190--198. ⟨10.1109/MSP.2013.2241312⟩
hal-00930096v1  Conference papers
Omer TrippMarco PistoiaPatrick CousotRadhia CousotSalvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications
FASE 2013 - International Conference Fundamental Approaches to Software Engineering, Vittorio Cortellessa and Dániel Varró, Mar 2013, Rome, Italy. pp.210-225, ⟨10.1007/978-3-642-37057-1_15⟩
hal-00932480v1  Directions of work or proceedings
George BrebisRichard BoyleDarko KoracinBharam ParvinBaoxin Li et al.  Advances in Visual Computing : 9th International Symposium, ISVC 2013, Proceedings, Part I.
Lecture Notes in Computer Science, Springer 2013, pp.586, 2013