44801 results  save search

hal-00747647v1  Conference papers
Anne-Cécile OrgeriePaulo GonçalvesMatthieu ImbertJ. RidouxD. Veitch. Survey of network metrology platforms
SAINT 2012 - 12th IEEE/IPSJ International Symposium on Applications and the INTernet, 3rd Workshop on High Speed Network and Computing Environments, Jul 2012, Izmir, Turkey. pp.220-225, ⟨10.1109/SAINT.2012.41⟩
hal-02392997v1  Conference papers
Cosimo LaneveClaudio CoenAdele Veschetti. On the Prediction of Smart Contracts' Behaviours
SG65 - Colloquium in Honour of Stefania Gnesi, Oct 2019, Porto, Portugal. pp.397--415, ⟨10.1007/978-3-030-30985-5_23⟩
hal-00987475v1  Conference papers
Denny OetomoDavid DaneyKanako HaradaJean-Pierre MerletArianna Menciassi et al.  Topology design of surgical reconfigurable robots by interval analysis
IEEE International Conference on Robotics and Automation (ICRA), 2009, Kobe, Japan. pp.3085--3090, ⟨10.1109/ROBOT.2009.5152407⟩
hal-00987549v1  Conference papers
Denny OetomoDavid DaneyBijan ShirinzadehJean-Pierre Merlet. Certified workspace analysis of 3RRR planar parallel flexure mechanism
IEEE International Conference on Robotics and Automation (ICRA), 2008, Pasadena, United States. pp.3838--3843, ⟨10.1109/ROBOT.2008.4543800⟩
hal-02409672v1  Conference papers
Evariste NtaryamiraCristian MaximLiliana Cucu-Grosjean. Data consistency and temporal validity under the circular buffer communication paradigm
RACS '19 - Conference on Research in Adaptive and Convergent Systems, Sep 2019, Chongqing, China. pp.51-56, ⟨10.1145/3338840.3355682⟩
hal-01022890v1  Conference papers
Pascal KoiranNatacha PortierSébastien Tavenas. A Wronskian Approach to the Real τ-Conjecture
MEGA'2013 (Special Issue), Jun 2013, Frankfurt am Main, Allemagne
ensl-01991239v1  Conference papers
Ignacio García-MarcoPascal KoiranSébastien Tavenas. Log-Concavity and Lower Bounds for Arithmetic Circuits
Mathematical Foundations of Computer Science (MFCS), 2015, Milan, Italy. pp.361-371
hal-02366723v1  Conference papers
Shihong RenStéphane LetzYann OrlareyRomain MichonDominique Fober et al.  Develop WebAudio Plugins in a Web Browser
WAC 2019 - Web Audio Conference, Dec 2019, Trindheim, Norway
hal-02381115v1  Conference papers
Shikang YuHu HanShiguang ShanAntitza DantchevaXilin Chen. Improving Face Sketch Recognition via Adversarial Sketch-Photo Transformation
FG 2019 - 14th IEEE International Conference on Automatic Face and Gesture Recognition, May 2019, Lille, France
hal-00681929v1  Conference papers
Pietro Marco CongedoChristophe Eric CorreRemi Abgrall. Robust performance assessment for an oscillating airfoil using a Time-Spectral Method and a non-intrusive uncertainty propagation method
ICCFD7 - International Conference on Computational Fluid Dynamics, Jul 2012, Island of Hawaii, United States
inria-00567292v1  Conference papers
Pietro Marco CongedoChristophe Eric Corre. Optimization under uncertainty of tear substitute rheological properties
International modeFRONTIER® Users' Meeting 2010, ESTECO, May 2010, Trieste, Italy
inria-00561882v1  Conference papers
Pietro Marco CongedoGuillaume BalaracChristophe Eric CorreCédric Duprat. Effects of inlet uncertainties on prediction of turbulent flows using RANS and LES simulations
20th AIAA Computational Fluid Dynamics Conference, AIAA, Jun 2011, Honolulu, Hawaii, USA, United States
inria-00549376v1  Conference papers
Pietro Marco CongedoChristophe Eric Corre. Simulation d'écoulements de gaz denses en turbines
Congrés Français de Mécanique, 2009, Marseille, France
hal-02132461v1  Conference papers
Konstantin AvrachenkovJasper GoselingBerksan Serbetci. Distributed Cooperative Caching for VoD with Geographic Constraints
WiOpt 2019 - 17th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, Jun 2019, Avignon, France
hal-02404755v1  Conference papers
Sunjay CauligiGary SoellerBrian JohannesmeyerFraser BrownRiad Wahby et al.  FaCT: A DSL for Timing-Sensitive Computation
PLDI 2019 - 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2019, Phoenix, United States. ⟨10.1145/3314221.3314605⟩
inria-00591576v1  Conference papers
Pietro Marco CongedoPaola CinnellaSamuel HercusChristophe Eric Corre. Efficient robust optimization techniques for uncertain dense gas flows
CFD & Optimization - ECCOMAS Thematic Conference, ECCOMAS, May 2011, Antalya, Turkey
hal-01888607v1  Conference papers
Vitalii AksenovPetr KuznetsovAnatoly Shalyto. On Helping and Stacks
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
hal-01887733v1  Conference papers
Vitalii AksenovDan AlistarhPetr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking
PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
hal-02329675v1  Conference papers
Namrata PatelMathilde LannesCamille Pradel. Patrons linguistiques pour l'extraction de tâches dans des transcriptions de réunions
IC 2019 - 30es Journées Francophones d'Ingénierie des Connaissances, AFIA, Jul 2019, Toulouse, France. pp.158-166
hal-02387483v1  Conference papers
Mario BravettiSaverio GiallorenzoJacopo MauroIacopo TaleviGianluigi Zavattaro. Optimal and Automated Deployment for Microservices
FASE 2019 - 22nd International Conference on Held as Part of the European, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-16722-6_21⟩
hal-02385555v1  Conference papers
Paolo IzzoAaron RosengrenLamberto Dell'ElcePini Gurfil. Periodic Corrections in Secular Milankovitch Theory Applied to Passive Debris Removal
ISSFD 2019 - 27th International Symposium on Space Flight Dynamics (ISSFD), Feb 2019, Melbourne, Australia