2020

Publications HAL de la structure 178327; 179717; 528454; 205728; 458310; 179718; 35418

2020

Journal articles

titre: Reversibility and composition of rewriting in hierarchies
auteur: Russ Harmer, Eugenia Oshurko
article: EPTCS, 2020
Accès au texte intégral et bibtex

titre: Semi-automatic extraction of functional dynamic networks describing patient's epileptic seizures
auteur: Gaëtan Frusque, Pierre Borgnat, Paulo Gonçalves, Julien Jung
article: Frontiers in Neurology, 2020, 11, ⟨10.3389/fneur.2020.579725⟩
Accès au texte intégral et bibtex

titre: Elementary Functions and Approximate Computing
auteur: Jean-Michel Muller
article: Proceedings of the IEEE, 2020, 108 (12), pp.1558-2256. ⟨10.1109/JPROC.2020.2991885⟩
Accès au texte intégral et bibtex

titre: Alternating Tree Automata with Qualitative Semantics
auteur: Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
article: ACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩
Accès au texte intégral et bibtex

titre: On the Exact Analysis of an Idealized Quantum Switch
auteur: Gayane Vardoyan, Saikat Guha, Philippe Nain, Don Towsley
article: Performance Evaluation, 2020, Performance Evaluation, 144, ⟨10.1016/j.peva.2020.102141⟩
Accès au texte intégral et bibtex

titre: Delivering Video-on-Demand services with IEEE 802.11p to major non-urban roads: A stochastic performance analysis
auteur: Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous, Azzedine Boukerche
article: Computer Networks, 2020, 182, pp.1-12. ⟨10.1016/j.comnet.2020.107440⟩
Accès au texte intégral et bibtex

titre: Temporal social network reconstruction using wireless proximity sensors: model selection and consequences
auteur: Sicheng Dai, Hélène Bouchet, Aurélie Nardy, Eric Fleury, Jean-Pierre Chevrot, Màrton Karsai
article: EPJ Data Science, 2020, 9 (1), ⟨10.1140/epjds/s13688-020-00237-8⟩
Accès au bibtex

titre: The Authorization Policy Existence Problem
auteur: Pierre Berge, Jason Crampton, Gregory Gutin, Rémi Watrigant
article: IEEE Transactions on Dependable and Secure Computing, 2020, 17 (6), pp.1333-1344. ⟨10.1109/TDSC.2018.2883416⟩
Accès au bibtex

titre: Interpretable socioeconomic status inference from aerial imagery through urban patterns
auteur: Jacob Levy Abitbol, Màrton Karsai
article: Nature Machine Intelligence, 2020, 2 (11), pp.684-692. ⟨10.1038/s42256-020-00243-5⟩
Accès au bibtex

titre: Developing Accurate and Scalable Simulators of Production Workflow Management Systems with WRENCH
auteur: Henri Casanova, Rafael Ferreira da Silva, Ryan Tanaka, Suraj Pandey, Gautam Jethwani, William Koch, Spencer Albrecht, James Oeth, Frédéric Suter
article: Future Generation Computer Systems, 2020, 112, pp.162-175. ⟨10.1016/j.future.2020.05.030⟩
Accès au texte intégral et bibtex

titre: Programming Strategies for Irregular Algorithms on the Emu Chick
auteur: Eric Hein, Srinivas Eswar, Abdurrahman Yaşar, Jiajia Li, Jeffrey Young, Thomas Conte, Ümit V Çatalyürek, Richard Vuduc, Jason Riedy, Bora Uçar
article: ACM Transactions on Parallel Computing, 2020, 7 (4), pp.1-25. ⟨10.1145/3418077⟩
Accès au texte intégral et bibtex

titre: Performance Analysis and Optimality Results for Data-Locality Aware Tasks Scheduling with Replicated Inputs
auteur: Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
article: Future Generation Computer Systems, 2020, 111, pp.582-598. ⟨10.1016/j.future.2019.08.024⟩
Accès au texte intégral et bibtex

titre: ECSNeT++ : A simulator for distributed stream processing on edge and cloud environments
auteur: Gayashan Amarasinghe, Marcos Dias de Assuncao, Aaron Harwood, Shanika Karunasekera
article: Future Generation Computer Systems, 2020, 111, pp.401-418. ⟨10.1016/j.future.2019.11.014⟩
Accès au texte intégral et bibtex

titre: On the complexity of colouring antiprismatic graphs
auteur: Myriam Preissmann, Cléophée Robin, Nicolas Trotignon
article: Algorithmica, 2020, 83 (2), pp.589-612. ⟨10.1007/s00453-020-00767-7⟩
Accès au bibtex

titre: Inference of a clear channel assessment based conflict graph
auteur: Lafdal Abdelwedoud, Anthony Busson, Isabelle Guérin-Lassous, Marion Foare, Mohammed L. Diakite, Mohamedade Farouk Nanne
article: Internet Technology Letters, 2020, pp.1-6. ⟨10.1002/itl2.227⟩
Accès au bibtex

titre: Computation of Tight Enclosures for Laplacian Eigenvalues
auteur: Joel Dahne, Bruno Salvy
article: SIAM Journal on Scientific Computing, 2020, 42 (5), pp.A3210-A3232. ⟨10.1137/20M1326520⟩
Accès au bibtex

titre: Resource Allocation in One-dimensional Distributed Service Networks with Applications
auteur: Nitish K Panigrahy, Prithwish Basu, Philippe Nain, Don Towsley, Ananthram Swami, Kevin S Chan, Kin K Leung
article: Performance Evaluation, 2020, 142, ⟨10.1016/j.peva.2020.102110⟩
Accès au texte intégral et bibtex

titre: Spatial and temporal regularization to estimate COVID-19 reproduction number R(t): Promoting piecewise smoothness via convex optimization
auteur: Patrice Abry, Nelly Pustelnik, Stéphane G. Roux, Pablo Jensen, Patrick Flandrin, Rémi Gribonval, Charles-Gérard Lucas, Éric Guichard, Pierre Borgnat, Nicolas B. Garnier
article: PLoS ONE, 2020, 15 (8), pp.e0237901. ⟨10.1371/journal.pone.0237901⟩
Accès au texte intégral et bibtex

titre: Knowledge representation and update in hierarchies of graphs
auteur: Russ Harmer, Eugenia Oshurko
article: Journal of Logical and Algebraic Methods in Programming, 2020, 114, pp.100559. ⟨10.1016/j.jlamp.2020.100559⟩
Accès au texte intégral et bibtex

titre: The (theta, wheel)-free graphs Part I: only-prism and only-pyramid graphs
auteur: Emilie Diot, Marko Radovanović, Nicolas Trotignon, Kristina Vušković
article: Journal of Combinatorial Theory, Series B, 2020, 143, pp.123-147. ⟨10.1016/j.jctb.2017.12.004⟩
Accès au texte intégral et bibtex

titre: The (theta, wheel)-free graphs Part II: Structure theorem
auteur: Marko Radovanović, Nicolas Trotignon, Kristina Vušković
article: Journal of Combinatorial Theory, Series B, 2020, 143, pp.148-184. ⟨10.1016/j.jctb.2019.07.004⟩
Accès au texte intégral et bibtex

titre: Intersection multiplicity of a sparse curve and a low-degree curve
auteur: Pascal Koiran, Mateusz Skomra
article: Journal of Pure and Applied Algebra, 2020, 224 (7), pp.106279. ⟨10.1016/j.jpaa.2019.106279⟩
Accès au texte intégral et bibtex

