Skip to Main content Skip to Navigation


...
hal-02910961v1  Conference papers
Auguste OlivryJulien LangouLouis-Noël PouchetP. SadayappanFabrice Rastello. Automated derivation of parametric data movement lower bounds for affine programs
PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2020, London, United Kingdom. pp.808-822, ⟨10.1145/3385412.3385989⟩
...
tel-02509756v1  Habilitation à diriger des recherches
Nicolas Gast. Refinements of Mean Field Approximation
Performance [cs.PF]. Université Grenoble Alpes, 2020
hal-03078490v1  Conference papers
Guillaume CathelainBertrand RivetSophie AchardJean BergouniouxFrancois Jouen. U-Net Neural Network for Heartbeat Detection in Ballistocardiography
EMBC 2020 - CMBEC 2020 - 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society - 43rd Annual Conference of the Canadian Medical and Biological Engineering Society, Jul 2020, Montreal (virtual), Canada. pp.465-468, ⟨10.1109/EMBC44109.2020.9176687⟩
...
hal-03116036v1  Reports
Anatole GallouëtQuentin MerigotBoris Thibert. A damped Newton algorithm for generated Jacobian equations
[Research Report] Université Grenoble Alpes; Université Paris Sud. 2021
...
hal-03010556v1  Conference papers
Martin HeusseTakwa AttiaChristelle CaillouetFranck RousseauAndrzej Duda. Capacity of a LoRaWAN Cell
MSWiM 2020 - 23rd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2020, Alicante, Spain. pp.131-140, ⟨10.1145/3416010.3423228⟩
...
hal-03185251v1  Conference papers
Mathieu StoffelFrançois BroquedisFrédéric DesprezAbdelhafid Mazouz. Phase-TA: Periodicity Detection and Characterization for HPC Applications
HPCS 2020 - 18th IEEE International Conference on High Performance Computing and Simulation, Mar 2021, Barcelone / Virtual, Spain. pp.1-12
...
hal-02962224v1  Conference papers
Ewan DunbarJulien KaradayiMathieu BernardXuan-Nga CaoRobin Algayres et al.  The Zero Resource Speech Challenge 2020: Discovering discrete subword and word units
Interspeech 2020 - Conference of the International Speech Communication Association, Oct 2020, Shangai / Virtual, China
...
hal-03106070v1  Conference papers
Christophe AliasGuillaume IoossSanjay Rajopadhye. On the Verification of Polyhedral Program Transformations
18th International Conference on High Performance Computing & Simulation (HPCS 2020), 3rd Special Session on Compiler Architecture, Design and Optimization (CADO 2020), Jan 2020, Barcelona, Spain
...
hal-02934785v1  Conference papers
Neil AyebEric RuttenSebastien BolleThierry CoupayeMarc Douet. Coordinated autonomic loops for target identification, load and error-aware Device Management for the IoT
FedCSIS 2020 - 15th Federated Conference on Computer Science and Information Systems, Sep 2020, Sofia, Bulgaria. pp.1-10
...
hal-02931077v1  Conference papers
Francisco DuranCamilo RochaGwen Salaün. Analysis of the Runtime Resource Provisioning of BPMN Processes using Maude
WRLA 2020 - 13th International Workshop on Rewriting Logic and its Applications, Apr 2020, Dublin, Ireland. pp.1-16
...
hal-02900674v1  Conference papers
Mahyar T MoghaddamEric RuttenPhilippe LalandaGuillaume Giraud. IAS: an IoT Architectural Self-adaptation Framework
14th European Conference on Software Architecture (ECSA), Sep 2020, L’Aquila, Italy
...
hal-02879294v1  Conference papers
Mouhcine MendilNicolas GastHenry-Joseph Audéoud. Collisions groupées lors du mécanisme d'évitement de collisions de CPL-G3
Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2020, Lyon, France
...
tel-02904074v1  Theses
Dong Quan Vu. Models and Solutions of Strategic Resource Allocation Problems: Approximate Equilibrium and Online Learning in Blotto Games
Computer Science and Game Theory [cs.GT]. Sorbonne Universites, UPMC University of Paris 6, 2020. English