Skip to Main content Skip to Navigation


...
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-01272551v1  Journal articles
Hiyon YooElisabeth Delais-RoussarieDamien LoliveNelly Barbot. Le Rythme en Lecture Oralisée (parole synthétique et parole naturelle)
Revue Française de Linguistique Appliquée, Paris : Publications linguistiques, 2015, XX (2), pp.63-77. ⟨10.3917/rfla.202.0063⟩
...
hal-01203001v1  Conference papers
Orcun YildizShadi IbrahimTran Anh PhuongGabriel Antoniu. Chronos: Failure-Aware Scheduling in Shared Hadoop Clusters
BigData'15-The 2015 IEEE International Conference on Big Data, Oct 2015, Santa Clara, CA, United States
...
hal-01570737v1  Conference papers
Orcun YildizAmelie Chi ZhouShadi Ibrahim. Eley: On the Effectiveness of Burst Buffers for Big Data Processing in HPC systems
Cluster'17-2017 IEEE International Conference on Cluster Computing, Sep 2017, Honolulu, United States. ⟨10.1109/CLUSTER.2017.73⟩
hal-01338404v1  Journal articles
Song WuSongqiao TaoXiao LingHao FanHai Jin et al.  iShare: Balancing I/O performance isolation and disk I/O efficiency in virtualized environments
Concurrency and Computation: Practice and Experience, Wiley, 2016, 28, pp.386-399. ⟨10.1002/cpe.3496⟩
hal-01413401v1  Conference papers
Hui-Yin WuMichael YoungMarc Christie. A Cognitive-Based Model of Flashbacks for Computational Narratives
AIIDE 2016 - 12th Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, Oct 2016, San Francisco, United States. pp.239-245
hal-01110237v1  Conference papers
Leandra WebbJozef LegényRobert LeebAnatole Lécuyer. Dual-Frequency SSVEP Stimulation Using a Stereoscopic Display
6th International Brain-Computer Interface Conference, 2014, Graz, Austria
...
hal-02469861v1  Conference papers
Jeanne VillaneauFarida SaïdAmel Achour. Modélisation et interprétation des catégories taxonomiques des animaux et aliments chez des enfants d'âge préscolaire
Extraction et Gestion des connaissances (EGC), Jan 2020, Bruxelles, Belgique. pp.245-252
...
hal-01089371v1  Conference papers
Radu TudoranKate KeaheyPierre RiteauSergey PanitkinGabriel Antoniu. Evaluating Streaming Strategies for Event Processing across Infrastructure Clouds
Cluster, Cloud and Grid Computing (CCGrid), 2014 14th IEEE/ACM International Symposium on, May 2014, Chicago, United States. pp.151 - 159, ⟨10.1109/CCGrid.2014.89⟩
...
hal-01090281v1  Conference papers
Radu TudoranOlivier NanoIvo SantosAlexandru CostanHakan Soncu et al.  JetStream: Enabling High Performance Event Streaming across Cloud Data-Centers
DEBS'14 - The 8th ACM International Conference on Distributed Event-Based Systems, May 2014, Mumbai, India. pp.23 - 34, ⟨10.1145/2611286.2611298⟩
...
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-00978153v1  Conference papers
Radu TudoranAlexandru CostanRui WangLuc BougéGabriel Antoniu. Bridging Data in the Clouds: An Environment-Aware System for Geographically Distributed Data Transfers
14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2014, Chicago, United States
...
hal-00927283v1  Conference papers
Radu TudoranAlexandru CostanGabriel Antoniu. DataSteward: Using Dedicated Compute Nodes for Scalable Data Management on Public Clouds
TrustCom 2013 - 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul 2013, Melbourne, Australia. pp.1057--1064, ⟨10.1109/TrustCom.2013.129⟩
...
inserm-02910086v1  Conference papers
Raphaël TruffetJonathan Rafael-PatinoGabriel GirardMarco PizzolatoChristian Barillot et al.  An evolutionary framework for microstructure-sensitive generalized diffusion gradient waveforms
MICCAI 2020 - 23rd International Conference on Medical Image Computing and Computer Assisted Intervention, Oct 2020, Lima, Peru. pp.1-11
inria-00482630v1  Conference papers
Nolwenn TrolesGuylaine Le JanRégine Le Bouquin JeannèsGérard FauconPascal Scalart et al.  Les troubles visuo-attentionnels dans le diagnostic de la dyslexie développementale
Colloque Approches cognitive et développementale de l'apprentissage de la lecture, Nov 2008, Angers, France
inria-00482626v1  Conference papers
Nolwenn TrolesGuylaine Le JanRégine Le Bouquin JeannèsGérard FauconDominique Pichancourt et al.  Elaboration d'un outil de diagnostic pour la dyslexie développementale
Congrès de la Société Française de Psychologie, Société Française de Osychologie, Sep 2007, Nantes, France
...
inria-00449796v1  Conference papers
Léo TerzimanAnatole LécuyerSébastien HillaireJan Malte Wiener. Can Camera Motions Improve the Perception of Traveled Distance in Virtual Environments?
Virtual Reality 2009 - IEEE Annual International Symposium, Mar 2009, Los Angeles, United States. pp.131-134, ⟨10.1109/VR.2009.4811012⟩
hal-02058359v1  Poster communications
Natalie SnyderMichael CinelliVictoria RaposArmel CrétualAnne-Hélène Olivier. Collision avoidance between two walkers: Reduced avoidance behaviour in previously concussed athletes
ISPGR 2019 - Conference of the International Society for Posture & Gait Research (ISPGR), Jun 2019, Edinburgh, United Kingdom
hal-03185984v1  Directions of work or proceedings
Aaron SmithDelphine DemangeRajiv Gupta. CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction
CC '21 - 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Republic of Korea, France. ACM, 2021, ⟨10.1145/3446804⟩
...
hal-00599981v2  Conference papers
Florentin SmarandacheArnaud MartinChristophe Osswald. Contradiction measures and specificity degrees of basic belief assignments
International Conference on Information Fusion, Jul 2011, Chicago, United States. pp.1569429169
...
hal-01002099v1  Conference papers
Hamza SamihMathieu AcherRalf BoguschHélène Le GuenBenoit Baudry. Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study
19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 2014, Tianjin, China
...
hal-01025159v1  Conference papers
Hamza SamihRalf Bogusch. MPLM -- MaTeLo Product Line Manager
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy
...
hal-00282131v1  Conference papers
Sylvie SagetMarc Guyomard. Goal-oriented Dialog as a Collaborative Subordinated Activity involving Collective Acceptance
10th Workshop on the Semantics and the Pragmatics of Dialogue (Brandial 2006), 2006, Potsdam, Germany. pp.131-138
hal-00410754v1  Journal articles
Tanguy RissetPatrice QuintonAnne-Claire Guillou. Hardware synthesis for systems of recurrence equations with multidimensional schedule
International Journal of Embedded Systems, Inderscience, 2008, 3 (4), pp.271-284
hal-00410733v1  Conference papers
Tanguy RissetPatrice QuintonSanjay RajopadhyeMaurice TchuenteClementin Tayou Djamegni. Une approche itérative pour l'allocation des tâches sur réseaux réguliers
8ème Colloque Africain sur la Recherche Informatique (CARI 2006), 2006, Cotonou, Bénin
...
hal-03155296v1  Preprints, Working Papers, ...
Olivier Ridoux. The Art of Picopoly
2021
...
hal-00477153v1  Journal articles
Yann RenardFabien LotteGuillaume GibertMarco CongedoEmmanuel Maby et al.  OpenViBE: An Open-Source Software Platform to Design, Test and Use Brain-Computer Interfaces in Real and Virtual Environments
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2010, 19 (1), pp.35-53
...
hal-01166509v1  Directions of work or proceedings
Céline RémiLionel PrevostEric Anquetil. Drawing, Handwriting Processing Analysis: New Advances and Challenges
17th Biennial Conference of the International Graphonomics Society, Jun 2015, Pointe-à-Pitre, Guadeloupe. 2015, 979-10-95177-01-2
hal-02058358v1  Poster communications
Victoria RaposMichael CinelliNatalie SnyderArmel CrétualAnne-Hélène Olivier. Minimum Predicted Distance: applying a common metric to collision avoidance strategies between typically developing children and adult walkers
ISPGR 2019 - Conference of the International Society for Posture & Gait Research, Jun 2019, Edinburgh, United Kingdom