titre: The (theta, wheel)-free graphs Part III: Cliques, stable sets and coloring
auteur: Marko Radovanović, Nicolas Trotignon, Kristina Vušković
article: Journal of Combinatorial Theory, Series B, 2020, 143, pp.185-218. ⟨10.1016/j.jctb.2019.07.003⟩
Accès au texte intégral et bibtex

titre: A characterization of proximity operators
auteur: Rémi Gribonval, Mila Nikolova
article: Journal of Mathematical Imaging and Vision, 2020, 62, pp.773-789. ⟨10.1007/s10851-020-00951-y⟩
Accès au texte intégral et bibtex

titre: Adaptively Secure Non-interactive CCA-Secure Threshold Cryptosystems: Generic Framework and Constructions
auteur: Benoît Libert, Moti Yung
article: Journal of Cryptology, 2020, 33, pp.1405-1441. ⟨10.1007/s00145-020-09350-3⟩
Accès au texte intégral et bibtex

titre: Parameterized Hardness of Art Gallery Problems
auteur: Edouard Bonnet, Miltzow Tillmann
article: ACM Transactions on Algorithms, 2020, 16, pp.1 - 23. ⟨10.1145/3398684⟩
Accès au texte intégral et bibtex

titre: Characterizing, Modeling, and Accurately Simulating Power and Energy Consumption of I/O-intensive Scientific Workflows
auteur: Rafael Ferreira da Silva, Henri Casanova, Anne-Cécile Orgerie, Ryan Tanaka, Ewa Deelman, Frédéric Suter
article: Journal of computational science, 2020, 44, pp.101157. ⟨10.1016/j.jocs.2020.101157⟩
Accès au texte intégral et bibtex

titre: The Inverse Voronoi Problem in Graphs I: Hardness
auteur: Edouard Bonnet, Sergio Cabello, Bojan Mohar, Hubert Pérez-Rosés
article: Algorithmica, 2020
Accès au texte intégral et bibtex

titre: Scheduling on Two Types of Resources: a Survey
auteur: Olivier Beaumont, Louis-Claude Canon, Lionel Eyraud-Dubois, Giorgio Lucarelli, Loris Marchal, Clement Mommessin, Bertrand Simon, Denis Trystram
article: ACM Computing Surveys, 2020, 53 (3), ⟨10.1145/3387110⟩
Accès au texte intégral et bibtex

titre: Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform
auteur: Nicolas Brisebarre, Mioara Joldes, Jean-Michel Muller, Ana-Maria Naneş, Joris Picot
article: ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
Accès au texte intégral et bibtex

titre: Reconstruction algorithms for sums of affine powers
auteur: Ignacio García-Marco, Pascal Koiran, Timothée Pecatte
article: Journal of Symbolic Computation, 2020, 98, pp.284-318. ⟨10.1016/j.jsc.2019.07.015⟩
Accès au bibtex

titre: On the smoothing parameter and last minimum of random orthogonal lattices
auteur: Elena Kirshanova, Huyen Nguyen, Damien Stehlé, Alexandre Wallet
article: Designs, Codes and Cryptography, 2020, 88 (5), pp.931-950. ⟨10.1007/s10623-020-00719-w⟩
Accès au bibtex

titre: Curling of epithelial monolayers reveals coupling between active bending and tissue tension
auteur: Arnaud Ambrosini, Mégane Rayer, Bruno Monier, Jonathan Fouchard, Tom Wyatt, Amsha Proag, Ana Lisica, Nargess Khalilgharibi, Pierre Recho, Magali Suzanne, Alexandre Kabla, Guillaume Charras
article: Proceedings of the National Academy of Sciences of the United States of America, 2020, 117 (17), pp.9377-9383. ⟨10.1073/pnas.1917838117⟩
Accès au bibtex

titre: Combining Linear Logic and Size Types for Implicit Complexity
auteur: Patrick Baillot, Alexis Ghyselen
article: Theoretical Computer Science, 2020, 813, pp.70-99
Accès au texte intégral et bibtex

titre: Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters
auteur: Anastasia Volkova, Thibault Hilaire, Christoph Lauter
article: IEEE Transactions on Computers, 2020, 69 (4), pp.489 - 504. ⟨10.1109/TC.2019.2950658⟩
Accès au texte intégral et bibtex

titre: From Cryptomania to Obfustopia Through Secret-Key Functional Encryption
auteur: Nir Bitansky, Ryo Nishimaki, Alain Passelègue, Daniel Wichs
article: Journal of Cryptology, 2020, 33 (2), pp.357-405. ⟨10.1007/s00145-019-09337-9⟩
Accès au bibtex

titre: Partitioning tree-shaped task graphs for distributed platforms with limited memory
auteur: Changjiang Gou, Anne Benoit, Loris Marchal
article: IEEE Transactions on Parallel and Distributed Systems, 2020, 31 (7), pp.1533 - 1544. ⟨10.1109/TPDS.2020.2971200⟩
Accès au texte intégral et bibtex

titre: Scheduling independent stochastic tasks under deadline and budget constraints
auteur: Louis-Claude Canon, Aurélie Kong Win Chang, Yves Robert, Frédéric Vivien
article: International Journal of High Performance Computing Applications, 2020, 34 (2), pp.246-264. ⟨10.1177/1094342019852135⟩
Accès au texte intégral et bibtex

titre: Online Scheduling of Task Graphs on Heterogeneous Platforms
auteur: Louis-Claude Canon, Loris Marchal, Bertrand Simon, Frédéric Vivien
article: IEEE Transactions on Parallel and Distributed Systems, 2020, 31 (3), pp.721-732. ⟨10.1109/TPDS.2019.2942909⟩
Accès au texte intégral et bibtex

titre: Chain Rule for the Quantum Relative Entropy
auteur: Kun Fang, Omar Fawzi, Renato Renner, David Sutter
article: Physical Review Letters, 2020, 124 (10), ⟨10.1103/PhysRevLett.124.100501⟩
Accès au bibtex

titre: Quand des erreurs se produisent dans les supercalculateurs
auteur: Anne Benoit, Joanna Jongwane
article: Interstices, 2020
Accès au bibtex

titre: Joint embedding of structure and features via graph convolutional networks
auteur: Sébastien Lerique, Jacob Levy Abitbol, Márton Karsai
article: Applied Network Science, 2020, 5 (1), ⟨10.1007/s41109-019-0237-x⟩
Accès au texte intégral et bibtex

titre: On the Maximum Weight Independent Set Problem in Graphs without Induced Cycles of Length at Least Five
auteur: Maria Chudnovsky, Marcin Pilipczuk, Michał Pilipczuk, Stéphan Thomassé
article: SIAM Journal on Discrete Mathematics, 2020, 34 (2), pp.1472-1483. ⟨10.1137/19M1249473⟩
Accès au bibtex

titre: Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
auteur: Ludovic Henrio, Christoph Kessler, Lu Li
article: Journal of Logical and Algebraic Methods in Programming, 2020, 110, pp.1-17. ⟨10.1016/j.jlamp.2019.100498⟩
Accès au texte intégral et bibtex

titre: Full abstraction for the quantum lambda-calculus
auteur: Pierre Clairambault, Marc de Visme
article: Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-28. ⟨10.1145/3371131⟩
Accès au texte intégral et bibtex

titre: Fast computation of approximant bases in canonical form
auteur: Claude-Pierre Jeannerod, Vincent Neiger, Gilles Villard
article: Journal of Symbolic Computation, 2020, 98, pp.192-224. ⟨10.1016/j.jsc.2019.07.011⟩
Accès au texte intégral et bibtex

