2023
Journal articles
- titre
- Fundamentals of Compositional Rewriting Theory
- auteur
- Nicolas Behr, Russ Harmer, Jean Krivine
- article
- Journal of Logical and Algebraic Methods in Programming, 2023, 135, pp.100893. ⟨10.1016/j.jlamp.2023.100893⟩
- Accès au bibtex
-
- titre
- A lower bound for constant-size local certification
- auteur
- Virginia Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni, Pegah Pournajafi, Jean-Florent Raymond
- article
- Theoretical Computer Science, 2023, 971, pp.114068. ⟨10.1016/j.tcs.2023.114068⟩
- Accès au bibtex
-
- titre
- Informatique et mathématiques : pourquoi mettre les femmes à l'honneur ?
- auteur
- Nathalie Revol
- article
- MathémaTICE, 2023, 81
- Accès au texte intégral et bibtex
-
- titre
- On Adaptivity in Quantum Testing
- auteur
- Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir
- article
- Transactions on Machine Learning Research Journal, 2023
- Accès au texte intégral et bibtex
-
- titre
- Checkpointing strategies to tolerate non-memoryless failures on HPC platforms
- auteur
- Anne Benoit, Lucas Perotin, Yves Robert, Frédéric Vivien
- article
- ACM Transactions on Parallel Computing, In press, ⟨10.1145/3624560⟩
- Accès au texte intégral et bibtex
-
- titre
- About the Cost of Central Privacy in Density Estimation
- auteur
- Clément Lalanne, Aurélien Garivier, Rémi Gribonval
- article
- Transactions on Machine Learning Research Journal, 2023
- Accès au texte intégral et bibtex
-
- titre
- Private Quantiles Estimation in the Presence of Atoms
- auteur
- Clément Lalanne, Clément Gastaud, Nicolas Grislain, Aurélien Garivier, Rémi Gribonval
- article
- Information and Inference, 2023, ⟨10.1093/imaiai/iaad030⟩
- Accès au texte intégral et bibtex
-
- titre
- Communication Lower Bounds and Optimal Algorithms for Multiple Tensor-Times-Matrix Computation
- auteur
- Hussam Al Daas, Grey Ballard, Laura Grigori, Suraj Kumar, Kathryn Rouse
- article
- SIAM Journal on Matrix Analysis and Applications, In press
- Accès au texte intégral et bibtex
-
- titre
- Resource-Constrained Scheduling Algorithms for Stochastic Independent Tasks With Unknown Probability Distribution
- auteur
- Yiqin Gao, Yves Robert, Frédéric Vivien
- article
- Algorithmica, 2023, 85 (8), pp.2363-2394. ⟨10.1007/s00453-023-01100-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Approximation speed of quantized vs. unquantized ReLU neural networks and beyond
- auteur
- Antoine Gonon, Nicolas Brisebarre, Rémi Gribonval, Elisa Riccietti
- article
- IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977. ⟨10.1109/TIT.2023.3240360⟩
- Accès au texte intégral et bibtex
-
- titre
- Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints
- auteur
- Zhiwei Wu, Li Han, Jing Liu, Yves Robert, Frédéric Vivien
- article
- Journal of Parallel and Distributed Computing, 2023, 176, pp.1-16. ⟨10.1016/j.jpdc.2023.02.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Strengthening a theorem of Meyniel
- auteur
- Quentin Deschamps, Carl Feghali, František Kardoš, Clément Legrand-Duchesne, Théo Pierron
- article
- SIAM Journal on Discrete Mathematics, 2023, 37 (2), ⟨10.1137/22M1474394⟩
- Accès au texte intégral et bibtex
-
- titre
- Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
- auteur
- Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
- article
- ACM Computing Surveys, In press, ⟨10.1145/3595376⟩
- Accès au bibtex
-
- titre
- Floating-point arithmetic
- auteur
- Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller
- article
- Acta Numerica, 2023, 32, pp.203-290. ⟨10.1017/S0962492922000101⟩
- Accès au texte intégral et bibtex
-
- titre
- Analysis of a Decentralized Bayesian Optimization Algorithm for Improving Spatial Reuse in Dense WLANs
- auteur
- Anthony Bardou, Thomas Begin
- article
- Computer Communications, 2023, 208, pp.158-170. ⟨10.1016/j.comcom.2023.06.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Controlling Wasserstein Distances by Kernel Norms with Application to Compressive Statistical Learning
- auteur
- Titouan Vayer, Rémi Gribonval
- article
- Journal of Machine Learning Research, 2023, 24 (149), pp.1--51
- Accès au texte intégral et bibtex
-
- titre
- On the Statistical Complexity of Estimation and Testing under Privacy Constraints
- auteur
- Clément Lalanne, Aurélien Garivier, Rémi Gribonval
- article
- Transactions on Machine Learning Research Journal, 2023
- Accès au texte intégral et bibtex
-
- titre
- An overview of MAC energy-saving mechanisms in Wi-Fi
- auteur
- Esther Guérin, Thomas Begin, Isabelle Guérin Lassous
- article
- Computer Communications, 2023, 203, pp.129-145. ⟨10.1016/j.comcom.2023.03.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Accurate calculation of Euclidean Norms using Double-word arithmetic
- auteur
- Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
- article
- ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩
- Accès au texte intégral et bibtex
-
- titre
- Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
- auteur
- Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
- article
- Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Scheduling Strategies for Firm Semi-Periodic Real-Time Tasks
- auteur
- Yiqin Gao, Guillaume Pallez, Yves Robert, Frédéric Vivien
- article
- IEEE Transactions on Computers, 2023, 72 (1), pp.55-68. ⟨10.1109/TC.2022.3208203⟩
- Accès au texte intégral et bibtex
-
- titre
- Le dilemme du fabricant de tables
- auteur
- Sylvie Boldo, Nicolas Brisebarre, Jean-Michel Muller
- article
- La Recherche, 2023, 572
- Accès au bibtex
-
- titre
- Mitigating starvation in dense WLANs: A multi-armed Bandit solution
- auteur
- Anthony Bardou, Thomas Begin, Anthony Busson
- article
- Ad Hoc Networks, 2023, 138, pp.103015. ⟨10.1016/j.adhoc.2022.103015⟩
- Accès au texte intégral et bibtex
-
- titre
- Grundy Coloring and Friends, Half-Graphs, Bicliques
- auteur
- Pierre Aboulker, Édouard Bonnet, Eun Jung Kim, Florian Sikora
- article
- Algorithmica, 2023, 85 (1), pp.1-28. ⟨10.1007/s00453-022-01001-2⟩
- Accès au bibtex
-
- titre
- Minimizing I/Os in Out-of-Core Task Tree Scheduling
- auteur
- Loris Marchal, Samuel McCauley, Bertrand Simon, Frédéric Vivien
- article
- International Journal of Foundations of Computer Science, 2023, 34 (01), pp.51-80. ⟨10.1142/s0129054122500186⟩
- Accès au texte intégral et bibtex
-
- titre
- An Embedding of ReLU Networks and an Analysis of their Identifiability
- auteur
- Pierre Stock, Rémi Gribonval
- article
- Constructive Approximation, 2023, 57, p. 853-899. ⟨10.1007/s00365-022-09578-1⟩
- Accès au texte intégral et bibtex
-
- titre
- HINTS: A methodology for IoT network technology and configuration decision
- auteur
- Samir Si-Mohammed, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc
- article
- Internet of Things, 2023, pp.100678. ⟨10.1016/j.iot.2023.100678⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling, evaluating and orchestrating heterogeneous environmental leverages for large scale data centers management
- auteur
- Vladimir Ostapenco, Laurent Lefèvre, Anne-Cécile Orgerie, Benjamin Fichel
- article
- International Journal of High Performance Computing Applications, 2023, 37 (3-4), ⟨10.1177/10943420231172978⟩
- Accès au bibtex
-
- titre
- Multiple-Access Channel Coding with Non-Signaling Correlations
- auteur
- Omar Fawzi, Paul Fermé
- article
- IEEE Transactions on Information Theory, 2023, pp.1-51. ⟨10.1109/TIT.2023.3301719⟩
- Accès au texte intégral et bibtex
-
- titre
- Taming data locality for task scheduling under memory constraint in runtime systems
- auteur
- Maxime Gonthier, Loris Marchal, Samuel Thibault
- article
- Future Generation Computer Systems, In press, ⟨10.1016/j.future.2023.01.024⟩
- Accès au texte intégral et bibtex
-
- titre
- Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic
- auteur
- Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
- article
- IEEE Transactions on Emerging Topics in Computing, In press, ⟨10.1109/TETC.2023.3294986⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Does a sparse ReLU network training problem always admit an optimum?
- auteur
- Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval
- article
- Thirty-seventh Conference on Neural Information Processing Systems, Dec 2023, New Orleans (Lousiane), United States
- Accès au texte intégral et bibtex
-
- titre
- Abide by the Law and Follow the Flow: Conservation Laws for Gradient Flows
- auteur
- Sibylle Marcotte, Rémi Gribonval, Gabriel Peyré
- article
- Thirty-seventh Conference on Neural Information Processing Systems, Dec 2023, New Orleans (Louisiane), United States
- Accès au texte intégral et bibtex
-
- titre
- When to checkpoint at the end of a fixed-length reservation?
- auteur
- Quentin Barbut, Anne Benoit, Thomas Herault, Yves Robert, Frédéric Vivien
- article
- Fault Tolerance for HPC at eXtreme Scales (FTXS) Workshop, Nov 2023, Denver, United States
- Accès au texte intégral et bibtex
-
- titre
- Improving Simulations of Task-Based Applications on Complex NUMA Architectures
- auteur
- Idriss Daoudi, Thierry Gautier, Samuel Thibault, Swann Perarnau
- article
- IWOMP 2023 - 19th International Workshop on OpenMP, Sep 2023, Bristol, United Kingdom. pp.195-209, ⟨10.1007/978-3-031-40744-4_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Suspending OpenMP Tasks on Asynchronous Events: Extending the Taskwait Construct
- auteur
- Romain Pereira, Maël Martin, Adrien Roussel, Thierry Gautier, Patrick Carribault
- article
- IWOMP 23 - International Workshop on OpenMP, Sep 2023, Bristol, United Kingdom. ⟨10.1007/978- 3-031-40744-4_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Engineering fast algorithms for the bottleneck matching problem
- auteur
- Ioannis Panagiotas, Grégoire Pichon, Somesh Singh, Bora Uçar
- article
- ESA 2023 - The 31st Annual European Symposium on Algorithms, Sep 2023, Amsterdam (Hollande), Netherlands
- Accès au texte intégral et bibtex
-
- titre
- Bit-Stealing Made Legal
- auteur
- Thaïs Baudon, Gabriel Radanne, Laure Gonnord
- article
- ICFP 2023, Sep 2023, Seattle (USA), United States. ⟨10.1145/3607858⟩
- Accès au texte intégral et bibtex
-
- titre
- Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform
- auteur
- Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
- article
- 30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, Oregon, USA, France
- Accès au texte intégral et bibtex
-
- titre
- Towards Machine-Efficient Rational L ∞ -Approximations of Mathematical Functions
- auteur
- Nicolas Brisebarre, Silviu-Ioan Filip
- article
- 30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, United States
- Accès au texte intégral et bibtex
-
- titre
- Factorisation butterfly par identification algorithmique de blocs de rang un
- auteur
- Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval
- article
- XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- Implicit Differentiation for Hyperparameter Tuning the Weighted Graphical Lasso
- auteur
- Can Pouliquen, Paulo Gonçalves, Mathurin Massias, Titouan Vayer
- article
- GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble (France), France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Sparsity in neural networks can improve their privacy
- auteur
- Antoine Gonon, Léon Zheng, Clément Lalanne, Quoc-Tung Le, Guillaume Lauga, Can Pouliquen
- article
- GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- Hector: A Framework to Design and Evaluate Scheduling Strategies in Persistent Key-Value Stores
- auteur
- Louis-Claude Canon, Anthony Dugois, Loris Marchal, Etienne Rivière
- article
- ICPP 2023 - 52nd International Conference on Parallel Processing, Aug 2023, Salt Lake City, United States
- Accès au texte intégral et bibtex
-
- titre
- Investigating Dependency Graph Discovery Impact on Task-based MPI+OpenMP Applications Performances
- auteur
- Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier
- article
- 52nd International Conference on Parallel Processing (ICPP 2023), Aug 2023, Salt Lake City, United States. ⟨10.1145/3605573.3605602⟩
- Accès au texte intégral et bibtex
-
- titre
- Scaling is all you need: quantization of butterfly matrix products via optimal rank-one quantization
- auteur
- Rémi Gribonval, Theo Mary, Elisa Riccietti
- article
- 29ème Colloque sur le traitement du signal et des images (GRETSI), Aug 2023, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- Private Statistical Estimation of Many Quantiles
- auteur
- Clément Lalanne, Aurélien Garivier, Rémi Gribonval
- article
- ICML 2023 - 40th International Conference on Machine Learning, Jul 2023, Honolulu, United States
- Accès au texte intégral et bibtex
-
- titre
- A living monograph for graph transformation
- auteur
- Nicolas Behr, Russ Harmer
- article
- 16th International Conference on Graph Transformation (ICGT 2023), Jul 2023, Leicester, United Kingdom. pp.281-291, ⟨10.1007/978-3-031-36709-0_15⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantum Channel Certification with Incoherent Strategies
- auteur
- Omar Fawzi, Nicolas Flammarion, Aurélien Garivier, Aadil Oufkir
- article
- COLT 23 - 36th Annual Conference on Learning Theory, Jul 2023, Bangalore, India. pp.1-58
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Recognition of Regular Functions
- auteur
- Mikołaj Bojańczyk, Lê Thành Dũng Nguyễn
- article
- 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.117:1-117:19, ⟨10.4230/LIPIcs.ICALP.2023.117⟩
- Accès au texte intégral et bibtex
-
- titre
- Etat de l’art sur la co-simulation robotique et réseau des systèmes multi-robots
- auteur
- Théotime Balaguer, Olivier Simonin, Isabelle Guérin Lassous, Isabelle Fantoni
- article
- 31èmes Journées Francophones des Systèmes Multi-Agents (JFSM 2023), Jul 2023, Strasbourg, France
- Accès au texte intégral et bibtex
-
- titre
- Exploiting data locality to maximize the performance of data-sharing tasksets
- auteur
- Maxime Gonthier
- article
- ComPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2023, Annecy, France
- Accès au texte intégral et bibtex
-
- titre
- Type Isomorphisms for Multiplicative-Additive Linear Logic
- auteur
- Rémi Di Guardia, Olivier Laurent
- article
- 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.2, ⟨10.4230/LIPIcs.FSCD.2023.26⟩
- Accès au texte intégral et bibtex
-
- titre
- Sample-Optimal Quantum Process Tomography with non-adaptive Incoherent Measurements
- auteur
- Aadil Oufkir
- article
- 2023 IEEE International Symposium on Information Theory (ISIT'23), Jun 2023, Taipei, Taiwan
- Accès au texte intégral et bibtex
-
- titre
- Parallel Memory-Independent Communication Bounds for SYRK
- auteur
- Hussam Al Daas, Grey Ballard, Laura Grigori, Suraj Kumar, Kathryn Rouse
- article
- SPAA '23 - ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2023, Orlando, United States. ⟨10.1145/3558481.3591072⟩
- Accès au texte intégral et bibtex
-
- titre
- Arithmétique des Ordinateurs
- auteur
- Jean-Michel Muller
- article
- Colloque Raisonner en arithmétique, est-ce incongru ?, Jun 2023, Talence (33), France
- Accès au texte intégral et bibtex
-
- titre
- On the width of complicated JSJ decompositions
- auteur
- Kristóf Huszár, Jonathan Spreer
- article
- 39th International Symposium on Computational Geometry (SoCG 2023), Jun 2023, Dallas, United States. pp.42:1--42:18, ⟨10.4230/LIPIcs.SoCG.2023.42⟩
- Accès au texte intégral et bibtex
-
- titre
- Experiment-driven platform for link quality estimation in IEEE 802.11 WLANs
- auteur
- Thierry Arrabal, Marija Stojanova, Isabelle Guérin-Lassous, Joris Picot
- article
- IEEE 24th International Conference on High-Performance Switching and Routing (HPSR 2023), Jun 2023, Albuquerque, NM, United States
- Accès au texte intégral et bibtex
-
- titre
- Multilevel FISTA for image restoration
- auteur
- Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
- article
- ICASSP, IEEE, Jun 2023, Rhodes, Greece. ⟨10.48550/arXiv.2210.15940⟩
- Accès au texte intégral et bibtex
-
- titre
- StackNet: IoT Network Simulation as a Service
- auteur
- Samir Si-Mohammed, Zakaria Fraoui, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc
- article
- IEEE International Conference on Communications (ICC 2023), IEEE, May 2023, Rome, Italy
- Accès au texte intégral et bibtex
-
- titre
- COSIMIA : Combiner Simulation et Apprentissage Automatique pour Optimiser la Configuration des Réseaux IoT
- auteur
- Samir Si-Mohammed, Thomas Begin, Isabelle Guérin Lassous, Pascale Vicat-Blanc
- article
- CoRes 2023 - 8èmes Rencontres Francophones sur la Conception de protocoles, l'évaluation de performances et l'expérimentation de Réseaux de communication, May 2023, Cargese, France
- Accès au texte intégral et bibtex
-
- titre
- Services Orchestration at the Edge and in the Cloud on Energy-Aware Precision Beekeeping Systems
- auteur
- Hugo Hadjur, Laurent Lefèvre, Doreid Ammar
- article
- PAISE 2023: 5th Workshop on Parallel AI and Systems for the Edge - co-conducted with IPDPS 2023, May 2023, St. Petersburg, FL, United States. ⟨10.1109/IPDPSW59300.2023.00129⟩
- Accès au texte intégral et bibtex
-
- titre
- Évolution du matériel et des services logiciels disponibles dans Grid’5000
- auteur
- Simon Delamare, David Margery, Pierre Neyron, Lucas Nussbaum
- article
- GRID 2023 - 20 ans du projet GRID'5000 : 20 ans du projet, F. Desprez; L. Lefèvre; L. Nussbaum; C. Perez; O. Richard, May 2023, Lyon, France
- Accès au texte intégral et bibtex
-
- titre
- Multilevel Proximal Methods for Image Restoration
- auteur
- Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
- article
- Optimization and Control in Burgundy, May 2023, Dijon, France
- Accès au bibtex
-
- titre
- An experimental comparison of software-based power meters: focus on CPU and GPU
- auteur
- Mathilde Jay, Vladimir Ostapenco, Laurent Lefèvre, Denis Trystram, Anne-Cécile Orgerie, Benjamin Fichel
- article
- CCGrid 2023 - 23rd IEEE/ACM international symposium on cluster, cloud and internet computing, May 2023, Bangalore, India. pp.1-13
- Accès au texte intégral et bibtex
-
- titre
- Self-supervised learning with rotation-invariant kernels
- auteur
- Léon Zheng, Gilles Puy, Elisa Riccietti, Patrick Pérez, Rémi Gribonval
- article
- The Eleventh International Conference on Learning Representations, May 2023, Kigali, Rwanda
- Accès au texte intégral et bibtex
-
- titre
- Coordinate Descent for SLOPE
- auteur
- Johan Larsson, Quentin Klopfenstein, Mathurin Massias, Jonas Wallin
- article
- Proceedings of The 26th International Conference on Artificial Intelligence and Statistics, Apr 2023, Valencia, Spain
- Accès au texte intégral et bibtex
-
- titre
- Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
- auteur
- Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond
- article
- DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
- Accès au texte intégral et bibtex
-
- titre
- Measuring the Performance of iCloud Private Relay
- auteur
- Trevisan Martino, Idilio Drago, Paul Schmitt, Francesco Bronzino
- article
- Passive and Active Measurement Conference 2023, Mar 2023, Virtual, France
- Accès au texte intégral et bibtex
-
- titre
- Enhancing productivity on heterogeneous supercomputers with task-based programming model
- auteur
- Adrien Roussel, Mickael Boichot, Romain Pereira, Manuel Ferat
- article
- SIAM CSE 2023 - SIAM Conference on Computational Science and Engineering, Feb 2023, Amsterdam, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- On Best-Arm Identification with a Fixed Budget in Non-Parametric Multi-Armed Bandits
- auteur
- Antoine Barrier, Aurélien Garivier, Gilles Stoltz
- article
- ALT 2023 - The 34th International Conference on Algorithmic Learning Theory, Feb 2023, Singapour, Singapore
- Accès au texte intégral et bibtex
-
- titre
- Separation of Concerns in an Edge-Based Compartmental Modeling Framework
- auteur
- A Yvan Guifo Fodjo, Jerry L. Lacmou Zeutouo, Samuel Bowong
- article
- 16th International Joint Conference on Biomedical Engineering Systems and Technologies, Feb 2023, Lisbonne, Portugal
- Accès au texte intégral et bibtex
-
- titre
- Effectful Programming across Heterogeneous Computations -Work in Progress
- auteur
- Jean Abou-Samra, Yannick Zakowski, Martin Bodin
- article
- JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23
- Accès au texte intégral et bibtex
-
- titre
- Retrofitting OCaml modules
- auteur
- Clément Blaudeau, Didier Rémy, Gabriel Radanne
- article
- JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.59-100
- Accès au texte intégral et bibtex
-
- titre
- SkyData : Rise of the Data How can the Intelligent and Autonomous Data paradigm become real?
- auteur
- Etienne Mauffret, Elise Jeanneau, Eddy Caron
- article
- The International Conference on Cloud Computing and Services Science (CLOSER), Insticc, Jan 2023, Prague (Czech Republic), Czech Republic. pp.8
- Accès au texte intégral et bibtex
-
- titre
- Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
- auteur
- Marthe Bonamy, Édouard Bonnet, Hugues Déprés, Louis Esperet, Colin Geniet, Claire Hilaire, Stéphan Thomassé, Alexandra Wesolek
- article
- 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Jan 2023, Florence, Italy. pp.3006-3028, ⟨10.1137/1.9781611977554.ch116⟩
- Accès au bibtex
-
Book sections
- titre
- Actors for Innovation in Green IT
- auteur
- Christina Herzog, Laurent Lefevre, Jean-Marc Pierson
- article
- Hilty, Lorenz; Aebischer, Bernard. ICT Innovations for Sustainability: Results of the ICT4S conference held February 14-16, 2013 in ETH Zurich, Switzerland, 310, Springer, pp.49-67, 2023, Advances in Intelligent Systems and Computing ; ISSN: 2194-5357, 978-3-319-09228-7. ⟨10.1007/978-3-319-09228-7_3⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Good practices in digital service ecodesign for software developers
- auteur
- Cyrille Bonamy, Cédric Boudinet, Laurent Bourgès, Karin Dassas, Laurent Lefèvre, Benjamin Ninassi, Francis Vivat
- article
- 2023, pp.1-19
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Memory-Aware Scheduling Of Tasks Sharing Data On Multiple GPUs
- auteur
- Maxime Gonthier, Loris Marchal, Samuel Thibault
- article
- ISC 2023 - ISC High Performance 2023, May 2023, Hamburg, Germany. Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
Documents associated with scientific events
- titre
- Memory-Aware Scheduling of Tasks Sharing Data on Multiple GPUs
- auteur
- Maxime Gonthier, Loris Marchal, Samuel Thibault
- article
- JLESC 2023 -15th JLESC Workshop, Mar 2023, Bordeaux, France
- Accès au texte intégral et bibtex
-
Reports
- titre
- Refinements for Open Automata (Extended Version)
- auteur
- Ludovic Henrio, Eric Madelaine, Rabéa Ameur-Boulifa, Quentin Corradi
- article
- RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023
- Accès au texte intégral et bibtex
-
- titre
- Scheduling Variable Capacity Resources for Sustainability Workshop
- auteur
- Anne Benoit, Andrew A Chien, Yves Robert
- article
- ROMA (INRIA Rhône-Alpes / LIP Laboratoire de l’Informatique du Parallélisme); University of Chicago. 2023
- Accès au texte intégral et bibtex
-
- titre
- Asymptotic Performance and Energy Consumption of SLACK
- auteur
- Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Heam
- article
- RR-9501, Inria Lyon. 2023, pp.27
- Accès au texte intégral et bibtex
-
- titre
- Revisiting I/O bandwidth-sharing strategies for HPC applications
- auteur
- Anne Benoit, Thomas Herault, Lucas Perotin, Yves Robert, Frédéric Vivien
- article
- RR-9502 v3, INRIA. 2023, pp.57
- Accès au texte intégral et bibtex
-
Software
- titre
- Code for reproducible research for the article "OPTIMAL QUANTIZATION OF RANK-ONE MATRICES IN FLOATING-POINT ARITHMETIC—WITH APPLICATIONS TO BUTTERFLY FACTORIZATIONS
- auteur
- Rémi Gribonval, Elisa Riccietti, Théo Mary
- article
- 2023, ⟨swh:1:dir:98eaa2697116f3815573f266465e4a7800d96af8;origin=https://hal.archives-ouvertes.fr/hal-04124171;visit=swh:1:snp:5c0e415b900b448623781225e10029b1e0e4201a;anchor=swh:1:rel:0c27febd089e0c3a3819886fddda683e400d4462;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- GNU MPFR
- auteur
- Guillaume Hanrot, Paul Zimmermann, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny
- article
- 2023, ⟨swh:1:rel:b5e308c5dd459a81d8523e1dcb84c19dbc47b51b;origin=https://gitlab.inria.fr/mpfr/mpfr;visit=swh:1:snp:15595615280f9f91d107c1f4e9fa915fda0076dc⟩
- Accès au bibtex
-
Theses
- titre
- On Adaptivity in Classical and Quantum Learning
- auteur
- Aadil Oufkir
- article
- Data Structures and Algorithms [cs.DS]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0037⟩
- Accès au texte intégral et bibtex
-
- titre
- Online Learning for the Black-Box Optimization of Wireless Networks
- auteur
- Anthony Bardou
- article
- Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0045⟩
- Accès au texte intégral et bibtex
-
- titre
- Conception de nanostructures ADN par des méthodes géométriques : Modèles, logiciel et expériences
- auteur
- Nicolas Levy
- article
- Modeling and Simulation. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0025⟩
- Accès au texte intégral et bibtex
-
- titre
- A full stack simulator for HPC: Multi-level modelling of the BXI interconnect to predict the performance of MPI applications
- auteur
- Julien Emmanuel
- article
- Modeling and Simulation. Université Claude Bernard Lyon 1, 2023. English. ⟨NNT : 2023LYO10029⟩
- Accès au texte intégral et bibtex
-
- titre
- Total cost modeling of software ownership in Virtual Network Functions
- auteur
- Ghoshana Bista
- article
- Information Theory [cs.IT]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0003⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- The supersingular endomorphism ring problem given one endomorphism
- auteur
- Arthur Herlédan Le Merdy, Benjamin Wesolowski
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Signal reconstruction using determinantal sampling
- auteur
- Ayoub Belhadji, Rémi Bardenet, Pierre Chainais
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Minimization of differential equations and algebraic values of $E$-functions
- auteur
- Alin Bostan, Tanguy Rivoal, Bruno Salvy
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Towards a correctly-rounded and fast power function in binary64 arithmetic
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Holonomic equations and efficient random generation of binary trees
- auteur
- Pierre Lescanne
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- A generic scheduler to foster data locality for GPU and out-of-core task-based applications
- auteur
- Maxime Gonthier, Samuel Thibault, Loris Marchal
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- IML FISTA: A Multilevel Framework for Inexact and Inertial Forward-Backward. Application to Image Restoration
- auteur
- Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Optimal quantization of rank-one matrices in floating-point arithmetic---with applications to butterfly factorizations
- auteur
- Rémi Gribonval, Theo Mary, Elisa Riccietti
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Fast and reliable computation of the instantaneous orbital collision probability
- auteur
- Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- A Block-Coordinate Approach of Multi-level Optimization with an Application to Physics-Informed Neural Networks
- auteur
- Serge Gratton, Valentin Mercier, Elisa Riccietti, Philippe L Toint
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- SNEkhorn: Dimension Reduction with Symmetric Entropic Affinities
- auteur
- Hugues Van Assel, Titouan Vayer, Rémi Flamary, Nicolas Courty
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Méthodes multi-niveaux pour la restauration d'images hyperspectrales
- auteur
- Guillaume Lauga, Elisa Riccietti, Nelly Pustelnik, Paulo Gonçalves
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic
- auteur
- Nathalie Revol
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Entropic Wasserstein component analysis
- auteur
- Antoine Collas, Titouan Vayer, Rémi Flamary, Arnaud Breloy
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Elimination ideal and bivariate resultant over finite fields
- auteur
- Gilles Villard
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Exact computations with quasiseparable matrices
- auteur
- Clément Pernet, Hippolyte Signargout, Gilles Villard
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Leading constants of rank deficient Gaussian elimination
- auteur
- Clément Pernet, Hippolyte Signargout, Gilles Villard
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Deciding contextual equivalence of ν-calculus with effectful contexts (full version)
- auteur
- Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Twin-width VIII: delineation and win-wins
- auteur
- Édouard Bonnet, Dibyayan Chakraborty, Eun Jung Kim, Noleen Köhler, Raul Lopes, Stéphan Thomassé
- article
- 2023
- Accès au bibtex
-
- titre
- Lower Bounds on Learning Pauli Channels
- auteur
- Omar Fawzi, Aadil Oufkir, Daniel Stilck França
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Environmental assessment of projects involving AI methods
- auteur
- Laurent Lefèvre, Anne-Laure Ligozat, Denis Trystram, Sylvain Bouveret, Aurélie Bugeau, Jacques Combaz, Emmanuelle Frenoux, Gaël Guennebaud, Julien Lefèvre, Jean-Philippe Nicolaï, Karin Dassas
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Integer points close to a transcendental curve and correctly-rounded evaluation of a function
- auteur
- Nicolas Brisebarre, Guillaume Hanrot
- article
- 2023
- Accès au texte intégral et bibtex
-