243 results  save search

hal-01540170v3  Conference papers
Paulo Ricardo Arantes GilzFlorent BréhardClément Gazzino. Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations
SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting, Jan 2018, Kissimmee, United States. pp.1-23, ⟨10.2514/6.2018-1960⟩
hal-01152366v1  Journal articles
Jean-Claude MiellouDidier El BazPierre Spiteri. A new class of asynchronous iterative methods with order intervals
Mathematics of Computation / Mathematics of Computation, American Mathematical Society, 1998, 67 (221), pp.237-255
hal-00743270v2  Conference papers
Srinivas PinisettyYliès FalconeThierry JéronHervé MarchandAntoine Rollet et al.  Runtime Enforcement of Timed Properties
3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩
hal-01654396v2  Conference papers
Florent Bréhard. A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.103-110, ⟨10.1145/3208976.3209000⟩
hal-00949566v1  Conference papers
Aaiman GadafiLaurent BrotoAmal SayahDaniel HagimontNoel de Palma. Autonomic Energy Management in a Replicated Server System
ICAS 2010 - 6th International Conference on Autonomic and Autonomous Systems, Mar 2010, Cancun, Mexico. pp.1-6, ⟨10.1109/ICAS.2010.8⟩
hal-00684943v1  Journal articles
Raphaël BolzeFranck CappelloEddy CaronMichel DaydeFrédéric Desprez et al.  Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed
International Journal of High Performance Computing Applications, SAGE Publications, 2006, 20 (4), pp.481-494. ⟨10.1177/1094342006070078⟩
hal-01298206v2  Conference papers
Caroline CollangeMioara JoldesJean-Michel MullerValentina Popescu. Parallel floating-point expansions for extended-precision GPU computations
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
hal-00656950v1  Conference papers
Fadi KhalilRemi SharrockHervé AubertThierry MonteilFabio Coccetti et al.  Distributed electromagnetic analysis of reflectarrays
Annual Conference of the Applied Computational Electromagnetics Society, ACES'10, Apr 2010, Tempere, Finland
hal-00950876v1  Book sections
Carole AdamBenoit GaudouDominique LonginEmiliano Lorini. Logical modeling of emotions for Ambient Intelligence
Fulvio Mastrogiovanni and Nak-Young Chong. Handbook of Research on Ambient Intelligence: Trends and Perspectives, IGI Global Publisher, 2011, ⟨10.4018/978-1-61692-857-5.ch007⟩
hal-02006606v1  Conference papers
Denis ArzelierFlorent BréhardMioara Joldes. Exchange algorithm for evaluation and approximation error-optimized polynomials
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
hal-00556927v1  Conference papers
Bogdan RobuValérie Pommier-BudingerLucie BaudouinChristophe PrieurDenis Arzelier. Simultaneous H infinity vibration control of fluid/plate system via reduced-order controller
49th IEEE Conference on Decision and Control, CDC 2010, Dec 2010, Atlanta, Georgie, United States. pp.3146-3151
hal-00308880v1  Conference papers
Christophe RippertDaniel Hagimont. An evaluation of the Java Card environment
Advanced Topic Workshop Middleware for Mobile Computing, in association with the 3rd ACM/IFIP Middleware conference, Nov 2001, Heidelberg, Germany
hal-02006645v1  Conference papers
Florent BréhardMioara JoldesJean-Bernard Lasserre. On Moment Problems with Holonomic Functions
ISSAC 2019 - 44th International Symposium on Symbolic and Algebraic Computation, Jul 2019, Pékin, China. pp.66-73
hal-01156605v1  Conference papers
Carole AdamDominique Longin. Shame: when emotion and reasoning are linked
EUMAS 2013 (European Workshop on Multi-Agent Systems), Dec 2013, Toulouse, France. pp.0
hal-01276607v1  Conference papers
Jérémie GuiochetAdriana Vilchis. Safety Analysis of a Medical Robot for Tele-echography
2nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, Oct 2002, Toulouse, France
tel-00284605v1  Habilitation à diriger des recherches
Christian Le Provost. Contribution à l'étude des marées dans les mers littorales : application à la Manche
Modélisation et simulation. Université Joseph-Fourier - Grenoble I; Institut National Polytechnique de Grenoble - INPG, 1974
hal-00949559v1  Conference papers
Daniel HagimontChristine Mayap KamgaLaurent BrotoAlain TchanaNoel de Palma. DVFS Aware CPU Credit Enforcement in a Virtualized System
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.123-142, ⟨10.1007/978-3-642-45065-5_7⟩
hal-01232615v1  Conference papers
Linh Manh PhamAlain TchanaDidier DonsezVincent ZurczakPierre-Yves Gibello et al.  An Adaptable Framework to Deploy Complex Applications onto Multi-cloud Platforms
Computing & Communication Technologies - Research, Innovation, and Vision for the Future (RIVF), 2015 IEEE RIVF International Conference on, Jan 2015, Can Tho, Vietnam. ⟨10.1109/RIVF.2015.7049894⟩
hal-00934057v1  Conference papers
Meriem OuederniGwen SalaünJavier CámaraErnesto Pimentel. Comparator: A Tool for Quantifying Behavioural Compatibility
FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France
hal-02073725v1  Conference papers
Emmanuel AgulloAlfredo ButtariAbdou GuermoucheArnaud LegrandIan Masliah et al.  Simulation of a Sparse Direct Solver on Heterogeneous Systems using Starpu and Simgrid
CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States