titre: Jointly Low-Rank and Bisparse Recovery: Questions and Partial Answers
auteur: Simon Foucart, Rémi Gribonval, Laurent Jacques, Holger Rauhut
article: Analysis and Applications, 2020, 18 (01), pp.25--48. ⟨10.1142/S0219530519410094⟩
Accès au texte intégral et bibtex

titre: The relative accuracy of $(x+y)*(x-y)$
auteur: Claude-Pierre Jeannerod
article: Journal of Computational and Applied Mathematics, 2020, pp.1-17. ⟨10.1016/j.cam.2019.112613⟩
Accès au texte intégral et bibtex

titre: Multiplex network inference with sparse tensor decomposition for functional connectivity
auteur: Gaetan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article: IEEE Transactions on Signal and Information Processing over Networks, 2020, 6, pp.316 - 328. ⟨10.1109/TSIPN.2020.2984853⟩
Accès au texte intégral et bibtex

titre: Arbitrarily many independent observers can share the nonlocality of a single maximally entangled qubit pair
auteur: Peter J Brown, Roger Colbeck
article: Physical Review Letters, 2020, 125 (9), pp.090401. ⟨10.1103/PhysRevLett.125.090401⟩
Accès au texte intégral et bibtex

titre: Slopes of multidimensional subshifts
auteur: Emmanuel Jeandel, Etienne Moutot, Pascal Vanier
article: Theory of Computing Systems, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩
Accès au texte intégral et bibtex

titre: Edge‐decomposing graphs into coprime forests
auteur: Tereza Klimošová, Stéphan Thomassé
article: Journal of Graph Theory, 2020, 97 (1), pp.21-33. ⟨10.1002/jgt.22638⟩
Accès au texte intégral et bibtex

titre: Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
auteur: Christian Doczkal, Damien Pous
article: Journal of Automated Reasoning, 2020, ⟨10.1007/s10817-020-09543-2⟩
Accès au texte intégral et bibtex

titre: Parameterized Complexity of Independent Set in H-free Graphs
auteur: Edouard Bonnet, Nicolas Bousquet, Pierre Charbit, Stéphan Thomassé, Rémi Watrigant
article: Algorithmica, 2020, Parameterized and Exact Computation, IPEC 2018, 82 (8), pp.2360-2394. ⟨10.1007/s00453-020-00730-6⟩
Accès au texte intégral et bibtex

titre: A note on perfect simulation for Exponential Random Graph Models
auteur: Andressa Cerqueira, Aurélien Garivier, Florencia Leonardi
article: ESAIM: Probability and Statistics, 2020, 24, pp.138-147. ⟨10.1051/ps/2019024⟩
Accès au bibtex

titre: Budget-aware scheduling algorithms for scientific workflows with stochastic task weights on IaaS Cloud platforms *
auteur: Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
article: Concurrency and Computation: Practice and Experience, In press
Accès au texte intégral et bibtex

titre: Distributed Link Scheduling in Wireless Networks
auteur: Jean-Claude Bermond, Dorian Mazauric, Vishal Misra, Philippe Nain
article: Discrete Mathematics, Algorithms and Applications, 2020, 12 (5), pp.1-38. ⟨10.1142/S1793830920500585⟩
Accès au texte intégral et bibtex

titre: Revisiting Call-by-value Böhm trees in light of their Taylor expansion
auteur: Emma Kerinec, Giulio Manzonetto, Michele Pagani
article: Logical Methods in Computer Science, 2020, 16 (3), ⟨10.23638/LMCS-16(3:6)2020⟩
Accès au texte intégral et bibtex

titre: A Fair and Distributed Congestion Control Mechanism for Smart Grid Neighborhood Area Networks
auteur: Juan Pablo Astudillo León, Thomas Begin, Anthony Busson, Luis Javier de La Cruz Llopis
article: Ad Hoc Networks, 2020, 104, pp.1-13. ⟨10.1016/j.adhoc.2020.102169⟩
Accès au texte intégral et bibtex

titre: Polynomial time in untyped elementary linear logic
auteur: Olivier Laurent
article: Theoretical Computer Science, 2020, 813, pp.117-142. ⟨10.1016/j.tcs.2019.10.002⟩
Accès au texte intégral et bibtex

titre: Towards 'up to context' reasoning about higher-order processes
auteur: Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article: Theoretical Computer Science, 2020, 807, pp.154-168. ⟨10.1016/j.tcs.2019.09.036⟩
Accès au texte intégral et bibtex

Conference papers

titre: Maximum Clique in Disk-Like Intersection Graphs
auteur: Édouard Bonnet, Nicolas Grelier, Tillmann Miltzow
article: FSTTCS 2020, Dec 2020, Goa, India
Accès au texte intégral et bibtex

titre: Scalable Joint Optimization of Placement and Parallelism of Data Stream Processing Applications on Cloud-Edge Infrastructure
auteur: Felipe Rodrigo de Souza, Alexandre da Silva Veith, Marcos Dias de Assuncao, Eddy Caron
article: ICSOC 2020 - 18th International Conference on Service Oriented Computing, Dec 2020, Dubai, United Arab Emirates
Accès au texte intégral et bibtex

titre: Close relatives of Feedback Vertex Set without single-exponential algorithms parameterized by treewidth
auteur: Benjamin Bergougnoux, Édouard Bonnet, Nick Brettell, O-Joung Kwon
article: IPEC 2020, Dec 2020, Hong Kong, China
Accès au texte intégral et bibtex

titre: On the Succinctness of Alternating Parity Good-for-Games Automata
auteur: Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Michał Skrzypczak
article: FSTTCS 2020, Dec 2020, Goa, India. pp.41:1--41:13
Accès au texte intégral et bibtex

titre: Alternative Constructions of Asymmetric Primitives from Obfuscation: Hierarchical IBE, Predicate Encryption, and More
auteur: Pooya Farshim, Georg Fuchsbauer, Alain Passelègue
article: Indocrypt 2020 - 21st International Conference on Cryptology, Dec 2020, Virtual conference, India
Accès au texte intégral et bibtex

titre: Simulation of the Portals 4 protocol, and case study on the BXI interconnect
auteur: Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon
article: HPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8
Accès au texte intégral et bibtex

titre: Extraction of functional dynamic networks describing patient's epileptic seizures
auteur: Gaëtan Frusque, Pierre Borgnat, Paulo Gonçalves, Julien Jung
article: CCS 2020 - Conference on Complex Systems, Dec 2020, Palma de Majorque, Spain. pp.1
Accès au bibtex

titre: Information Adoption via Repeated or Diversified Social Influence on Twitter
auteur: Jaqueline Faria de Oliveira, Humberto Torres Marques-Neto, Màrton Karsai
article: ASONAM 2020 - IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, Dec 2020, The Hague, Netherlands. pp.237-241, ⟨10.1109/ASONAM49781.2020.9381365⟩
Accès au bibtex

titre: Simulation-Sound Arguments for LWE and Applications to KDM-CCA2 Security
auteur: Benoît Libert, Khoa Nguyen, Alain Passelègue, Radu Titiu
article: Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, South Korea. pp.1-67
Accès au texte intégral et bibtex

titre: Lattice-Based E-Cash, Revisited
auteur: Amit Deo, Benoît Libert, Khoa Nguyen, Olivier Sanders
article: Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Corée (devenu virtuel pour cause de COVID), South Korea. pp.1-47
Accès au texte intégral et bibtex

