Skip to Main content Skip to Navigation

hal-01108022v1  Directions of work or proceedings
Florian BrandnerAa Tom Vander. Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems
Florian Brandner, ENSTA ParisTech; Tom Vander Aa, Target Compiler Technologies,. Workshop on Optimizations for DSP and Embedded Systems, Feb 2014, Orlando, FL, United States. pp.44, 2014, 978-1-4503-2595-0
tel-01573861v1  Theses
Imen Nasr. Algorithmes et Bornes minimales pour la Synchronisation Temporelle à Haute Performance : Application à l’internet des objets corporels
Informatique mobile. Université Paris Saclay (COmUE); École supérieure des communications de Tunis (Tunisie), 2017. Français. ⟨NNT : 2017SACLY007⟩
tel-02285215v1  Theses
Clément Pinard. Robust Learning of a depth map for obstacle avoidance with a monocular stabilized flying camera
Computer Vision and Pattern Recognition [cs.CV]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLY003⟩
hal-00973849v1  Journal articles
Marie-Christine CostaDominique de WerraChristophe Picouleau. Minimum d-blockers and d-transversals in graphs
Journal of Combinatorial Optimization, Springer Verlag, 2011, 22 (4), pp.857-872. ⟨10.1007/s10878-010-9334-6⟩
hal-01097293v1  Journal articles
P Loidreau. Asymptotic behaviour of codes in rank metric over finite fields
Designs, Codes and Cryptography, Springer Verlag, 2014, 71 (1), pp.105-118. ⟨10.1007/s10623-012-9716-0⟩
hal-02140352v1  Conference papers
Victor TalpaertIbrahim SobhB. KiranPatrick MannionSenthil Yogamani et al.  Exploring Applications of Deep Reinforcement Learning for Real-world Autonomous Driving Systems
14th International Conference on Computer Vision Theory and Applications, Feb 2019, Prague, Czech Republic. pp.564-572
hal-01762174v1  Journal articles
Arun Kumar RamaswamyBruno MonsuezAdriana Tapus. An Extensible Model-based Framework Development Methodology for Robotic Systems
Journal for Software Engineering Robotics (JOSER), 2017, 8 (1)
hal-01089097v1  Conference papers
Freek StulpLaura HerlantAntoine HoarauGennaro Raiola. Simultaneous On-line Discovery and Improvement of Robotic Skill Options
Proceedings of the International Conference on Intelligent Robots and Systems (IROS), 2014, Chicago, United States. ⟨10.1109/IROS.2014.6942741⟩
hal-01096344v1  Conference papers
Matthieu LapeyreSteve N'GuyenAlexandre Le FalherPierre-Yves Oudeyer. Rapid morphological exploration with the Poppy humanoid platform.
2014 IEEE-RAS International Conference on Humanoid Robots, Nov 2014, Madrid, Spain. pp.8
hal-00672884v1  Conference papers
Vladimir-Alexandru PaunNesrine HarrathBruno Monsuez. A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs
The 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienna, Austria
hal-00672908v1  Conference papers
Nesrine HarrathBruno Monsuez. Timed SystemC waiting-state automata
Third International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco
hal-00672921v1  Conference papers
Nesrine HarrathBruno MonsuezJoelle Delacroix Gouin. Building SystemC waiting state automata
The 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia
hal-01095305v1  Conference papers
Çagdas BozmanMichel MaunyFabrice Le FessantThomas Gazagnaire. Profiling the Memory Usage of OCaml Applications without Changing its Behavior
OCaml Users and Developers Workshop (OCaml), Sep 2013, boston, United States
hal-01316503v1  Poster communications
Olivier MullierAlexandre ChapoutotJulien Alexandre Dit Sandretto. Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom