Skip to Main content Skip to Navigation


...
hal-02389101v1  Conference papers
Song WuDie HuShadi IbrahimHai JinJiang Xiao et al.  When FPGA-Accelerator Meets Stream Data Processing in the Edge
ICDCS'19 - 39th IEEE International Conference on Distributed Computing Systems, Jul 2019, Dallas, United States. pp.1818-1829, ⟨10.1109/ICDCS.2019.00180⟩
hal-01661211v1  Conference papers
Anne-Hélène OlivierJulien BruneauRichard KulpaJulien Pettré. Walking with virtual people: Evaluation of locomotion interfaces in dynamic environments
IEEE VR 2017 - IEEE Virtual Reality, Mar 2017, Los Angeles, United States. pp.2251-2263
hal-00869112v1  Conference papers
Mohammad GhoniemNarendra JussienJean-Daniel Fekete. VISEXP: visualizing constraint solver dynamics using explanations
FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, 2004, Miami, Florida, United States. pp.263--268
hal-00869118v1  Conference papers
Narendra JussienOlivier Lhomme. Vers une unification des algorithmes de résolution de CSP
8ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'02), 2002, Nice, France. pp.155--168
hal-01110779v1  Conference papers
Delphine DemangeDavid PichardieLéo Stefanesco. Verifying Fast and Sparse SSA-based Optimizations in Coq.
24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom
...
hal-01613389v1  Conference papers
Yannick ZakowskiDavid CacheraDelphine DemangeGustavo PetriDavid Pichardie et al.  Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology
ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasília, Brazil. pp.496-513, ⟨10.1007/978-3-319-66107-0_31⟩
hal-00869102v1  Conference papers
Émilie GrellierPierre DejaxNarendra JussienZhiqiang Lu. Vehicle routing problem in mixed flows for reverse logistics: a modeling framework
International Conference on Information Systems, Logistics, and Supply Chain (ILS 2006), 2006, Lyon, France
...
hal-01807302v1  Conference papers
Song WuMi LiuShadi IbrahimHai JinLin Gu et al.  TurboSream: Towards Low-Latency Data Stream Processing
ICDCS 2018 - 38th IEEE International Conference on Distributed Computing Systems, Jul 2018, Vienna, Austria. pp.1-11, ⟨10.1109/ICDCS.2018.00099⟩
...
hal-01023282v1  Conference papers
Radu TudoranAlexandru CostanGabriel Antoniu. Transfer as a Service: Towards a Cost-Effective Model for Multi-Site Cloud Data Management
Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), IEEE, Oct 2014, Nara, Japan
...
hal-02453411v1  Conference papers
Marie-Stéphanie BracqMarie Le DuffEstelle MichinovBruno ArnaldiValérie Gouranton et al.  Training situation awareness through error recognition in an immersive virtual operating room
International conference for multi-area simulation ICMASim 2019, Oct 2019, Angers, France. pp.208-216
...
hal-03008918v1  Conference papers
Tiffany LuongNicolas MartinAnais RaisonFerran Argelaguet SanzJean-Marc Diverrez et al.  Towards Real-Time Recognition of Users' Mental Workload Using Integrated Physiological Sensors Into a VR HMD
ISMAR 2020 - IEEE International Symposium on Mixed and Augmented Reality, Nov 2020, Virtual, Brazil. pp.1-13
...
inserm-03058348v1  Conference papers
Camille Maumet. Towards large-scale brain imaging studies
workshop Virtual 2020 - Inteligencia Articicial en imagenes medicas, Dec 2020, Santiago (online), Chile
...
hal-01762612v3  Conference papers
Léa PilletteCamille JeunetRoger N'KambouBernard N'KaouaFabien Lotte. Towards Artificial Learning Companions for Mental Imagery-based Brain-Computer Interfaces
WACAI 2018 - Workshop sur les “Affects, Compagnons Artificiels et Interactions”, Jun 2018, Ile de Porquerolles, France. pp.1-8
hal-00869103v1  Conference papers
Émilie GrellierPierre DejaxNarendra JussienZhiqiang Lu. Tournées de collectes et livraisons dans le cadre de la logistique inverse
7ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2006), 2006, Lille, France
...
inserm-02379309v1  Conference papers
David KeatorKarl HelmerCamille MaumetSmruti PadhyDorota Jarecka et al.  Tools for FAIR Neuroimaging Experiment Metadata Annotation with NIDM Experiment
OHBM 2019 - 25th Annual Meeting of the Organization for Human Brain Mapping,, Jun 2019, Rome, Italy. pp.1-5
...
inserm-03366318v1  Conference papers
Jonathan Rafael-PatinoGabriel GirardRaphaël TruffetMarco PizzolatoJean-Philippe Thiran et al.  The Microstructural Features of the Diffusion-Simulated Connectivity (DiSCo) Dataset
CDMRI 2021 - International Workshop on Computational Diffusion MRI, Oct 2021, Strasbourg, France. pp.159-170, ⟨10.1007/978-3-030-87615-9_14⟩
...
hal-01517320v1  Conference papers
Carole Delporte-GalletHugues FauconnierSergio RajsbaumMichel Raynal. t-résilient snapshot immédiat
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
hal-00655905v1  Conference papers
Nicolas PapadakisAnne CuzolEtienne Mémin. Suivi du mouvement fluide: approche stochastique et variationnelle
Journées Activités Universitaires de Mécanique (AUM'06), Aug 2006, La Rochelle, France. pp.1-4
...
hal-02295331v1  Conference papers
Tiffany LuongNicolas MartinFerran Argelaguet SanzAnatole Lécuyer. Studying the Mental Effort in Virtual Versus Real Environments
VR 2019 - 26th IEEE Conference on Virtual Reality and 3D User Interfaces, Mar 2019, Osaka, France. pp.809-816, ⟨10.1109/VR.2019.8798029⟩
hal-00869132v1  Conference papers
Narendra JussienPatrice Boizumault. Stratégies en Meilleur d'abord pour la relaxation de contraintes
Journées Francophones de Progammation en Logique et avec Contraintes (JFPLC'97), 1997, Orléans, France. pp.149--165
...
hal-00862713v1  Conference papers
Quentin GalvaneMarc ChristieRémi RonfardChen-Kim LimMarie-Paule Cani. Steering Behaviors for Autonomous Cameras
MIG 2013 - ACM SIGGRAPH conference on Motion in Games, Nov 2013, Dublin, Ireland. pp.93-102, ⟨10.1145/2522628.2522899⟩
hal-01646507v1  Conference papers
Laurentius Antonius MeerhoffJulien PettréRichard KulpaSean LynchArmel Crétual et al.  Simultaneous and sequential affordances of collision avoidance between multiple pedestrians
ICPA 2017 - 19th biannual International Conference on Perception and Action, Jul 2017, Séoul, South Korea
...
inserm-02986992v1  Conference papers
Camille Maumet. Sharing more than research papers for transparent & reusable research
2020 - Workshop “Open and reproducible neuroimaging”, Nov 2020, Oldenburg (online), Germany. pp.1-39
...
hal-03084627v1  Conference papers
Luis GalárragaJulien DelaunayJean-Louis Dessalles. REMI: Mining Intuitive Referring Expressions on Knowledge Bases
EDBT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Virtual Event, Denmark. pp.387-390, ⟨10.5441/002/edbt.2020.39⟩
hal-00869094v1  Conference papers
Fabien HermenierXavier LorcaHadrien CambazardJean-Marc MenaudNarendra Jussien. Reconfiguration dynamique du placement dans les grilles de calcul dirigée par les objectifs
Sixième Conférence Française sur les Systèmes d'Exploitation (CFSE'08), 2008, Fribourg, France
hal-00869123v1  Conference papers
Narendra Jussien. Recherche locale et propagation de contraintes pour résoudre les problèmes d'Open-Shop
Troisièmes journées francophones de Recherche Opérationnelle (FRANCORO III), 2001, Québec, Canada
hal-00869121v1  Conference papers
Yann-Gaël GuéhéneucNarendra Jussien. Quelques explications pour les patrons ou une utilisation de la PPC avec explications pour l'identification de patrons de conception
7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), 2001, Toulouse, France. pp.111-122
hal-00869122v1  Conference papers
Narendra Jussien. Programmation par contraintes avec explications
7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), 2001, Unknown, pp.147--158
...
hal-00814671v2  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Program Transformation for Non-interference Verification on Programs with Pointers
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
hal-00869096v1  Conference papers
Émilie GrellierPierre DejaxNarendra Jussien. Problème de tournées de collectes et livraisons multi-périodique~: résolution grâce au GRASP
5èmes journées Francophones de Recherche Opérationnelle (FRANCORO V) 8ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2007), 2007, Grenoble, France
hal-00924716v1  Conference papers
Delphine DemangeVincent LaporteLei ZhaoDavid PichardieSuresh Jagannathan et al.  Plan B: A Buffered Memory Model for Java
Proc. of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Jan 2013, Rome, Italy
...
inserm-02909437v1  Conference papers
Camille Maumet. Open Science in action: Doing research as a community!
OHBM 2020 - 26th Annual Meeting of the Organization for Human Brain Mapping, Jun 2020, Virtual, Canada. pp.1-19
...
hal-01238055v1  Conference papers
Tien-Dat PhanShadi IbrahimGabriel AntoniuLuc Bougé. On Understanding the Energy Impact of Speculative Execution in Hadoop
GreenCom'15-The 2015 IEEE International Conference on Green Computing and Communications , Dec 2015, Sydney, Australia
hal-02433606v1  Conference papers
Carole Delporte-GalletHugues FauconnierMichel Raynal. On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion
AINA 2019 - 33rd International Conference on Advanced Information Networking and Applications, Mar 2019, Matsue, Japan. ⟨10.1007/978-3-030-15032-7_24⟩
...
hal-01742016v1  Conference papers
Orcun YildizShadi Ibrahim. On the Performance of Spark on HPC Systems: Towards a Complete Picture
SCA 2018 - SupercomputingAsia, Mar 2018, Singapore, Singapore. pp.70-89, ⟨10.1007/978-3-319-69953-0_5⟩
...
hal-01560187v1  Conference papers
Amelie ZhouShadi IbrahimBingsheng He. On Achieving Efficient Data Transfer for Graph Processing in Geo-Distributed Datacenters
ICDCS'17 : IEEE 37th International Conference on Distributed Computing Systems, Jun 2017, Atlanta, United States. ⟨10.1109/ICDCS.2017.98⟩
hal-00869117v1  Conference papers
Yann-Gaël GuéhéneucRémi DouenceNarendra Jussien. No Java without Caffeine ― A tool for dynamic analysis of Java programs
17th IEEE conference on Automated Software Engineering (ASE'02), 2002, Edinburgh, UK, pp.117--126
...
hal-02389113v1  Conference papers
Hao FanSong WuShadi IbrahimXiming ChenHai Jin et al.  NCQ-Aware I/O Scheduling for Conventional Solid State Drives
IPDPS 2019 - 33rd IEEE International Parallel & Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.523-532, ⟨10.1109/IPDPS.2019.00062⟩
hal-00869100v1  Conference papers
Narendra JussienVincent Barichard. MultiObjective Optimization and Constraint Programming
Seventh international Conference devoted to Multi-Objective Programming and Goal Programming (MOPGP'06), 2006, Vallée de la Loire, France
...
hal-01025159v1  Conference papers
Hamza SamihRalf Bogusch. MPLM -- MaTeLo Product Line Manager
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy
...
hal-00909293v1  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs
SARSSI - 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France