titre: COVID-19 Reproduction Number Estimation: Spatial and Temporal in Convex Optimization to Promote Piecewise Smoothness
auteur: Patrice Abry, Nelly Pustelnik, Stéphane Roux, Pablo Jensen, Patrick Flandrin, Rémi Gribonval, Charles-Gérard Lucas, Éric Guichard, Pierre Borgnat, Nicolas Garnier
article: CCS 2020 - Conference on Complex Systems, Dec 2020, online, Greece. pp.1
Accès au texte intégral et bibtex

titre: Active Objects with Deterministic Behaviour
auteur: Ludovic Henrio, Einar Broch Johnsen, Violet Ka I. Pun
article: Integrated Formal Methods. IFM 2020, Nov 2020, Lugano, Switzerland. pp.181-198, ⟨10.1007/978-3-030-63461-2_10⟩
Accès au texte intégral et bibtex

titre: Proving array properties using data abstraction
auteur: Julien Braine, Laure Gonnord
article: Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
Accès au texte intégral et bibtex

titre: Leveraging Antenna Orientation to Optimize Network Performance of Fleets of UAVs
auteur: Rémy Grünblatt, Isabelle Guérin-Lassous, Olivier Simonin
article: MSWiM'20 - The 23rd International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2020, Alicante, Spain. ⟨10.1145/3416010.3423225⟩
Accès au texte intégral et bibtex

titre: Twin-width I: tractable FO model checking
auteur: Edouard Bonnet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant
article: FOCS 2020, Nov 2020, online, United States
Accès au texte intégral et bibtex

titre: Transport Optimal entre Graphes exploitant la Diffusion de la Chaleur
auteur: Amélie Barbe, Marc Sebban, Paulo Gonçalves, Pierre Borgnat, Rémi Gribonval
article: CAP 2020 - Conférence sur l'Apprentissage Automatique, Nov 2020, Vannes, France
Accès au bibtex

titre: Enhancing microservices architectures using data-driven service discovery and QoS guarantees
auteur: Zeina Houmani, Daniel Balouek-Thomert, Eddy Caron, Manish Parashar
article: CCGrid 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, Nov 2020, Melbourne, Australia. pp.1-10
Accès au texte intégral et bibtex

titre: On the Capacity Region of Bipartite and Tripartite Entanglement Switching
auteur: Gayane Vardoyan, Saikat Guha, Philippe Nain, Don Towsley
article: Performance 2020 - 38th IFIP International Symposium on Computer Performance, Modeling, Measurements and Evaluation, Nov 2020, Milan, Italy. pp.1-6
Accès au texte intégral et bibtex

titre: An Architecture for Improving Variable Radix Real and Complex Division Using Recurrence Division
auteur: James E Stine, Miloš D Ercegovac, Jean-Michel Muller
article: ACSSC 2020 - 54th Asilomar Conference on Signals, Systems, and Computers, Nov 2020, Pacific Grove, CA (virtual), United States. pp.1-5
Accès au texte intégral et bibtex

titre: Towards a fast and efficient strategy to assign channels in WLANs with channel bonding
auteur: Amel Chadda, Marija Stojanova, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article: ACM PE-WASUN, Nov 2020, Alicante, Spain. ⟨10.1145/3416011.3424755⟩
Accès au texte intégral et bibtex

titre: A Study On Optimizing VNF Software Cost
auteur: Ghoshana Bista, Eddy Caron, Anne-Lucie Vion
article: GIIS 2020 - Global Information Infrastructure and Networking Symposium, Oct 2020, Tunis, Tunisia. pp.1-4, ⟨10.1109/GIIS50753.2020.9248486⟩
Accès au texte intégral et bibtex

titre: On the Verification of Polyhedral Program Transformations
auteur: Christophe Alias, Guillaume Iooss, Sanjay Rajopadhye
article: HPCS 2020 - 18th International Conference on High Performance Computing & Simulation, CADO 2020 - 3rd Special Session on Compiler Architecture, Design and Optimization, Oct 2020, Barcelona, Spain. pp.1-8
Accès au texte intégral et bibtex

titre: Providing Software Asset Management Compliance in Green Deployment Algorithm
auteur: Noëlle Baillon-Bachoc, Eddy Caron, Arthur Chevalier, Anne-Lucie Vion
article: SETCAC 2020 - Symposium on Emerging Topics in Computing and Communications, Oct 2020, Chennai, India. pp.1-14
Accès au texte intégral et bibtex

titre: Analysis of Energy Consumption in a Precision Beekeeping System
auteur: Hugo Hadjur, Doreid Ammar, Laurent Lefèvre
article: IoT '20 - 10th International Conference on the Internet of Things, Oct 2020, Malmö, Sweden. pp.1-11, ⟨10.1145/3410992.3411010⟩
Accès au texte intégral et bibtex

titre: Etude du niveau d'agrégation des trames dans les réseaux IEEE 802.11 pour l'évaluation du niveau de charge
auteur: Nour El Houda Bouzouita, Anthony Busson, Herve Rivano
article: CORES 2020 – 5ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2020, Lyon, France. pp.1-4
Accès au texte intégral et bibtex

titre: Overlaying a hypergraph with a graph with bounded maximum degree
auteur: Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant
article: ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Accès au texte intégral et bibtex

titre: P-Aevol: an OpenMP Parallelization of a Biological Evolution Simulator, Through Decomposition in Multiple Loops
auteur: Laurent Turpin, Jonathan Rouzaud-Cornabas, Thierry Gautier, Christian Pérez
article: 16th International Workshop on OpenMP, Sep 2020, Austin, United States. pp.52-66, ⟨10.1007/978-3-030-58144-2_4⟩
Accès au texte intégral et bibtex

titre: Combinatorial Tiling for Sparse Neural Networks
auteur: Filip Pawłowski, Rob H Bisseling, Bora Uçar, Albert-Jan N Yzelman
article: 2020 IEEE High Performance Extreme Computing (virtual conference), Sep 2020, Waltham, MA, United States
Accès au texte intégral et bibtex

titre: sOMP: Simulating OpenMP Task-Based Applications with NUMA Effects
auteur: Idriss Daoudi, Philippe Virouleau, Thierry Gautier, Samuel Thibault, Olivier Aumage
article: IWOMP 2020 - 16th International Workshop on OpenMP, Sep 2020, Austin / Virtual, United States. ⟨10.1007/978-3-030-58144-2_13⟩
Accès au texte intégral et bibtex

titre: Temporal social network reconstruction using wireless proximity sensors: model selection and consequences
auteur: Sicheng Dai, Hélène Bouchet, Aurélie Nardy, Eric Fleury, Jean-Pierre Chevrot, Màrton Karsai
article: NetSci 2020 - Network Science Society Conference, Sep 2020, Rome, Italy
Accès au bibtex

titre: Graph Diffusion Wasserstein Distances
auteur: Amélie Barbe, Marc Sebban, Paulo Gonçalves, Pierre Borgnat, Rémi Gribonval
article: ECML PKDD 2020 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2020, Ghent, Belgium. pp.1-16
Accès au texte intégral et bibtex

titre: Resilient Scheduling of Moldable Jobs on Failure-Prone Platforms
auteur: Anne Benoit, Valentin Le Fèvre, Lucas Perotin, Padma Raghavan, Yves Robert, Hongyang Sun
article: CLUSTER 2020 - IEEE International Conference on Cluster Computing, Sep 2020, Kobe, Japan. pp.1-29
Accès au texte intégral et bibtex

