77839 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-01230785v1  Journal articles
Emilie DiotSébastien TavenasNicolas Trotignon. Detecting wheels
Applicable Analysis and Discrete Mathematics, 2014, 8 (1), ⟨10.2298/AADM131128023D⟩
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-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⟩
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-02290737v1  Conference papers
Veeraruna KavithaMayank MaheshwariEitan Altman. Acquisition Games with Partial-Asymmetric Information
Allerton - 57th Annual Allerton Conference on Communication, Control, and Computing, Sep 2019, Allerton, United States. ⟨10.1109/ALLERTON.2019.8919935⟩
hal-02397060v1  Conference papers
Konstantin AvrachenkovMaximilien Dreveton. Almost Exact Recovery in Label Spreading
WAW 2019 - 16th Workshop on Algorithms and Models for the Web Graph, Jul 2019, Brisbane, Australia. ⟨10.1007/978-3-030-25070-6_3⟩
hal-01767317v2  Conference papers
Swapnil Dhamal. An Integrated Framework for Competitive Multi-channel Marketing of Multi-featured Products
COMSNETS 2019 - 11th International Conference on Communication Systems & Networks, Jan 2019, Bangalore, India. pp.391-394
hal-02348004v1  Conference papers
Molka Tounsi DhouibCatherine Faron ZuckerAndrea G. B. Tettamanzi. An Ontology Alignment Approach Combining Word Embedding and the Radius Measure
SEMANTiCS 2019 - European conference on Semantic Technologies and AI, Sep 2019, Karlsruhe, Germany. pp.191-197, ⟨10.1007/978-3-030-33220-4_14⟩
hal-02279726v1  Conference papers
Philippe MartinOlivier CorbyCatherine Faron Zucker. Ontology Design Rules Based On Comparability Via Particular Relations
SEMANTiCS 2019 - European conference on Semantic Technologies and AI, Sep 2019, Karlsruhe, Germany
lirmm-02335500v1  Conference papers
Renan SouzaLeonardo AzevedoVítor LourençoElton SoaresRaphael Thiago et al.  Provenance Data in the Machine Learning Lifecycle in Computational Science and Engineering
WORKS 2019 - Workflows in Support of Large-Scale Science co-located with SC 2019 - ACM/IEEE International Conference for High Performance Computing, Networking, Storage, and Analysis, Nov 2019, Denver, United States. pp.10
hal-02376158v1  Conference papers
Lukasz MikulskiIvan Lanese. Reversing Unbounded Petri Nets
PETRI NETS 2019 - Applications and Theory of Petri Nets, Jun 2019, Aachen, Germany. ⟨10.1007/978-3-030-21571-2_13⟩