titre: An Optimal Model for Optimizing the Placement and Parallelism of Data Stream Processing Applications on Cloud-Edge Computing
auteur: Felipe Rodrigo de Souza, Marcos Dias de Assuncao, Eddy Caron, Alexandre da Silva Veith
article: SBAC-PAD 2020 - IEEE 32nd International Symposium on Computer Architecture and High Performance Computing, Sep 2020, Porto, Portugal
Accès au texte intégral et bibtex

titre: Predicting the energy consumption of CUDA kernels using SimGrid
auteur: Dorra Boughzala, Laurent Lefèvre, Anne-Cécile Orgerie
article: SBAC-PAD 2020 - 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, Sep 2020, Porto, Portugal. pp.191-198
Accès au texte intégral et bibtex

titre: Reliable and energy-aware mapping of streaming series-parallel applications onto hierarchical platforms
auteur: Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
article: SBAC-PAD 2020 - IEEE 32nd International Symposium on Computer Architecture and High Performance Computing, Sep 2020, Porto, Portugal. pp.1-11
Accès au texte intégral et bibtex

titre: An Algorithmic Weakening of the Erdős-Hajnal Conjecture
auteur: Stéphan Thomassé, Edouard Bonnet, Rémi Watrigant, Xuan Thang Tran
article: ESA 2020, Sep 2020, Pisa, Italy
Accès au bibtex

titre: Engineering fast almost optimal algorithms for bipartite graph matching
auteur: Ioannis Panagiotas, Bora Uçar
article: ESA 2020 - European Symposium on Algorithms, Sep 2020, Pisa, Italy
Accès au texte intégral et bibtex

titre: Monads and Quantitative Equational Theories for Nondeterminism and Probability
auteur: Matteo Mio, Valeria Vignudelli
article: CONCUR 2020, Sep 2020, Vienna (on line), Austria. ⟨10.4230/LIPIcs.CONCUR.2020.28⟩
Accès au texte intégral et bibtex

titre: High-level error messages for modules through diffing
auteur: Gabriel Radanne, Florian Angeletti
article: ML 2020 - ML Family Workshop, Aug 2020, Online, France
Accès au texte intégral et bibtex

titre: A comparison of several fault-tolerance methods for the detection and correction of floating-point errors in matrix-matrix multiplication
auteur: Valentin Le Fèvre, Thomas Herault, Julien Langou, Yves Robert
article: Resilience 2020 - 12th Workshop on Resiliency in High Performance Computing in Clusters, Clouds, and Grids (colocated with Euro-Par), Aug 2020, Warsaw, Poland. pp.1-14
Accès au texte intégral et bibtex

titre: Regular resynchronizability of origin transducers is undecidable
auteur: Denis Kuperberg, Jan Martens
article: MFCS, Aug 2020, Prague, Czech Republic. ⟨10.4230/LIPIcs.MFCS.2020.51⟩
Accès au texte intégral et bibtex

titre: Blind Functional Encryption
auteur: Sébastien Canard, Adel Hamdi, Fabien Laguillaumie
article: ICICS 2020 - International Conference on Information and Communications Security, Aug 2020, Copenhagen, Denmark. pp.183-201, ⟨10.1007/978-3-030-61078-4_11⟩
Accès au texte intégral et bibtex

titre: Improving mapping for sparse direct solvers: A trade-off between data locality and load balancing
auteur: Changjiang Gou, Ali Al Zoobi, Anne Benoit, Mathieu Faverge, Loris Marchal, Grégoire Pichon, Pierre Ramet
article: EuroPar 2020 - 26th International European Conference on Parallel and Distributed Computing, Aug 2020, Warsaw / Virtual, Poland. pp.1-16
Accès au texte intégral et bibtex

titre: Robustness of the Young/Daly formula for stochastic iterative applications
auteur: Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article: ICPP 2020 - 49th International Conference on Parallel Processing, Aug 2020, Edmonton / Virtual, Canada. pp.1-11, ⟨10.1145/3404397.3404418⟩
Accès au texte intégral et bibtex

titre: Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms
auteur: Li Han, Yiqin Gao, Jing Liu, Yves Robert, Frédéric Vivien
article: ICPP 2020 - 49th International Conference on Parallel Processing, Aug 2020, Edmonton Alberta, Canada. pp.1-11, ⟨10.1145/3404397.3404419⟩
Accès au texte intégral et bibtex

titre: Testing Balanced Splitting Cycles in Complete Triangulations
auteur: Vincent Despré, Michaël Rao, Stéphan Thomassé
article: Canadian Conference on Computational Geometry (CCCG 2020), Aug 2020, Saskatchewan/Online, Canada. ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex

titre: Signatures of Knowledge for Boolean Circuits under Standard Assumptions (Full version)
auteur: Karim Baghery, Alonso González, Zaira Pindado, Carla Ràfols
article: AFRICACRYPT 2020 - 12th International Conference on Cryptology in Africa, Jul 2020, Cairo / Virtual, Egypt. pp.24-44, ⟨10.1007/978-3-030-51938-4_2⟩
Accès au texte intégral et bibtex

titre: Best Arm Identification in Spectral Bandits
auteur: Tomáš Kocák, Aurélien Garivier
article: IJCAI, Jul 2020, Yokohama, Japan
Accès au texte intégral et bibtex

titre: On optimizing scalar self-rebalancing trees
auteur: Paul Iannetta, Laure Gonnord, Lionel Morel
article: COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
Accès au texte intégral et bibtex

titre: Super Exponentials in Linear Logic
auteur: Esaïe Bauer, Olivier Laurent
article: Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Jun 2020, Paris, France. pp.50-73, ⟨10.4204/EPTCS.353.3⟩
Accès au bibtex

titre: Fine-Grained Fault Tolerance For Resilient pVM-based Virtual Machine Monitors
auteur: Djob Mvondo, Alain Tchana, Renaud Lachaize, Daniel Hagimont, Noel de Palma
article: DSN 2020 - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2020, Valencia, France. pp.197-208, ⟨10.1109/DSN48063.2020.00037⟩
Accès au texte intégral et bibtex

titre: Continuous dictionaries meet low-rank tensor approximations
auteur: Clément Elvira, Jérémy E Cohen, Cédric Herzet, Rémi Gribonval
article: iTwist 2020 - International Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques, Jun 2020, Nantes, France. pp.1-3
Accès au texte intégral et bibtex

titre: Analytical study of frame aggregation level to infer IEEE 802.11 network load
auteur: Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano
article: IWCMC 2020 - 16th International Wireless Communications and Mobile Computing, Jun 2020, Limassol, Cyprus. pp.952-957, ⟨10.1109/IWCMC48107.2020.9148448⟩
Accès au texte intégral et bibtex

titre: Tight Approximation Bounds for Maximum Multi-Coverage
auteur: Siddharth Barman, Omar Fawzi, Emirhan Gürpınar, Suprovat Ghoshal
article: IPCO 2020 - 21st International Conference on Integer Programming and Combinatorial Optimization, Jun 2020, London, United Kingdom. pp.66-77, ⟨10.1007/978-3-030-45771-6_6⟩
Accès au bibtex

titre: Alternative Split Functions and Dekker's Product
auteur: Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
article: ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩
Accès au texte intégral et bibtex

titre: Algorithms for manipulating quaternions in floating-point arithmetic
auteur: Mioara Joldeş, Jean-Michel Muller
article: ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩
Accès au texte intégral et bibtex

titre: Learning with minibatch Wasserstein : asymptotic and gradient properties
auteur: Kilian Fatras, Younes Zine, Rémi Flamary, Rémi Gribonval, Nicolas Courty
article: AISTATS 2020 - 23nd International Conference on Artificial Intelligence and Statistics, Jun 2020, Palermo, Italy. pp.1-20
Accès au texte intégral et bibtex

titre: Bandwidth-Efficient Threshold EC-DSA
auteur: Guilhem Castagnos, Dario Catalano, Fabien Laguillaumie, Federico Savasta, Ida Tucker
article: PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh / Virtual, United Kingdom. pp.266-296, ⟨10.1007/978-3-030-45388-6_10⟩
Accès au texte intégral et bibtex

titre: Adaptive Simulation Security for Inner Product Functional Encryption
auteur: Shweta Agrawal, Benoît Libert, Monosij Maitra, Radu Titiu
article: PKC 2020 - International Conference on Public Key Cryptography, Jun 2020, Virtual, United Kingdom. pp.1-30
Accès au texte intégral et bibtex

titre: Tiled Algorithms for Efficient Task-Parallel H-Matrix Solvers
auteur: Rocío Carratalá-Sáez, Mathieu Faverge, Grégoire Pichon, Guillaume Sylvand, Enrique S Quintana-Ortí
article: PDSEC 2020 - 21st IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing, May 2020, News Orleans, United States. pp.1-10
Accès au texte intégral et bibtex

titre: Design and Comparison of Resilient Scheduling Heuristics for Parallel Jobs
auteur: Anne Benoit, Valentin Le Fèvre, Padma Raghavan, Yves Robert, Hongyang Sun
article: APDCM 2020 - Workshop on Advances in Parallel and Distributed Computational Models (colocated with IPDPS), May 2020, New Orleans, LA, United States. pp.1-27
Accès au texte intégral et bibtex

titre: Reservation and Checkpointing Strategies for Stochastic Jobs
auteur: Ana Gainaru, Brice Goglin, Valentin Honoré, Guillaume Pallez, Padma Raghavan, Yves Robert, Hongyang Sun
article: IPDPS 2020 - 34th IEEE International Parallel and Distributed Processing Symposium, May 2020, New Orleans, LA / Virtual, United States. pp.1-26
Accès au texte intégral et bibtex

titre: Revisiting dynamic DAG scheduling under memory constraints for shared-memory platforms
auteur: Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault
article: IPDPS - 2020 - IEEE International Parallel and Distributed Processing Symposium Workshops, May 2020, New Orleans / Virtual, United States. pp.1-10, ⟨10.1109/IPDPSW50202.2020.00102⟩
Accès au texte intégral et bibtex

titre: Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto
auteur: Maverick Chardet, Hélène Coullon, Christian Pérez
article: CCGrid 2020 : 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, May 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-59⟩
Accès au texte intégral et bibtex

titre: Adaptively Secure ABE for DFA from k-Lin and More
auteur: Junqing Gong, Hoeteck Wee
article: EUROCRYPT 2020 - 9th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb / Virtual, Croatia. pp.278-308, ⟨10.1007/978-3-030-45727-3_10⟩
Accès au bibtex

titre: New Constructions of Statistical NIZKs: Dual-Mode DV-NIZKs and More
auteur: Benoît Libert, Alain Passelègue, Hoeteck Wee, David J Wu
article: Eurocrypt 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb / Virtual, Croatia. pp.1-85
Accès au texte intégral et bibtex

titre: BLASTER: An Off-Grid Method for Blind and Regularized Acoustic Echoes Retrieval -- with supplementary material
auteur: Diego Di Carlo, Clément Elvira, Antoine Deleforge, Nancy Bertin, Rémi Gribonval
article: ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, IEEE, May 2020, Barcelona, Spain
Accès au texte intégral et bibtex

titre: Regularized Partial Phase Synchrony Index Applied to Dynamical Functional Connectivity Estimation
auteur: Gaetan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article: ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, May 2020, Barcelona, Spain. pp.1-5
Accès au texte intégral et bibtex

titre: Fast Optical System Identification by Numerical Interferometry
auteur: Sidharth Gupta, Rémi Gribonval, Laurent Daudet, Ivan Dokmanić
article: ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, May 2020, Barcelone, Spain. pp.1-5
Accès au texte intégral et bibtex

titre: And the Bit Goes Down: Revisiting the Quantization of Neural Networks
auteur: Pierre Stock, Armand Joulin, Rémi Gribonval, Benjamin Graham, Hervé Jégou
article: ICLR 2020 - Eighth International Conference on Learning Representations, Apr 2020, Addis-Abeba, Ethiopia. pp.1-11
Accès au texte intégral et bibtex

titre: Distributed futures for efficient data transfer between parallel processes
auteur: Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Françoise Baude
article: SAC 2020 - 35th ACM/SIGAPP Symposium On Applied Computing, Mar 2020, Brno, Czech Republic. ⟨10.1145/3341105.3374104⟩
Accès au texte intégral et bibtex

titre: XKBlas: a High Performance Implementation of BLAS-3 Kernels on Multi-GPU Server
auteur: Thierry Gautier, Joao Vicente Ferreira Lima
article: PDP 2020 - 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2020, Västerås, Sweden. pp.1-8, ⟨10.1109/PDP50117.2020.00008⟩
Accès au texte intégral et bibtex

titre: Decidability and Periodicity of Low Complexity Tilings
auteur: Jarkko Kari, Etienne Moutot
article: STACS 2020, Mar 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.14⟩
Accès au texte intégral et bibtex

titre: Maximum Matchings in Geometric Intersection Graphs
auteur: Edouard Bonnet, Sergio Cabello, Wolfgang Mulzer
article: STACS 2020, Mar 2020, Montpellier, France
Accès au texte intégral et bibtex

titre: Grundy Coloring & Friends, Half-Graphs, Bicliques
auteur: Pierre Aboulker, Edouard Bonnet, Eun Jung Kim, Florian Sikora
article: 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), Mar 2020, Montpellier, France. pp.58:1--58:18, ⟨10.4230/LIPIcs.STACS.2020.58⟩
Accès au texte intégral et bibtex

titre: Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems
auteur: Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Maïza
article: DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France. pp.1-4
Accès au texte intégral et bibtex

titre: Overlaying a hypergraph with a graph with bounded maximum degree
auteur: Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant
article: CALDAM 2020 - 6th Annual International Conference on Algorithms and Discrete Applied Mathematics, Feb 2020, Hyderabad, India
Accès au texte intégral et bibtex

titre: Exploiting Generic Tiled Algorithms Toward Scalable H-Matrices Factorizations on Top of Runtime Systems
auteur: Rocío Carratalá-Sáez, Mathieu Faverge, Grégoire Pichon, Enrique Salvador Quintana-Ortí, Guillaume Sylvand
article: SIAM PP20 - SIAM Conference on Parallel Processing for Scientific Computing, Feb 2020, Seattle, United States
Accès au bibtex

titre: Matrix symmetrization and sparse direct solvers
auteur: Raluca Portase, Bora Uçar
article: CSC 2020 - SIAM Workshop on Combinatorial Scientific Computing, Feb 2020, Seattle, United States. pp.1-10
Accès au texte intégral et bibtex

titre: Farkas Lemma made easy
auteur: Christophe Alias
article: 10th International Workshop on Polyhedral Compilation Techniques (IMPACT 2020), Jan 2020, Bologna, Italy. pp.1-6
Accès au texte intégral et bibtex

titre: Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq
auteur: Christian Doczkal, Damien Pous
article: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, LA, United States. ⟨10.1145/3372885.3373831⟩
Accès au texte intégral et bibtex

titre: Standard-compliant parallel systemC simulation of loosely-timed Transaction Level Models
auteur: Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy
article: ASP-DAC 2020 - 25th Asia and South Pacific Design Automation Conference, Jan 2020, Beijing, China. pp.1-6
Accès au texte intégral et bibtex

titre: Quasi-polynomial time approximation schemes for the Maximum Weight Independent Set Problem in H -free graphs
auteur: Maria Chudnovsky, Marcin Pilipczuk, Michał Pilipczuk, Stéphan Thomassé
article: SODA 2020, Jan 2020, Salt Lake City, United States. pp.2260-2278, ⟨10.1137/1.9781611975994.139⟩
Accès au bibtex

titre: Karp-Sipser based kernels for bipartite graph matching
auteur: Kamer Kaya, Johannes Langguth, Ioannis Panagiotas, Bora Uçar
article: ALENEX20 - SIAM Symposium on Algorithm Engineering and Experiments, Jan 2020, Salt Lake City, Utah, United States. pp.1-12
Accès au texte intégral et bibtex

titre: ModFalcon: Compact Signatures Based On Module-NTRU Lattices
auteur: Chitchanok Chuengsatiansup, Thomas Prest, Damien Stehlé, Alexandre Wallet, Keita Xagawa
article: ASIA-CCS, 2020, Taipei, France. pp.853-866, ⟨10.1145/3320269.3384758⟩
Accès au bibtex

titre: Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
auteur: Amina Doumane, Damien Pous
article: CONCUR, 2020, Vienne, Austria. pp.1-23, ⟨10.4230/LIPIcs.CONCUR.2020.49⟩
Accès au texte intégral et bibtex

titre: Measure-Rewind-Measure: Tighter Quantum Random Oracle Model Proofs for One-Way to Hiding and CCA Security
auteur: Veronika Kuchta, Amin Sakzad, Damien Stehlé, Ron Steinfeld, Shi-Feng Sun
article: Eurocrypt, 2020, Zagreb, Croatia. pp.703-728, ⟨10.1007/978-3-030-45727-3_24⟩
Accès au bibtex

titre: Domino Problem Under Horizontal Constraints
auteur: Nathalie Aubrun, Mathieu Sablik, Julien Esnay
article: STACS 2020 37th International Symposium on Theoretical Aspects of Computer Science, 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.26⟩
Accès au texte intégral et bibtex

titre: MPSign: A Signature from Small-Secret Middle-Product Learning with Errors
auteur: Shi Bai, Dipayan Das, Ryo Hiromasa, Miruna Rosca, Amin Sakzad, Damien Stehlé, Ron Steinfeld, Zhenfei Zhang
article: PKC, 2020, Edimburgh, United Kingdom. pp.66-93, ⟨10.1007/978-3-030-45388-6_3⟩
Accès au bibtex

titre: Faster Enumeration-Based Lattice Reduction: Root Hermite Factor $k^{1/(2k)}$ Time $k^{k/8+o(k)}$
auteur: Martin Albrecht, Shi Bai, Pierre-Alain Fouque, Paul Kirchner, Damien Stehlé, Weiqiang Wen
article: Crypto, 2020, Santa Barbara, United States. pp.186-212, ⟨10.1007/978-3-030-56880-1_7⟩
Accès au bibtex

Book sections

titre: Radio channel access challenges in LoRa low-power wide-area networks
auteur: Cong-Duc Pham, Ahcène Bounceur, Laurent Clavier, Umber Noreen, Muhammad Ehsan
article: LPWAN Technologies for IoT and M2M Applications, Elsevier, pp.65-102, 2020, ⟨10.1016/B978-0-12-818880-4.00004-1⟩
Accès au bibtex

titre: Influence of the Condition Number on Interval Computations: Illustration on Some Examples
auteur: Nathalie Revol
article: O. Kosheleva, S.P. Shary, G. Xiang, R. Zaparin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.359--373, 2020, Studies in Computational Intelligence, 978-3-030-31041-7. ⟨10.1007/978-3-030-31041-7_20⟩
Accès au texte intégral et bibtex

Master thesis

titre: Identifiability in matrix sparse factorization
auteur: Léon Zheng
article: General Mathematics [math.GM]. 2020
Accès au texte intégral et bibtex

titre: Multilayer Sparse Matrix Factorization
auteur: Quoc-Tung Le
article: Computer Science [cs]. 2020
Accès au texte intégral et bibtex

Reports

titre: Budget-aware workflow scheduling with DIET
auteur: Aurélie Kong Win Chang, Yves Caniou, Eddy Caron, Yves Robert
article: [Research Report] RR-9381, Inria Grenoble Rhône-Alpes. 2020
Accès au texte intégral et bibtex

titre: Resource-Constrained Scheduling of Stochastic Tasks With Unknown Probability Distribution
auteur: Yiqin Gao, Yves Robert, Frédéric Vivien
article: [Research Report] RR-9373, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Accès au texte intégral et bibtex

titre: Trading Performance for Memory in Sparse Direct Solvers using Low-rank Compression
auteur: Loris Marchal, Thibault Marette, Grégoire Pichon, Frédéric Vivien
article: [Research Report] RR-9368, INRIA. 2020
Accès au texte intégral et bibtex

titre: Max-stretch minimization on an edge-cloud platform
auteur: Anne Benoit, Redouane Elghazi, Yves Robert
article: [Research Report] RR-9369, Inria - Research Centre Grenoble – Rhône-Alpes. 2020, pp.37
Accès au texte intégral et bibtex

titre: Distributed-memory multi-GPU block-sparse tensor contraction for electronic structure (revised version)
auteur: Thomas Herault, Yves Robert, George Bosilca, Robert J Harrison, Cannada A Lewis, Edward F Valeev, Jack J Dongarra
article: [Research Report] RR-9365, Inria - Research Centre Grenoble – Rhône-Alpes. 2020, pp.34
Accès au texte intégral et bibtex

titre: Optimal Checkpointing Strategies for Iterative Applications
auteur: Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article: [Research Report] RR-9371, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Accès au texte intégral et bibtex

titre: Distributed-memory multi-GPU block-sparse tensor contraction for electronic structure
auteur: Thomas Herault, Yves Robert, George Bosilca, Robert Harrison, Cannada A Lewis, Edward F Valeev
article: [Research Report] RR-9353, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Accès au texte intégral et bibtex

titre: A comparison of several fault-tolerance methods for the detection and correction of floating-point errors in matrix-matrix multiplication
auteur: Valentin Le Fèvre, Thomas Herault, Julien Langou, Yves Robert
article: [Research Report] RR-9351, Inria - Research Centre Grenoble – Rhône-Alpes. 2020
Accès au texte intégral et bibtex

titre: Reliable and energy-aware mapping of streaming series-parallel applications onto hierarchical platforms
auteur: Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
article: [Research Report] RR-9346, INRIA. 2020
Accès au texte intégral et bibtex

titre: An efficient algorithm to estimate Covid-19 infectiousness risk from BLE-RSSI measurements
auteur: Jean-Marie S Gorce, Malcolm Egan, Rémi Gribonval
article: [Research Report] RR-9345, Inria Grenoble Rhône-Alpes. 2020
Accès au texte intégral et bibtex

titre: Termination of Ethereum's Smart Contracts
auteur: Thomas Genet, Thomas Jensen, Justine Sauvage
article: [Research Report] Univ Rennes, Inria, CNRS, IRISA. 2020
Accès au texte intégral et bibtex

titre: Energy-aware strategies for reliability-oriented real-time task allocation on heterogeneous platforms
auteur: Li Han, Yiqin Gao, Jing Liu, Yves Robert, Frédéric Vivien
article: [Research Report] RR-9324, Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP. 2020
Accès au texte intégral et bibtex

titre: Robustness of the Young/Daly formula for stochastic iterative applications
auteur: Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert
article: [Research Report] RR-9332, Inria Grenoble Rhône-Alpes. 2020
Accès au texte intégral et bibtex

titre: Tiled Algorithms for Efficient Task-Parallel H-Matrix Solvers
auteur: Rocío Carratalá-Sáez, Mathieu Faverge, Grégoire Pichon, Guillaume Sylvand, Enrique S Quintana-Ortí
article: [Research Report] RR-9327, Inria. 2020
Accès au texte intégral et bibtex

titre: Revisiting dynamic DAG scheduling under memory constraints for shared-memory platforms
auteur: Gabriel Bathie, Loris Marchal, Yves Robert, Samuel Thibault
article: [Research Report] RR-9323, Inria. 2020
Accès au texte intégral et bibtex

titre: Improving mapping for sparse direct solvers: A trade-off between data locality and load balancing
auteur: Changjiang Gou, Ali Al Zoobi, Anne Benoit, Mathieu Faverge, Loris Marchal, Grégoire Pichon, Pierre Ramet
article: [Research Report] RR-9328, Inria Rhône-Alpes. 2020, pp.21
Accès au texte intégral et bibtex

titre: On optimizing scalar self-rebalancing trees
auteur: Paul Iannetta, Laure Gonnord, Lionel Morel
article: [Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020
Accès au texte intégral et bibtex

titre: How to use the past to face the future?
auteur: Etienne Mauffret, Flavien Vernier, Sébastien Monnet
article: [Research Report] LISTIC. 2020
Accès au texte intégral et bibtex

Software

titre: Fut on Flow
auteur: Hadrien Renaud
article: 2020, ⟨swh:1:dir:409184eb3c27c62e3ff996e1b1a7baf41c5b3153;origin=https://hal.archives-ouvertes.fr/hal-02908763;visit=swh:1:snp:9a972df7a9a7d45584256fc0722e03a27d211154;anchor=swh:1:rev:fc074c0539a309fefc4d51c77f5816bc054a5fd6;path=/⟩
Accès au texte intégral et bibtex

Theses

titre: Parallel Standard-Compliant SystemC Simulation of Loosely-Timed Transaction Level Models
auteur: Gabriel Busnot
article: Computation and Language [cs.CL]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSE1315⟩
Accès au texte intégral et bibtex

titre: High-performance dense tensor and sparse matrix kernels for machine learning
auteur: Filip Igor Pawlowski
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN081⟩
Accès au texte intégral et bibtex

titre: Scheduling Solutions for Data Stream Processing Applications on Cloud-Edge Infrastructure
auteur: Felipe Rodrigo de Souza
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN082⟩
Accès au texte intégral et bibtex

titre: Inference and Modal Decomposition of Dynamic Networks in Neuroscience
auteur: Gaëtan Frusque
article: Traitement du signal et de l'image [eess.SP]. Université de Lyon, 2020. Français. ⟨NNT : 2020LYSEN080⟩
Accès au texte intégral et bibtex

titre: Reconciling parallelism expressivity and separation of concerns in reconfiguration of distributed systems
auteur: Maverick Chardet
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0194⟩
Accès au texte intégral et bibtex

titre: Optimization of software license placement in the Cloud for economical and efficient deployment
auteur: Arthur Chevalier
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN071⟩
Accès au texte intégral et bibtex

titre: On algebraic variants of Learning With Errors
auteur: Georgiana-Miruna Rosca
article: Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN063⟩
Accès au texte intégral et bibtex

titre: Functional encryption and distributed signatures based on projective hash functions, the benefit of class groups
auteur: Ida Tucker
article: Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN054⟩
Accès au texte intégral et bibtex

titre: New Encryption Schemes and Pseudo-Random Functions with Advanced Properties from Standard Assumptions
auteur: Radu Titiu
article: Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN050⟩
Accès au texte intégral et bibtex

titre: On matchings and related problems in graphs, hypergraphs, and doubly stochastic matrices
auteur: Ioannis Panagiotas
article: Data Structures and Algorithms [cs.DS]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN068⟩
Accès au texte intégral et bibtex

titre: Quantum Game Semantics
auteur: Marc de Visme
article: Logic in Computer Science [cs.LO]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN056⟩
Accès au texte intégral et bibtex

titre: Task Mapping and Load-balancing for Performance, Memory, Reliability and Energy
auteur: Changjiang Gou
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon; East China normal university (Shanghai), 2020. English. ⟨NNT : 2020LYSEN047⟩
Accès au texte intégral et bibtex

titre: Around the Domino Problem - Combinatorial Structures and Algebraic Tools
auteur: Etienne Moutot
article: Discrete Mathematics [cs.DM]. Université de Lyon; Turun yliopisto, 2020. English. ⟨NNT : 2020LYSEN027⟩
Accès au texte intégral et bibtex

titre: Knowledge representation and curation in hierarchies of graphs
auteur: Ievgeniia Oshurko
article: Artificial Intelligence [cs.AI]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN024⟩
Accès au texte intégral et bibtex

titre: Some proof-theoretical approaches to Monadic Second-Order logic
auteur: Pierre Pradic
article: Logic in Computer Science [cs.LO]. Université de Lyon; Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechanik, 2020. English. ⟨NNT : 2020LYSEN028⟩
Accès au texte intégral et bibtex

titre: Resilient scheduling algorithms for large-scale platforms
auteur: Valentin Le Fèvre
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN019⟩
Accès au texte intégral et bibtex

titre: Unique solution techniques for processes and functions
auteur: Adrien Durier
article: Programming Languages [cs.PL]. Université de Lyon; Università degli studi (Bologne, Italie), 2020. English. ⟨NNT : 2020LYSEN016⟩
Accès au texte intégral et bibtex

titre: Fault-tolerant and energy-aware algorithms for workflows and real-time systems
auteur: Li Han
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon; East China normal university (Shanghai), 2020. English. ⟨NNT : 2020LYSEN013⟩
Accès au texte intégral et bibtex

titre: Contagion à effet de seuil dans les réseaux complexes
auteur: Samuel Lee Unicomb
article: Networking and Internet Architecture [cs.NI]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN003⟩
Accès au texte intégral et bibtex

titre: Computational detection of socioeconomic inequalities
auteur: Jacobo Levy Abitbol
article: Artificial Intelligence [cs.AI]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN001⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre: A class of graphs with large rankwidth
auteur: Chính T Hoàng, Nicolas Trotignon
article: 2020
Accès au texte intégral et bibtex

titre: A functional (Monadic) second-order theory of infinite trees
auteur: Anupam Das, Colin Riba
article: 2020
Accès au texte intégral et bibtex

titre: On the Representation of References in the pi-calculus
auteur: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
article: 2020
Accès au texte intégral et bibtex

titre: Extensive Infinite Games and Escalation, an exercice in Agda
auteur: Pierre Lescanne
article: 2020
Accès au texte intégral et bibtex

titre: Learning to Count up to Symmetry
auteur: Pierre Clairambault
article: 2020
Accès au texte intégral et bibtex

titre: Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus
auteur: Maverick Chardet, Hélène Coullon, Christian Pérez, Dimitri Pertin, Charlène Servantie, Simon Robillard
article: 2020
Accès au texte intégral et bibtex

titre: Graphiques Covid-19 avec leurs commentaires quotidiennement mis à jour
auteur: Éric Guichard
article: 2020
Accès au texte intégral et bibtex