2018
Journal articles
- titre
- Triangle‐free graphs that do not contain an induced subdivision of K 4 are 3‐colorable
- auteur
- Maria Chudnovsky, Chun‐hung Liu, Oliver Schaudt, Sophie Spirkl, Nicolas Trotignon, Kristina Vušković
- article
- Journal of Graph Theory, 2018
- Accès au texte intégral et bibtex
-
- titre
- Practical device-independent quantum cryptography via entropy accumulation
- auteur
- Rotem Arnon-Friedman, Frederic Dupuis, Omar Fawzi, Renato Renner, Thomas Vidick
- article
- Nature Communications, 2018, 9 (1), ⟨10.1038/s41467-017-02307-4⟩
- Accès au bibtex
-
- titre
- The link stream of contacts in a whole hospital
- auteur
- Lucie Martinet, Christophe Crespelle, Eric Fleury, Pierre-Yves Boëlle, Didier Guillemot
- article
- Social Network Analysis and Mining, 2018, 8 (59), pp.1-33. ⟨10.1007/s13278-018-0535-9⟩
- Accès au bibtex
-
- titre
- An accurate and efficient modeling framework for the performance evaluation of DPDK-based virtual switches
- auteur
- Thomas Begin, Bruno Baynat, Guillaume Artero Gallardo, Vincent Jardin
- article
- IEEE Transactions on Network and Service Management, 2018, 15 (4), pp.1407-1421. ⟨10.1109/TNSM.2018.2874476⟩
- Accès au bibtex
-
- titre
- Coping with silent and fail-stop errors at scale by combining replication and checkpointing
- auteur
- Anne Benoit, Aurélien Cavelan, Franck Cappello, Padma Raghavan, Yves Robert, Hongyang Sun
- article
- Journal of Parallel and Distributed Computing, 2018, 122, pp.209-225. ⟨10.1016/j.jpdc.2018.08.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Mapping temporal-network percolation to weighted, static event graphs
- auteur
- Mikko Kivelä, Jordan Cambe, Jari Saramäki, Màrton Karsai
- article
- Scientific Reports, 2018, 8 (1), ⟨10.1038/s41598-018-29577-2⟩
- Accès au bibtex
-
- titre
- Link transmission centrality in large-scale social networks
- auteur
- Qian Zhang, Màrton Karsai, Alessandro Vespignani
- article
- EPJ Data Science, 2018, 7 (1), ⟨10.1140/epjds/s13688-018-0162-8⟩
- Accès au bibtex
-
- titre
- Efficient Solution of Parameter Dependent Quasiseparable Systems and Computation of Meromorphic Matrix Functions
- auteur
- Paola Boito, Yuli Eidelman, Luca Gemignani
- article
- Numerical Linear Algebra with Applications, 2018, 25 (6), pp.e2141
- Accès au texte intégral et bibtex
-
- titre
- Metric Anticipation to manage Mobility in Mobile Mesh and ad-hoc Wireless Networks
- auteur
- Sabrina Naimi, Anthony Busson, Véronique Vèque, Ridha Bouallegue
- article
- Annals of Telecommunications - annales des télécommunications, 2018, 73 (11-12), pp.787-802. ⟨10.1007/s12243-018-0666-z⟩
- Accès au texte intégral et bibtex
-
- titre
- Dependent Types for Extensive Games
- auteur
- Pierre Lescanne
- article
- J. Formalized Reasoning, 2018
- Accès au bibtex
-
- titre
- Avoiding Two Consecutive Blocks of Same Size and Same Sum over $\mathbb{Z}^2$
- auteur
- Michael Rao, Matthieu Rosenfeld
- article
- SIAM Journal on Discrete Mathematics, 2018, 32 (4), pp.2381-2397
- Accès au bibtex
-
- titre
- Well-quasi-ordering $H$-contraction-free graphs
- auteur
- Marcin Jakub Kamiński, Jean-Florent Raymond, Théophile Trunck
- article
- Discrete Applied Mathematics, 2018, 248, pp.18-27. ⟨10.1016/j.dam.2017.02.018⟩
- Accès au texte intégral et bibtex
-
- titre
- Related-Key Security for Pseudorandom Functions Beyond the Linear Barrier
- auteur
- Michel Abdalla, Fabrice Benhamouda, Alain Passelègue, Kenneth Paterson
- article
- Journal of Cryptology, 2018, 31 (4), pp.917-964. ⟨10.1007/s00145-017-9274-8⟩
- Accès au bibtex
-
- titre
- Multi-level checkpointing and silent error detection for linear workflows
- auteur
- Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
- article
- Journal of computational science, 2018, 28, pp.398-415. ⟨10.1016/j.jocs.2017.03.024⟩
- Accès au texte intégral et bibtex
-
- titre
- Complexity dichotomies for the Minimum F -Overlay problem
- auteur
- Nathann Cohen, Frédéric Havet, Dorian Mazauric, Ignasi Sau, Rémi Watrigant
- article
- Journal of Discrete Algorithms, 2018, 52-53, pp.133-142. ⟨10.1016/j.jda.2018.11.010⟩
- Accès au texte intégral et bibtex
-
- titre
- Domination and fractional domination in digraphs
- auteur
- Ararat Harutyunyan, Tien-Nam Le, Alantha Newman, Stéphan Thomassé
- article
- The Electronic Journal of Combinatorics, 2018, 25 (3), pp.P3.32. ⟨10.37236/7211⟩
- Accès au bibtex
-
- titre
- Multigraphs without large bonds are wqo by contraction
- auteur
- Marcin Jakub Kamiński, Jean-Florent Raymond, Théophile Trunck
- article
- Journal of Graph Theory, 2018, 88 (4), pp.558-565. ⟨10.1002/jgt.22229⟩
- Accès au texte intégral et bibtex
-
- titre
- Paths-based criteria and application to linear logic subsystems characterizing polynomial time
- auteur
- Matthieu Perrinel
- article
- Information and Computation, 2018, 261, pp.23-54. ⟨10.1016/j.ic.2018.05.004⟩
- Accès au bibtex
-
- titre
- Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations
- auteur
- Florent Bréhard, Nicolas Brisebarre, Mioara Joldes
- article
- ACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
- Accès au texte intégral et bibtex
-
- titre
- Homonym Population Protocols
- auteur
- Olivier Bournez, Johanne Cohen, Mikael Rabie
- article
- Theory of Computing Systems, 2018, 62 (5), pp.1318-1346. ⟨10.1007/s00224-017-9833-2⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing the expected makespan of task graphs in the presence of silent errors
- auteur
- Henri Casanova, Julien Herrmann, Yves Robert
- article
- Parallel Computing, 2018, 75, pp.41-60. ⟨10.1016/j.parco.2018.03.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Building and auto-tuning computing Kernels: experimenting with BOAST and StarPU in the GYSELA code
- auteur
- Julien Bigot, Virginie Grandgirard, Guillaume Latu, Jean-François Méhaut, Luís Felipe Millani, Chantal Passeron, Steven Quinito Masnada, Jérôme Richard, Brice Videau
- article
- ESAIM: Proceedings, 2018, CEMRACS 2016 - Numerical challenges in parallel scientific computing, 63 (2018), pp.152 - 178. ⟨10.1051/proc/201863152⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Aspects of Linear and Affine Closed Lambda Terms
- auteur
- Pierre Lescanne
- article
- ACM Transactions on Computational Logic, 2018, 19 (2), pp.1 - 18. ⟨10.1145/3173547⟩
- Accès au bibtex
-
- titre
- Impact of Resource Blocks Allocation Strategies on Downlink Interference and SIR Distributions in LTE Networks: A Stochastic Geometry Approach
- auteur
- Anthony Busson, Iyad Lahsen-Cherif
- article
- Wireless Communications and Mobile Computing, 2018, 2018, pp.1 - 15. ⟨10.1155/2018/9163783⟩
- Accès au texte intégral et bibtex
-
- titre
- Characterizing polynomial and exponential complexity classes in elementary lambda-calculus.
- auteur
- Patrick Baillot, Erika de Benedetti, Simona Ronchi Della Rocca
- article
- Information and Computation, 2018, 248, pp.55-77
- Accès au bibtex
-
- titre
- Bispindles in strongly connected digraphs with large chromatic number
- auteur
- Nathann Cohen, Frédéric Havet, William Lochet, Raul Lopes
- article
- The Electronic Journal of Combinatorics, 2018, 25 (2), pp.P2.39. ⟨10.37236/6922⟩
- Accès au texte intégral et bibtex
-
- titre
- The Alternating Stock Size Problem and the Gasoline Puzzle
- auteur
- Alantha Newman, Heiko Röglin, Johanna Seif
- article
- ACM Transactions on Algorithms, 2018, 14 (2), pp.1-23. ⟨10.1145/3178539⟩
- Accès au bibtex
-
- titre
- Malleable task-graph scheduling with a practical speed-up model
- auteur
- Loris Marchal, Bertrand Simon, Oliver Sinnen, Frédéric Vivien
- article
- IEEE Transactions on Parallel and Distributed Systems, 2018, 29 (6), pp.1357-1370. ⟨10.1109/TPDS.2018.2793886⟩
- Accès au texte intégral et bibtex
-
- titre
- Bare-Metal Reservation for Cloud: an Analysis of the Trade Off between Reactivity and Energy Efficiency
- auteur
- Marcos Dias de Assuncao, Laurent Lefèvre
- article
- Cluster Computing, 2018, 21, pp.1289-130. ⟨10.1007/s10586-017-1094-y⟩
- Accès au texte intégral et bibtex
-
- titre
- χ-bounds, operations, and chords
- auteur
- Nicolas Trotignon, Lan Anh Pham
- article
- Journal of Graph Theory, 2018, 88 (2), pp.312 - 336. ⟨10.1002/jgt.22214⟩
- Accès au bibtex
-
- titre
- Regular Language Representations in the Constructive Type Theory of Coq
- auteur
- Christian Doczkal, Gert Smolka
- article
- Journal of Automated Reasoning, 2018, Special Issue: Milestones in Interactive Theorem Proving, 61 (1-4), pp.521-553. ⟨10.1007/s10817-018-9460-x⟩
- Accès au texte intégral et bibtex
-
- titre
- Association optimization based on access fairness for Wi-Fi networks
- auteur
- Mohammed Amer, Isabelle Guérin-Lassous, Anthony Busson
- article
- Computer Networks, 2018, 137, pp.173 - 188. ⟨10.1016/j.comnet.2018.03.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Planar triangulations, bridgeless planar maps and Tamari intervals
- auteur
- Wenjie Fang
- article
- European Journal of Combinatorics, 2018, 70, pp.75-91. ⟨10.1016/j.ejc.2017.12.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Domination in tournaments
- auteur
- Maria Chudnovsky, Ringi Kim, Chun-Hung Liu, Paul Seymour, Stéphan Thomassé
- article
- Journal of Combinatorial Theory, Series B, 2018, 130, pp.98-113
- Accès au bibtex
-
- titre
- Subdivisions of oriented cycles in digraphs with large chromatic number
- auteur
- Nathann Cohen, Frédéric Havet, William Lochet, Nicolas Nisse
- article
- Journal of Graph Theory, 2018, 89 (4), pp.439-456. ⟨10.1002/jgt.22360⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient optimization of the quantum relative entropy
- auteur
- Hamza Fawzi, Omar Fawzi
- article
- Journal of Physics A: Mathematical and Theoretical, 2018, 51 (15), pp.154003
- Accès au bibtex
-
- titre
- List coloring digraphs
- auteur
- Julien Bensmail, Ararat Harutyunyan, Ngoc Khang Le
- article
- Journal of Graph Theory, 2018, 87 (4), pp.492-508. ⟨10.1002/jgt.22170⟩
- Accès au texte intégral et bibtex
-
- titre
- A trinity of duality: Non-separable planar maps, β(1,0)-trees and synchronized intervals
- auteur
- Wenjie Fang
- article
- Advances in Applied Mathematics, 2018, 95, pp.1-30. ⟨10.1016/j.aam.2017.10.001⟩
- Accès au texte intégral et bibtex
-
- titre
- A study of systems with multiple operating levels, probabilistic thresholds and hysteresis
- auteur
- Alexandre Brandwajn, Thomas Begin, Hind Castel-Taleb, Tulin Atmaca
- article
- IEEE Transactions on Parallel and Distributed Systems, 2018, 29 (4), pp.748-757. ⟨10.1109/TPDS.2017.2773496⟩
- Accès au texte intégral et bibtex
-
- titre
- Improved Security Proofs in Lattice-Based Cryptography: Using the Rényi Divergence Rather than the Statistical Distance
- auteur
- Shi Bai, Tancrède Lepoint, Adeline Roux-Langlois, Amin Sakzad, Damien Stehlé, Ron Steinfeld
- article
- Journal of Cryptology, 2018, 31 (2), pp.610 - 640. ⟨10.1007/s00145-017-9265-9⟩
- Accès au bibtex
-
- titre
- Energy Monitoring as an Essential Building Block Towards Sustainable Ultrascale Systems
- auteur
- Francisco Almeida, Marcos Dias de Assuncao, Jorge Barbosa, Vicente Blanco, Ivona Brandic, Georges da Costa, Manuel F Dolz, Anne C Elster, Mateusz Jarus, Helen Karatza, Laurent Lefèvre, Ilias Mavridis, Ariel Oleksiak, Anne-Cécile Orgerie, Jean-Marc Pierson
- article
- Sustainable Computing : Informatics and Systems, 2018, 17, pp.27-42. ⟨10.1016/j.suscom.2017.10.013⟩
- Accès au texte intégral et bibtex
-
- titre
- Analysis of classifiers’ robustness to adversarial perturbations
- auteur
- Alhussein Fawzi, Omar Fawzi, Pascal Frossard
- article
- Machine Learning, 2018, 107 (3), pp.481-508
- Accès au bibtex
-
- titre
- Time and space efficient generators for quasiseparable matrices
- auteur
- Clément Pernet, Arne Storjohann
- article
- Journal of Symbolic Computation, 2018, Special issue on the 41th International Symposium on Symbolic and Alge-braic Computation (ISSAC’16), 85, pp.224-246. ⟨10.1016/j.jsc.2017.07.010⟩
- Accès au texte intégral et bibtex
-
- titre
- Encoding partial orders through modular decomposition
- auteur
- Laurent Beaudou, Kaoutar Ghazi, Giacomo Kahn, Olivier Raynaud, Eric Thierry
- article
- Journal of computational science, 2018, 25, pp.446-455
- Accès au bibtex
-
- titre
- Threshold driven contagion on weighted networks
- auteur
- Samuel Unicomb, Gerardo Iñiguez, Márton Karsai
- article
- Scientific Reports, 2018, 8 (1), pp.1-10. ⟨10.1038/s41598-018-21261-9⟩
- Accès au bibtex
-
- titre
- Checkpointing Workflows for Fail-Stop Errors
- auteur
- Li Han, Louis-Claude Canon, Henri Casanova, Yves Robert, Frédéric Vivien
- article
- IEEE Transactions on Computers, 2018, 67 (8), pp.16. ⟨10.1109/TC.2018.2801300⟩
- Accès au texte intégral et bibtex
-
- titre
- Stable Sets in {ISK4,wheel}-Free Graphs
- auteur
- Martin Milanič, Irena Penev, Nicolas Trotignon
- article
- Algorithmica, 2018, 80 (2), pp.415 - 447. ⟨10.1007/s00453-016-0255-3⟩
- Accès au bibtex
-
- titre
- Distributed Data Stream Processing and Edge Computing: A Survey on Resource Elasticity and Future Directions
- auteur
- Marcos Dias de Assuncao, Alexandre da Silva Veith, Rajkumar Buyya
- article
- Journal of Network and Computer Applications (JNCA), 2018, 103, pp.1-17. ⟨10.1016/j.jnca.2017.12.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Algorithmic Aspects of Optimal Channel Coding
- auteur
- Siddharth Barman, Omar Fawzi
- article
- IEEE Transactions on Information Theory, 2018, 64 (2), pp.1038-1045
- Accès au bibtex
-
- titre
- Correlations and dynamics of consumption patterns in social-economic networks
- auteur
- Yannick Léo, Márton Karsai, Carlos Sarraute, Eric Fleury
- article
- Social Network Analysis and Mining, 2018, 8, pp.1-16. ⟨10.1007/s13278-018-0486-1⟩
- Accès au bibtex
-
- titre
- Measuring dynamic social contacts in a rehabilitation hospital: effect of wards, patient and staff characteristics
- auteur
- Audrey Duval, Thomas Obadia, Lucie Martinet, Pierre-Yves Boëlle, Eric Fleury, Didier Guillemot, Lulla Opatowski, Laura Temime
- article
- Scientific Reports, 2018, 8 (1), pp.1686. ⟨10.1038/s41598-018-20008-w⟩
- Accès au texte intégral et bibtex
-
- titre
- 1.5D Parallel Sparse Matrix-Vector Multiply
- auteur
- Enver Kayaaslan, Cevdet Aykanat, Bora Uçar
- article
- SIAM Journal on Scientific Computing, 2018, 40 (1), pp.C25 - C46. ⟨10.1137/16M1105591⟩
- Accès au texte intégral et bibtex
-
- titre
- Multicut Is FPT
- auteur
- Nicolas Bousquet, Jean Daligault, Stéphan Thomassé
- article
- SIAM Journal on Computing, 2018, 47 (1), pp.166-207. ⟨10.1137/140961808⟩
- Accès au bibtex
-
- titre
- Reducing the energy consumption of large scale computing systems through combined shutdown policies with multiple constraints
- auteur
- Anne Benoit, Laurent Lefèvre, Anne-Cécile Orgerie, Issam Raïs
- article
- International Journal of High Performance Computing Applications, 2018, 32 (1), pp.176-188. ⟨10.1177/1094342017714530⟩
- Accès au texte intégral et bibtex
-
- titre
- On the asymptotic complexity of solving LWE
- auteur
- Gottfried Herold, Elena Kirshanova, Alexander May
- article
- Designs, Codes and Cryptography, 2018, 86 (1), pp.55 - 83. ⟨10.1007/s10623-016-0326-0⟩
- Accès au bibtex
-
- titre
- Scheduling series-parallel task graphs to minimize peak memory
- auteur
- Enver Kayaaslan, Thomas Lambert, Loris Marchal, Bora Uçar
- article
- Theoretical Computer Science, 2018, 707, pp.1-23. ⟨10.1016/j.tcs.2017.09.037⟩
- Accès au texte intégral et bibtex
-
- titre
- Further notes on Birkhoff-von Neumann decomposition of doubly stochastic matrices
- auteur
- Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
- article
- Linear Algebra and its Applications, 2018, 554, pp.68--78. ⟨10.1016/j.laa.2018.05.017⟩
- Accès au texte intégral et bibtex
-
- titre
- CRYSTALS-Dilithium: A Lattice-Based Digital Signature Scheme
- auteur
- Leo Ducas, Eike Kiltz, Tancrede Lepoint, Vadim Lyubashevsky, Peter Schwabe, Gregor Seiler, Damien Stehlé
- article
- IACR Transactions on Cryptographic Hardware and Embedded Systems, 2018
- Accès au bibtex
-
- titre
- Parallel Candecomp/Parafac Decomposition of Sparse Tensors Using Dimension Trees
- auteur
- Oguz Kaya, Bora Uçar
- article
- SIAM Journal on Scientific Computing, 2018, 40 (1), pp.C99 - C130. ⟨10.1137/16M1102744⟩
- Accès au texte intégral et bibtex
-
- titre
- A Lattice Basis Reduction Approach for the Design of Finite Wordlength FIR Filters
- auteur
- Nicolas Brisebarre, Silviu-Ioan Filip, Guillaume Hanrot
- article
- IEEE Transactions on Signal Processing, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩
- Accès au texte intégral et bibtex
-
- titre
- Additive bases and flows in graphs
- auteur
- Louis Esperet, Rémi de Joannis de Verclos, Tien-Nam Le, Stéphan Thomassé
- article
- SIAM Journal on Discrete Mathematics, 2018, 32 (1), pp.534-542. ⟨10.1137/17M1113758⟩
- Accès au bibtex
-
- titre
- Profitable Bandits
- auteur
- Mastane Achab, Stéphan Clémençon, Aurélien Garivier
- article
- Proceedings of Machine Learning Research, 2018, 95, pp.694-709
- Accès au texte intégral et bibtex
-
- titre
- Computing Dense Tensor Decompositions with Optimal Dimension Trees
- auteur
- Oguz Kaya, Yves Robert
- article
- Algorithmica, 2018, pp.1-30. ⟨10.1007/s00453-018-0525-3⟩
- Accès au texte intégral et bibtex
-
- titre
- On relative errors of floating-point operations: optimal bounds and applications
- auteur
- Claude-Pierre Jeannerod, Siegfried M. Rump
- article
- Mathematics of Computation, 2018, 87, pp.803-819. ⟨10.1090/mcom/3234⟩
- Accès au texte intégral et bibtex
-
- titre
- Computational complexity of the avalanche problem for one dimensional decreasing sandpiles
- auteur
- Enrico Formenti, Kévin Perrot, Eric Rémila
- article
- Journal of Cellular Automata, 2018, 13 (3), pp. 215-228
- Accès au bibtex
-
- titre
- Monadic Second Order Logic with Measure and Category Quantifiers
- auteur
- Matteo Mio, Micha L Skrzypczak, Henryk Michalewski
- article
- Logical Methods in Computer Science, 2018, 14, pp.1 - 29. ⟨10.23638/LMCS-14(2:2)2018⟩
- Accès au texte intégral et bibtex
-
- titre
- Radiative–convective equilibrium model intercomparison project
- auteur
- Allison Wing, Kevin Reed, Masaki Satoh, Bjorn Stevens, Sandrine Bony, Tomoki Ohno
- article
- Geoscientific Model Development Discussions, 2018, 11 (2), pp.793-813. ⟨10.5194/gmd-11-793-2018⟩
- Accès au bibtex
-
- titre
- On the linear independence of shifted powers
- auteur
- Pascal Koiran, Timothée Pecatte, Ignacio García-Marco
- article
- Journal of Complexity, 2018, 45, pp.67-82
- Accès au texte intégral et bibtex
-
- titre
- Transient analysis of idle time in VANETs using Markov-reward models
- auteur
- Isabelle Guérin-Lassous, Isabel Faus Martin, Luis Urquiza Aguiar, Monica Aguilar Igartua
- article
- IEEE Transactions on Vehicular Technology, 2018, 67 (4), pp.2833-2847. ⟨10.1109/TVT.2017.2766449⟩
- Accès au bibtex
-
- titre
- Co-scheduling Amdahl applications on cache-partitioned systems
- auteur
- Guillaume Aupy, Anne Benoit, Sicheng Dai, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
- article
- International Journal of High Performance Computing Applications, 2018, 32 (1), pp.123-138. ⟨10.1177/1094342017710806⟩
- Accès au texte intégral et bibtex
-
- titre
- Complexity of token swapping and its variants
- auteur
- Edouard Bonnet, Miltzow Tillmann, Paweł Rzążewski
- article
- Algorithmica, 2018
- Accès au texte intégral et bibtex
-
- titre
- Soundness in negotiations
- auteur
- Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
- article
- Logical Methods in Computer Science, 2018, ⟨10.4230/LIPIcs⟩
- Accès au texte intégral et bibtex
-
- titre
- Complexity of Grundy coloring and its variants
- auteur
- Edouard Bonnet, Foucaud Florent, Eunjung Kim, Florian Sikora
- article
- Discrete Applied Mathematics, 2018, 243, pp.99-114. ⟨10.1016/j.dam.2017.12.022⟩
- Accès au texte intégral et bibtex
-
- titre
- Performance Modeling of SEAD Protocol in Vehicular Environment
- auteur
- Imen Achour, Tarek Bejaoui, Anthony Busson, Sami Tabbane
- article
- Wireless Networks, 2018, pp.1-18. ⟨10.1007/s11276-018-1706-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Ploughing digital landscapes: How Facebook influences the evolution of live video streaming
- auteur
- Katharina Rein, Tommaso Venturini
- article
- New Media and Society, 2018, 20 (9), pp.3359-3380. ⟨10.1177/1461444817748954⟩
- Accès au texte intégral et bibtex
-
- titre
- On a two-valued sequence and related continued fractions in power series fields
- auteur
- Bill Allombert, Nicolas Brisebarre, Alain Lasjaunias
- article
- Ramanujan Journal, 2018, 45 (3), pp.859-871. ⟨10.1007/s11139-017-9892-7⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantifying the Impact of Shutdown Techniques for Energy-Efficient Data Centers
- auteur
- Issam Raïs, Anne-Cécile Orgerie, Martin Quinson, Laurent Lefèvre
- article
- Concurrency and Computation: Practice and Experience, 2018, 30 (17), pp.1-13. ⟨10.1002/cpe.4471⟩
- Accès au texte intégral et bibtex
-
- titre
- The Point Decomposition Problem over Hyperelliptic Curves: toward efficient computations of Discrete Logarithms in even characteristic
- auteur
- Jean-Charles Faugère, Alexandre Wallet
- article
- Designs, Codes and Cryptography, 2018, 86, pp.2279-2314. ⟨10.1007/s10623-017-0449-y⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Convergence of the TTL Approximation for an LRU Cache under Independent Stationary Request Processes
- auteur
- Bo Jiang, Philippe Nain, Don Towsley
- article
- ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2018, 3 (4), ⟨10.1145/3239164⟩
- Accès au texte intégral et bibtex
-
- titre
- The sociolinguistic repetition task: A new paradigm for exploring the cognitive coherence of language varieties.
- auteur
- Laurence Buson, Aurélie Nardy, Dominique Muller, Jean-Pierre Chevrot
- article
- Topics in cognitive science, 2018, 10 (4), pp.803-817. ⟨10.1111/tops.12380⟩
- Accès au texte intégral et bibtex
-
- titre
- Fine-grained complexity of coloring unit disks and balls
- auteur
- Biro Csaba, Edouard Bonnet, Dániel Marx, Miltzow Tillmann, Paweł Rzążewski
- article
- Journal of Computational Geometry, 2018
- Accès au texte intégral et bibtex
-
- titre
- Time-approximation trade-offs for inapproximable problems
- auteur
- Édouard Bonnet, Michael Lampis, Vangelis Th. Paschos
- article
- Journal of Computer and System Sciences, 2018, 92, pp.171-180. ⟨10.1016/j.jcss.2017.09.009⟩
- Accès au bibtex
-
Conference papers
- titre
- Proving the Turing Universality of Oritatami Co-Transcriptional Folding
- auteur
- Cody Geary, Pierre-Étienne Meunier, Nicolas Schabanel, Shinnosuke Seki
- article
- ISAAC 2018 - 29th International Symposium on Algorithms and Computation, Dec 2018, Jiaoxi, Taiwan. ⟨10.4230/LIPIcs.ISAAC.2018.23⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatic Energy Efficient HPC Programming: A Case Study
- auteur
- Issam Raïs, Hélène Coullon, Laurent Lefèvre, Christian Pérez
- article
- ISPA 2018 : 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, Dec 2018, Melbourne, Australia. ⟨10.1109/BDCloud.2018.00145⟩
- Accès au texte intégral et bibtex
-
- titre
- Reliability-aware energy optimization for throughput-constrained applications on MPSoC
- auteur
- Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
- article
- ICPADS - 24th International Conference on Parallel and Distributed Systems, Dec 2018, Sentosa, Singapore. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Büchi Good-for-Games Automata Are Efficiently Recognizable
- auteur
- Marc Bagnol, Denis Kuperberg
- article
- 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. pp.16, ⟨10.4230/LIPIcs.FSTTCS.2018.16⟩
- Accès au texte intégral et bibtex
-
- titre
- Pairing-friendly twisted Hessian curves
- auteur
- Chitchanok Chuengsatiansup, Chloe Martindale
- article
- Indocrypt 2018 - 19th International Conference on Cryptology, Dec 2018, New Delhi, India
- Accès au bibtex
-
- titre
- Sequential Test for the Lowest Mean: From Thompson to Murphy Sampling
- auteur
- Emilie Kaufmann, Wouter Koolen, Aurélien Garivier
- article
- Advances in Neural Information Processing Systems (NIPS), Dec 2018, Montréal, Canada
- Accès au texte intégral et bibtex
-
- titre
- On the Statistical Leak of the GGH13 Multilinear Map and some Variants
- auteur
- Léo Ducas, Alice Pellet--Mary
- article
- Asiacrypt 2018, Dec 2018, Brisbane, Australia. pp.465-493
- Accès au texte intégral et bibtex
-
- titre
- Improved Inner-product Encryption with Adaptive Security and Full Attribute-hiding
- auteur
- Jie Chen, Junqing Gong, Hoeteck Wee
- article
- ASIACRYPT 2018 - 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia
- Accès au bibtex
-
- titre
- Practical Fully Secure Unrestricted Inner Product Functional Encryption modulo p
- auteur
- Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
- article
- ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia. pp.733-764
- Accès au texte intégral et bibtex
-
- titre
- Adversarial vulnerability for any classifier
- auteur
- Alhussein Fawzi, Hamza Fawzi, Omar Fawzi
- article
- NeuroIPS 2018, Dec 2018, Montreal, Canada
- Accès au bibtex
-
- titre
- Location, Occupation, and Semantics Based Socioeconomic Status Inference on Twitter
- auteur
- Jacobo Levy Abitbol, Màrton Karsai, Eric Fleury
- article
- ICDMW 2018 - IEEE International Conference on Data Mining Workshops, Nov 2018, Singapore, Singapore. pp.1192-1199, ⟨10.1109/ICDMW.2018.00171⟩
- Accès au bibtex
-
- titre
- Exploiting the Table of Energy and Power Leverages
- auteur
- Issam Raïs, Laurent Lefèvre, Anne-Cécile Orgerie, Anne Benoit
- article
- ICA3PP 2018 - 18th International Conference on Algorithms and Architectures for Parallel Processing, Nov 2018, Guangzhou, China. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Latency-Aware Placement of Data Stream Analytics on Edge Computing
- auteur
- Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefèvre
- article
- Service-Oriented Computing, Nov 2018, Hangzhou, Zhejiang, China. pp.215-229
- Accès au texte intégral et bibtex
-
- titre
- Adaptively Secure Distributed PRFs from LWE
- auteur
- Benoît Libert, Damien Stehlé, Radu Titiu
- article
- TCC 2018 - 16th International Conference on Theory of Cryptography, Nov 2018, Panaji, India. pp.391-421, ⟨10.1007/978-3-030-03810-6_15⟩
- Accès au texte intégral et bibtex
-
- titre
- SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation
- auteur
- Henri Casanova, Arnaud Legrand, Martin Quinson, Frédéric Suter
- article
- EduHPC-18 - Workshop on Education for High-Performance Computing, Nov 2018, Dallas, United States. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Exploring Crypto Dark Matter: New Simple PRF Candidates and Their Applications
- auteur
- Dan Boneh, Yuval Ishai, Alain Passelègue, Amit Sahai, David J Wu
- article
- TCC 2018 - Theory of Cryptography Conference, Nov 2018, Goa, India. pp.699-729, ⟨10.1007/978-3-030-03810-6_25⟩
- Accès au bibtex
-
- titre
- WRENCH: A Framework for Simulating Workflow Management Systems
- auteur
- Henri Casanova, Suraj Pandey, James Oeth, Ryan Tanaka, Frédéric Suter, Rafael Ferreira da Silva
- article
- WORKS 2018 - 13th Workshop on Workflows in Support of Large-Scale Science, Nov 2018, Dallas, United States. pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
- auteur
- Anupam Das, Amina Doumane, Damien Pous
- article
- LPAR-22, Nov 2018, Awassa, Ethiopia
- Accès au bibtex
-
- titre
- Video on Demand in IEEE 802.11p-based Vehicular Networks: Analysis and Dimensioning
- auteur
- Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous, Azzedine Boukerche
- article
- MSWiM'18 - 21st ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Oct 2018, Montreal, Canada. ⟨10.1145/3242102.3242109⟩
- Accès au texte intégral et bibtex
-
- titre
- Considering Frame Aggregation in Association Optimization for High Throughput Wi-Fi Networks
- auteur
- Mohammed Amer, Anthony Busson, Isabelle Guérin-Lassous
- article
- PE-WASUN 2018 - 15th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, & Ubiquitous Networks, Oct 2018, Montreal, Canada. pp.55-62, ⟨10.1145/3243046.3243057⟩
- Accès au texte intégral et bibtex
-
- titre
- A Congruence Relation for Restructuring Classical Terms
- auteur
- Pierre Lescanne, Dragisa Zunic
- article
- 18th Italian Conference on Theoretical Computer Science, Oct 2018, Naples, Italy. pp.186-197
- Accès au bibtex
-
- titre
- Practicing Domain-Specific Languages: From Code to Models
- auteur
- Laure Gonnord, Sébastien Mosser
- article
- 14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
- Accès au texte intégral et bibtex
-
- titre
- Channel Coding for Better QoS in LoRa Networks
- auteur
- Ulysse Coutaud, Bernard Tourancheau
- article
- 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2018, Limassol, Cyprus. ⟨10.1109/WiMOB.2018.8589121⟩
- Accès au texte intégral et bibtex
-
- titre
- Know When to Fold ’Em: Self-assembly of Shapes by Folding in Oritatami
- auteur
- Erik Demaine, Jacob Hendricks, Meagan Olsen, Matthew Patitz, Trent A. Rogers, Nicolas Schabanel, Shinnosuke Seki, Hadley Thomas
- article
- DNA 2018, Oct 2018, Jinan, China. pp.19-36
- Accès au texte intégral et bibtex
-
- titre
- Constant overhead quantum fault-tolerance with quantum expander codes
- auteur
- Omar Fawzi, Antoine Grospellier, Anthony Leverrier
- article
- FOCS 2018 - 59th Annual IEEE Symposium on Foundations of Computer Science, Oct 2018, Paris, France. pp.743-754, ⟨10.1109/FOCS.2018.00076⟩
- Accès au bibtex
-
- titre
- EPTAS for Max Clique on Disks and Unit Balls
- auteur
- Marthe Bonamy, Edouard Bonnet, Nicolas Bousquet, Pierre Charbit, Stéphan Thomassé
- article
- FOCS: Foundations of Computer Science, Oct 2018, Paris, France. ⟨10.1109/FOCS.2018.00060⟩
- Accès au texte intégral et bibtex
-
- titre
- Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories
- auteur
- Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac
- article
- RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7
- Accès au texte intégral et bibtex
-
- titre
- Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem
- auteur
- Romain Serra, Denis Arzelier, Florent Bréhard, Mioara Joldes
- article
- IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9
- Accès au texte intégral et bibtex
-
- titre
- On the Impact of OpenMP Task Granularity
- auteur
- Thierry Gautier, Christian Pérez, Jérôme Richard
- article
- IWOMP 2018 - 14th International Workshop on OpenMP for Evolving Architectures, Sep 2018, Barcelone, Spain. pp.205-221, ⟨10.1007/978-3-319-98521-3_14⟩
- 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
- SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.1-8, ⟨10.1109/CAHPC.2018.8645931⟩
- Accès au texte intégral et bibtex
-
- titre
- Polyhedral Dataflow Programming: a Case Study
- auteur
- Romain Fontaine, Laure Gonnord, Lionel Morel
- article
- SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
- Accès au texte intégral et bibtex
-
- titre
- Co-scheduling HPC workloads on cache-partitioned CMP platforms
- auteur
- Guillaume Aupy, Anne Benoit, Brice Goglin, Loïc Pottier, Yves Robert
- article
- IEEE Cluster 2018, Sep 2018, Belfast, United Kingdom. pp.335-345
- Accès au texte intégral et bibtex
-
- titre
- Metadata Enrichment of Multi-disciplinary Digital Library: A Semantic-Based Approach
- auteur
- Hussein T Al-Natsheh, Lucie Martinet, Fabrice Muhlenbach, Fabien Rico, Djamel Abdelkader Zighed
- article
- TPDL 2018 - 22nd International Conference on Theory and Practice of Digital Libraries, Sep 2018, Porto, Portugal. pp.32-43
- Accès au bibtex
-
- titre
- Compact IBBE and Fuzzy IBE from Simple Assumptions
- auteur
- Junqing Gong, Benoît Libert, Somindu C Ramanna
- article
- SCN 2018 - 11th Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.1-29
- Accès au texte intégral et bibtex
-
- titre
- Function-Revealing Encryption: Definitions and Constructions
- auteur
- Marc Joye, Alain Passelègue
- article
- SCN 2018 - International Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.527-543, ⟨10.1007/978-3-319-98113-0_28⟩
- Accès au bibtex
-
- titre
- Non-Trivial Witness Encryption and Null-iO from Standard Assumptions
- auteur
- Zvika Brakerski, Aayush Jain, Ilan Komargodski, Alain Passelègue, Daniel Wichs
- article
- SCN 2018 - International Conference on Security and Cryptography for Networks, Sep 2018, Amalfi, Italy. pp.425-441, ⟨10.1007/978-3-319-98113-0_23⟩
- Accès au bibtex
-
- titre
- The True Concurrency of Herbrand’s Theorem
- auteur
- Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel
- article
- 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.5⟩
- Accès au texte intégral et bibtex
-
- titre
- Combining Linear Logic and Size Types for Implicit Complexity
- auteur
- Patrick Baillot, Alexis Ghyselen
- article
- Conference on Computer Science Logic, CSL 2018, Sep 2018, Birmingham, France. pp.9:1--9:21
- Accès au bibtex
-
- titre
- Fully Abstract Models of the Probabilistic λ-calculus
- auteur
- Pierre Clairambault, Hugo Paquet
- article
- 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.16⟩
- Accès au texte intégral et bibtex
-
- titre
- Completeness for Identity-free Kleene Lattices
- auteur
- Amina Doumane, Damien Pous
- article
- CONCUR, Sep 2018, Beijing, China. ⟨10.4230/LIPIcs.CONCUR.2018.18⟩
- Accès au texte intégral et bibtex
-
- titre
- Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)
- auteur
- Anupam Das, Damien Pous
- article
- Computer Science Logic (CSL), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.19⟩
- Accès au texte intégral et bibtex
-
- titre
- Combinatorics of Explicit Substitutions
- auteur
- Maciej Bendkowski, Pierre Lescanne
- article
- PPDP 2016, ACM et Université de Francfort de, Sep 2018, Frankfurt am Main, France. ⟨10.1145/3236950.3236951⟩
- Accès au bibtex
-
- titre
- Logarithmic-Size Ring Signatures With Tight Security from the DDH Assumption
- auteur
- Benoît Libert, Thomas Peters, Chen Qian
- article
- ESORICS 2018 - 23rd European Symposium on Research in Computer Security, Sep 2018, Barcelone, Spain. pp.288-308, ⟨10.1007/978-3-319-98989-1_15⟩
- Accès au texte intégral et bibtex
-
- titre
- SINA: A Scalable Iterative Network Aligner
- auteur
- Abdurrahman Yaşar, Bora Uçar, Ümit V. Çatalyürek
- article
- 2018 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), Aug 2018, Barcelona, Spain
- Accès au texte intégral et bibtex
-
- titre
- Do Moldable Applications Perform Better on Failure-Prone HPC Platforms?
- auteur
- Valentin Le Fèvre, George Bosilca, Aurelien Bouteiller, Thomas Herault, Atsushi Hori, Yves Robert, Jack Dongarra
- article
- Euro-Par 2018 - European Conference on Parallel Processing Worksops, Aug 2018, Torino, Italy. pp.787-799, ⟨10.1007/978-3-030-10549-5_61⟩
- Accès au bibtex
-
- titre
- Evaluation through Realistic Simulations of File Replication Strategies for Large Heterogeneous Distributed Systems
- auteur
- Anchen Chai, Sorina Camarasu-Pop, Tristan Glatard, Hugues Benoit-Cattin, Frederic Suter
- article
- Europar 2018 - 24th International European Conference on Parallel and Distributed Computing ; Workshop HeteroPar 2018, Aug 2018, Turin, Italy. pp.409-420, ⟨10.1007/978-3-030-10549-5_32⟩
- Accès au bibtex
-
- titre
- Online Scheduling of Task Graphs on Hybrid Platforms
- auteur
- Louis-Claude Canon, Loris Marchal, Bertrand Simon, Frédéric Vivien
- article
- Euro-Par 2018 - 24th International European Conference On Parallel And Distributed Computing, Aug 2018, Turin, Italy. pp.1-14, ⟨10.1007/978-3-319-96983-1_14⟩
- Accès au texte intégral et bibtex
-
- titre
- The PACE 2018 Parameterized Algorithms and Computational Experiments Challenge: The Third Iteration
- auteur
- Edouard Bonnet, Florian Sikora
- article
- IPEC 2018, Aug 2018, Helsinki, Finland. ⟨10.4230/LIPIcs.IPEC.2018.26⟩
- 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
- IPEC 2018 - 13th International Symposium on Parameterized and Exact Computation, Aug 2018, Helsinki, Finland. ⟨10.4230/LIPIcs.CVIT.2016.23⟩
- Accès au texte intégral et bibtex
-
- titre
- Lattice-Based Zero-Knowledge Arguments for Integer Relations
- auteur
- Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang
- article
- CRYPTO 2018 - Annual International Cryptology Conference, Aug 2018, Santa Barbara, United States. pp.700-732, ⟨10.1007/978-3-319-96881-0_24⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantum Attacks against Indistinguishablility Obfuscators Proved Secure in the Weak Multilinear Map Model
- auteur
- Alice Pellet--Mary
- article
- Crypto 2018 - 38th International Cryptology Conference, Aug 2018, Santa-Barbara, United States. pp.153-183, ⟨10.1007/978-3-319-96878-0_6⟩
- Accès au texte intégral et bibtex
-
- titre
- A Generic Approach to Scheduling and Checkpointing Workflows
- auteur
- Li Han, Valentin Le Fèvre, Louis-Claude Canon, Yves Robert, Frédéric Vivien
- article
- ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, OR, United States. pp.1-10, ⟨10.1145/3225058.3225145⟩
- Accès au texte intégral et bibtex
-
- titre
- A performance model to execute workflows on high-bandwidth-memory architectures
- auteur
- Anne Benoit, Swann Perarnau, Loïc Pottier, Yves Robert
- article
- ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, OR, United States. pp.1-10, ⟨10.1145/3225058.3225110⟩
- Accès au texte intégral et bibtex
-
- titre
- Treewidth-Two Graphs as a Free Algebra
- auteur
- Christian Doczkal, Damien Pous
- article
- Mathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom. ⟨10.4230/LIPIcs.MFCS.2018.60⟩
- Accès au texte intégral et bibtex
-
- titre
- Aten: A Dispatcher for Big Data Applications in Heterogeneous Systems
- auteur
- Paulo de Souza Junior, Kassiano J Matteussi, Julio C S dos Anjos, Jobe D D Dos Santos, Alexandre da Silva Veith, Claudio R. Geyer
- article
- 2018 International Conference on High Performance Computing Simulation (HPCS), Jul 2018, Orléans, France. pp.585-592, ⟨10.1109/HPCS.2018.00098⟩
- Accès au texte intégral et bibtex
-
- titre
- Enabling Strategies for Big Data Analytics in Hybrid Infrastructures
- auteur
- Julio Anjos, Kassiano J Matteussi, Paulo R R de Souza, Claudio Geyer, Alexandre da Silva Veith, Gilles Fedak, Jorge Luis Victoria Barbosa
- article
- 2018 International Conference on High Performance Computing Simulation (HPCS), Jul 2018, Orléans, France. pp.869-876
- Accès au texte intégral et bibtex
-
- titre
- Polynomial Equivalence Problems for Sum of Affine Powers
- auteur
- Ignacio García-Marco, Pascal Koiran, Timothée Pecatte
- article
- International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), Jul 2018, New York, United States. pp.303-310
- Accès au bibtex
-
- titre
- Building the Table of Energy and Power Leverages for Energy Efficient Large Scale Systems
- auteur
- Issam Raïs, Mathilde Boutigny, Laurent Lefèvre, Anne-Cécile Orgerie, Anne Benoit
- article
- HPCS: International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.284-291, ⟨10.1109/HPCS.2018.00056⟩
- Accès au texte intégral et bibtex
-
- titre
- A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems
- auteur
- Florent Bréhard
- article
- ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.103-110, ⟨10.1145/3208976.3209000⟩
- Accès au texte intégral et bibtex
-
- titre
- Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
- auteur
- Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
- article
- ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩
- Accès au texte intégral et bibtex
-
- titre
- Madeus: A formal deployment model
- auteur
- Maverick Chardet, Hélène Coullon, Dimitri Pertin, Christian Pérez
- article
- 4PAD 2018 : 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), HPCS 2018 : International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.1-8, ⟨10.1109/HPCS.2018.00118⟩
- Accès au texte intégral et bibtex
-
- titre
- Higher dimensional sieving for the number field sieve algorithms
- auteur
- Laurent Grémy
- article
- ANTS 2018 - Thirteenth Algorithmic Number Theory Symposium, University of Wisconsin, Jul 2018, Madison, United States. pp.1-16, ⟨10.2140/obs.2019.2.275⟩
- Accès au texte intégral et bibtex
-
- titre
- On Computing the Resultant of Generic Bivariate Polynomials
- auteur
- Gilles Villard
- article
- ISSAC 2018, 43rd International Symposium on Symbolic and Algebraic Computation, New York, USA, July 16-19, 2018, Jul 2018, New York, United States
- Accès au texte intégral et bibtex
-
- titre
- Computing an LLL-reduced Basis of the Orthogonal Lattice
- auteur
- Jingwei Chen, Damien Stehlé, Gilles Villard
- article
- ISSAC 2018, 43rd International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), Jul 2018, New York, United States. ⟨10.1145/3208976.3209013⟩
- Accès au texte intégral et bibtex
-
- titre
- Socioeconomic and network dependencies of linguistic patterns in Twitter
- auteur
- Jacobo Levy Abitbol, Màrton Karsai, Jean-Pierre Chevrot, Jean-Philippe Magué, Eric Fleury
- article
- IC2S2 2018 - 4th Annual International Conference on Computational Social Science, Jul 2018, Evanston, Illinois, United States
- Accès au bibtex
-
- titre
- Around Classical and Intuitionistic Linear Logics
- auteur
- Olivier Laurent
- article
- the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209132⟩
- Accès au bibtex
-
- titre
- The concurrent game semantics of Probabilistic PCF
- auteur
- Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel
- article
- the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ⟨10.1145/3209108.3209187⟩
- Accès au bibtex
-
- titre
- Counting Environments and Closures
- auteur
- Pierre Lescanne, Maciej Bendkowski
- article
- FSCD 2018, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.11⟩
- Accès au bibtex
-
- titre
- Eager Functions as Processes
- auteur
- Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
- article
- the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209152⟩
- Accès au texte intégral et bibtex
-
- titre
- Riesz Modal Logic with Threshold Operators
- auteur
- Matteo Mio
- article
- the 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, France. ⟨10.1145/3209108.3209118⟩
- Accès au bibtex
-
- titre
- LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
- auteur
- Cécilia Pradic, Colin Riba
- article
- LICS'18, Jul 2018, Oxford, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Intersection Subtyping with Constructors
- auteur
- Olivier Laurent
- article
- Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, Jul 2018, Oxford, United Kingdom. pp.73-84, ⟨10.4204/EPTCS.293.6⟩
- Accès au bibtex
-
- titre
- Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes
- auteur
- Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac
- article
- Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Behavioral interfaces for reconfiguration of component models
- auteur
- Maverick Chardet, Hélène Coullon, Christian Pérez
- article
- Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Vers un déploiement conforme et économique des licences dans une architecture Cloud
- auteur
- Arthur Chevalier
- article
- COMPAS 2018, Jul 2018, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Improved Anonymous Broadcast Encryptions
- auteur
- Jiangtao Li, Junqing Gong
- article
- ACNS 2018 - 16th International Conference on Applied Cryptography and Network Security, Jul 2018, Leuven, Belgium. pp.497-515, ⟨10.1007/978-3-319-93387-0_26⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards economic and compliant deployment of licenses in a Cloud architecture
- auteur
- Baillon Noëlle, Eddy Caron, Arthur Chevalier, Anne-Lucie Vion
- article
- Workshop: Cloud Management and Operations. In conjunction with CLOUD 2018 - IEEE International Conference on Cloud Computing, Jul 2018, San Franciso, United States
- Accès au bibtex
-
- titre
- Software Greenability: A Case Study of Cloud-Based Business Applications Provisioning
- auteur
- Hayri Acar, Hind Benfenatki, Jean-Patrick Gelas, Catarina Ferreira da Silva, Gülfem I Alptekin, Aïcha-Nabila Benharkat, Parisa Ghodous
- article
- CLOUD 2018 - IEEE 11th International Conference on Cloud Computing, Jul 2018, San Francisco, CA, United States. pp.875-878, ⟨10.1109/CLOUD.2018.00125⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs
- auteur
- Christian Doczkal, Guillaume Combette, Damien Pous
- article
- Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. ⟨10.1007/978-3-319-94821-8_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Allegories: decidability and graph homomorphisms
- auteur
- Damien Pous, Valeria Vignudelli
- article
- Logic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209172⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimality Program in Segment and String Graphs
- auteur
- Edouard Bonnet, Paweł Rzążewski
- article
- WG 2018, Jun 2018, Cottbus, France. pp.79-90
- Accès au bibtex
-
- titre
- A High Throughput Polynomial and Rational Function Approximations Evaluator
- auteur
- Nicolas Brisebarre, George Constantinides, Miloš Ercegovac, Silviu-Ioan Filip, Matei Istoan, Jean-Michel Muller
- article
- ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States. pp.99-106, ⟨10.1109/ARITH.2018.8464778⟩
- Accès au texte intégral et bibtex
-
- titre
- On various ways to split a floating-point number
- auteur
- Claude-Pierre Jeannerod, Jean-Michel Muller, Paul Zimmermann
- article
- ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst (MA), United States. pp.53-60, ⟨10.1109/ARITH.2018.8464793⟩
- Accès au texte intégral et bibtex
-
- titre
- Recueil de données massives de contacts sociaux en école maternelle : validation éthologique de l’utilisation des capteurs de proximité
- auteur
- Hélène Bouchet, Màrton Karsai, Stéphanie Barbu, Jean-Pierre Chevrot, Eric Fleury, Aurélie Nardy
- article
- 48ème Colloque Annuel de la SFECA, Université de Rennes 1; Société Française pour l'Etude du Comportement Animal, Jun 2018, Rennes, France
- Accès au bibtex
-
- titre
- On a Class of Stochastic Multilayer Networks
- auteur
- Bo Jiang, Philippe Nain, Don Towsley, Saikat Guha
- article
- ACM Sigmetrics, Jun 2018, Irvine, CA, United States. pp.1-24
- Accès au texte intégral et bibtex
-
- titre
- Architecture Microservices pilotée par les données
- auteur
- Eddy Caron, Zeina Houmani
- article
- CAL 2018 - Conférence francophone sur les Architectures Logicielles, Jun 2018, Grenoble, France. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- Du code aux modèles, des modèles au code: enseigner les langages dédiés (DSL)
- auteur
- Laure Gonnord, Sébastien Mosser
- article
- CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Orthogonal Terrain Guarding is NP-complete
- auteur
- Edouard Bonnet, Panos Giannopoulos
- article
- SoCG 2018, Jun 2018, Budapest, Hungary. ⟨10.4230/LIPIcs⟩
- Accès au texte intégral et bibtex
-
- titre
- QPTAS and Subexponential Algorithm for Maximum Clique on Disk Graphs
- auteur
- Edouard Bonnet, Panos Giannopoulos, Eun Jung Kim, Paweł Rzążewski, Florian Sikora
- article
- SoCG 2018, Jun 2018, Budapest, Hungary. ⟨10.4230/LIPIcs⟩
- Accès au texte intégral et bibtex
-
- titre
- Multidimensional analytic signal with application on graphs
- auteur
- Mikhail Tsitsvero, Pierre Borgnat, Paulo Gonçalves
- article
- SSP 2018 - IEEE Workshop on Statistical Signal Processing, IEEE, Jun 2018, Freiburg, Germany. pp.1-5
- Accès au texte intégral et bibtex
-
- titre
- Approximation algorithms for maximum matchings in undirected graphs
- auteur
- Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
- article
- CSC 2018 - SIAM Workshop on Combinatorial Scientific Computing, Jun 2018, Bergen, Norway. pp.56-65, ⟨10.1137/1.9781611975215.6⟩
- Accès au texte intégral et bibtex
-
- titre
- Channel assignment in IEEE 802.11-based substitution networks
- auteur
- Anthony Busson, Isabelle Guérin Lassous, Ha Pham The Anh
- article
- BalkanCom 2018 - Second International Balkan Conference on Communications and Networking, Jun 2018, Podgorica, Montenegro. pp.1-5
- Accès au texte intégral et bibtex
-
- titre
- Slopes of 3-dimensional Subshifts of Finite Type
- auteur
- Etienne Moutot, Pascal Vanier
- article
- CSR 2018, Jun 2018, Moscou, Russia. pp.257--268, ⟨10.1007/978-3-319-90530-3_22⟩
- Accès au texte intégral et bibtex
-
- titre
- Demoing Platypus – A Multilingual Question Answering Platform for Wikidata
- auteur
- Thomas Pellissier Tanon, Marcos Dias de Assuncao, Eddy Caron, Fabian M. Suchanek
- article
- ESWC 2018: The Semantic Web: ESWC 2018 Satellite Events, Jun 2018, Heracklion, Greece. pp.111-116, ⟨10.1007/978-3-319-98192-5_21⟩
- Accès au texte intégral et bibtex
-
- titre
- Fractional graph-based semi-supervised learning
- auteur
- Sarah de Nigris, Esteban Bautista, Patrice Abry, Konstantin Avrachenkov, Paulo Gonçalves
- article
- International School and Conference on Network Science, Jun 2018, Paris, France. pp.1
- Accès au texte intégral et bibtex
-
- titre
- Comparaison de deux clusterings par couplage entre clusters de clusters
- auteur
- Frédéric Cazals, Dorian Mazauric, Romain Tetley, Rémi Watrigant
- article
- ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
- Accès au texte intégral et bibtex
-
- titre
- A Data Stream Processing Optimisation Framework for Edge Computing Applications
- auteur
- Gayashan Amarasinghe, Marcos Dias de Assuncao, Aaron Harwood, Shanika Karunasekera
- article
- ISORC 2018 - IEEE 21st International Symposium on Real-Time Distributed Computing, May 2018, Singapore, Singapore. pp.91-98, ⟨10.1109/ISORC.2018.00020⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimal Cooperative Checkpointing for Shared High-Performance Computing Platforms
- auteur
- Thomas Herault, Yves Robert, Aurelien Bouteiller, Dorian Arnold, Kurt B Ferreira, George Bosilca, Jack Dongarra
- article
- APDCM 2018 : 20th Workshop on Advances in Parallel and Distributed Computational Models, May 2018, Vancouver, Canada
- Accès au texte intégral et bibtex
-
- titre
- Data-Locality Aware Dynamic Schedulers for Independent Tasks with Replicated Inputs
- auteur
- Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
- article
- IPDPSW 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, May 2018, Vancouver, Canada. pp.1-8, ⟨10.1109/IPDPSW.2018.00187⟩
- Accès au texte intégral et bibtex
-
- titre
- Budget-aware scheduling algorithms for scientific workflows with stochastic task weights on heterogeneous IaaS Cloud platforms
- auteur
- Yves Caniou, Eddy Caron, Aurélie Kong Win Chang, Yves Robert
- article
- IPDPSW 2018 - IEEE International Parallel and Distributed Processing Symposium Workshops, May 2018, Vancouver, Canada. pp.15-26, ⟨10.1109/IPDPSW.2018.00014⟩
- Accès au texte intégral et bibtex
-
- titre
- Combining Checkpointing and Replication for Reliable Execution of Linear Workflows
- auteur
- Anne Benoit, Aurélien Cavelan, Florina Ciorba, Valentin Le Fèvre, Yves Robert
- article
- APDCM 2018 - 20th Workshop on Advances in Parallel and Distributed Computational Models workshop, in conjunction with IPDPS'18, May 2018, Vancouver, Canada. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- Parallel scheduling of DAGs under memory constraints
- auteur
- Loris Marchal, Hanna Nagy, Bertrand Simon, Frédéric Vivien
- article
- IPDPS 2018 - 32nd IEEE International Parallel and Distributed Processing Symposium, May 2018, Vancouver, Canada. pp.1-10, ⟨10.1109/IPDPS.2018.00030⟩
- Accès au texte intégral et bibtex
-
- titre
- Association Optimization in Wi-Fi Networks based on the Channel Busy Time Estimation
- auteur
- Mohammed Amer, Anthony Busson, Isabelle Guérin-Lassous
- article
- IFIP Networking 2018, May 2018, Zürich, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- Nitro: Network-Aware Virtual Machine Image Management in Geo-Distributed Clouds
- auteur
- Jad Darrous, Shadi Ibrahim, Amelie Chi Zhou, Christian Pérez
- article
- CCGrid 2018 - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2018, Washington D.C., United States. pp.553-562, ⟨10.1109/CCGRID.2018.00082⟩
- Accès au texte intégral et bibtex
-
- titre
- GPU-Accelerated Algorithms for Allocating Virtual Infrastructure in Cloud Data Centers
- auteur
- Lucas Leandro Nesi, Mauricio Pillon, Marcos Dias de Assuncao, Guilherme Piêgas Koslovski
- article
- CCGRID 2018 - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2018, Washington, France. pp.364-365, ⟨10.1109/CCGRID.2018.00057⟩
- Accès au texte intégral et bibtex
-
- titre
- Unbounded ABE via Bilinear Entropy Expansion, Revisited
- auteur
- Jie Chen, Junqing Gong, Lucas Kowalczyk, Hoeteck Wee
- article
- EUROCRYPT 2018 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2018, Tel Aviv, Israel. pp.503-534, ⟨10.1007/978-3-319-78381-9_19⟩
- Accès au bibtex
-
- titre
- On the Ring-LWE and Polynomial-LWE Problems
- auteur
- Miruna Roșca, Damien Stehlé, Alexandre Wallet
- article
- EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications, Apr 2018, Tel Aviv, Israel
- Accès au bibtex
-
- titre
- CRYSTALS - Kyber: A CCA-Secure Module-Lattice-Based KEM
- auteur
- Joppe W. Bos, Léo Ducas, Eike Kiltz, Tancrède Lepoint, Vadim Lyubashevsky, John Schanck, Peter Schwabe, Gregor Seiler, Damien Stehlé
- article
- EuroS&P 2018 - IEEE European Symposium on Security and Privacy, Apr 2018, London, United Kingdom. pp.353-367, ⟨10.1109/EuroSP.2018.00032⟩
- Accès au bibtex
-
- titre
- Socioeconomic dependencies of linguistic patterns in Twitter: a multivariate analysis
- auteur
- Jacobo Levy Abitbol, Márton Karsai, Jean-Philippe Magué, Jean-Pierre Chevrot, Eric Fleury
- article
- WWW '18 - World Wide Web Conference, Apr 2018, Lyon, France. pp.1125-1134, ⟨10.1145/3178876.3186011⟩
- Accès au texte intégral et bibtex
-
- titre
- Designing RNA Secondary Structures is Hard
- auteur
- Edouard Bonnet, Paweł Rzążewski, Florian Sikora
- article
- RECOMB 2018, Apr 2018, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- A new proximal method for joint image restoration and edge detection with the Mumford-Shah model
- auteur
- Marion Foare, Nelly Pustelnik, Laurent Condat
- article
- ICASSP 2018 - IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2018, Calgary, Alberta, Canada
- Accès au texte intégral et bibtex
-
- titre
- Non-angelic Concurrent Game Semantics
- auteur
- Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
- article
- 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89366-2_1⟩
- Accès au bibtex
-
- titre
- A Trace Semantics for System F Parametric Polymorphism
- auteur
- Guilhem Jaber, Nikos Tzevelekos
- article
- International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessaloniki, Greece. pp.20-38, ⟨10.1007/978-3-319-89366-2_2⟩
- Accès au bibtex
-
- titre
- Improved Quantum Information Set Decoding
- auteur
- Elena Kirshanova
- article
- PQCrypto 2018 - The Ninth International Conference on Post-Quantum Cryptography, Apr 2018, Fort Lauderdale, United States
- Accès au bibtex
-
- titre
- Robustness of classifiers to uniform $\ell_p$ and Gaussian noise
- auteur
- Jean-Yves Franceschi, Alhussein Fawzi, Omar Fawzi
- article
- Twenty-first International Conference on Artificial Intelligence and Statistics, Apr 2018, Playa Blanca, Spain. pp.1280-1288
- Accès au texte intégral et bibtex
-
- titre
- Speed-Ups and Time-Memory Trade-Offs for Tuple Lattice Sieving
- auteur
- Gottfried Herold, Elena Kirshanova, Thijs Laarhoven
- article
- PKC 2018 - 21st International Conference on Practice and Theory of Public Key Cryptography, Mar 2018, Rio de Janeiro, Brazil
- Accès au bibtex
-
- titre
- Learning with Errors and Extrapolated Dihedral Cosets
- auteur
- Zvika Brakerski, Elena Kirshanova, Damien Stehlé, Weiqiang Wen
- article
- PKC 2018 - 21st International Conference on Practice and Theory of Public Key Cryptography, Mar 2018, Rio de Janeiro, Brazil
- Accès au bibtex
-
- titre
- Memory-aware tree partitioning on homogeneous platforms
- auteur
- Changjiang Gou, Anne Benoit, Loris Marchal
- article
- PDP 2018 - 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Mar 2018, Cambridge, United Kingdom. pp.321-324, ⟨10.1109/PDP2018.2018.00056⟩
- Accès au texte intégral et bibtex
-
- titre
- A Cloud-aware autonomous workflow engine and its application to Gene Regulatory Networks inference
- auteur
- Arnaud Bonnaffoux, Eddy Caron, Hadrien Croubois, Olivier Gandrillon
- article
- CLOSER 2018 - 8th International conference on Cloud computing and Service Science., Mar 2018, Funchal, Madeira, Portugal. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Parallel Code Generation of Synchronous Programs for a Many-core Architecture
- auteur
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
- article
- DATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩
- Accès au texte intégral et bibtex
-
- titre
- Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation
- auteur
- Bruno Salvy
- article
- STACS 2018 - 35th Symposium on Theoretical Aspects of Computer Science, Feb 2018, Caen, France. ⟨10.4230/LIPIcs.STACS.2018.1⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Positive Calculus of Relations with Transitive Closure
- auteur
- Damien Pous
- article
- 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), Feb 2018, Caen, France. ⟨10.4230/LIPIcs.STACS.2018.3⟩
- Accès au bibtex
-
- titre
- Improving Communication Patterns in Polyhedral Process Networks
- auteur
- Christophe Alias
- article
- HIP3ES 2018 - Sixth International Workshop on High Performance Energy Efficient Embedded Systems, Jan 2018, Manchester, United Kingdom. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- Thermal aware scheduling on distributed computing water heaters
- auteur
- Issam Raïs, Eddy Caron, Laurent Lefèvre
- article
- CCNC 2018 - IEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. pp.1-4, ⟨10.1109/CCNC.2018.8319253⟩
- Accès au texte intégral et bibtex
-
- titre
- Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations
- auteur
- Paulo Ricardo Arantes Gilz, Florent Bréhard, Clément Gazzino
- article
- SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting, Jan 2018, Kissimmee, United States. pp.1-23, ⟨10.2514/6.2018-1960⟩
- Accès au texte intégral et bibtex
-
- titre
- Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq
- auteur
- Christian Doczkal, Joachim Bard
- article
- Certified Programs and Proofs, Jan 2018, Los Angeles, United States
- Accès au texte intégral et bibtex
-
- titre
- Subquadratic Kernels for Implicit 3-Hitting Set and 3-Set Packing Problems
- auteur
- Tien-Nam Le, Daniel Lokshtanov, Saket Saurabh, Stéphan Thomassé, Meirav Zehavi
- article
- SODA 2018, Jan 2018, New Orleans, France. pp.331-342
- Accès au bibtex
-
- titre
- Measuring, Simulating and Exploiting the Head Concavity Phenomenon in BKZ
- auteur
- Shi Bai, Damien Stehlé, Weiqiang Wen
- article
- ASIACRYPT, 2018, Brisbane, Australia
- Accès au bibtex
-
- titre
- Width of Non-deterministic Automata
- auteur
- Denis Kuperberg, Anirban Majumdar
- article
- 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 2018, Caen, France. pp.48 - 49, ⟨10.4230/LIPIcs.STACS.2018.48⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Scheduling for Fault-Tolerance: An Introduction
- auteur
- Guillaume Aupy, Yves Robert
- article
- Topic in parallel and distributed computing: Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms, Springer International Publishing, pp.143-170, 2018, 978-3-319-93109-8
- Accès au texte intégral et bibtex
-
- titre
- Avoiding or limiting regularities in words
- auteur
- Pascal Ochem, Michaël Rao, Matthieu Rosenfeld
- article
- Sequences, Groups and Number Theory, pp.177-212, 2018, 978-3-319-69151-0. ⟨10.1007/978-3-319-69152-7_5⟩
- Accès au bibtex
-
- titre
- Visual Network Exploration for Data Journalists
- auteur
- Tommaso Venturini, Mathieu Jacomy, Liliana Bounegru, Jonathan Gray
- article
- Scott A. Eldridge II; Bob Franklin. The Routledge Handbook of Developments in Digital Journalism Studies, Routledge, 2018, 9781138283053
- Accès au texte intégral et bibtex
-
- titre
- Service Adoption Spreading in Online Social Networks
- auteur
- Gerardo Iñiguez, Zhongyuan Ruan, Kimmo Kaski, János Kertész, Màrton Karsai
- article
- Complex Spreading Phenomena in Social Systems, pp.151-175, 2018, 978-3-319-77331-5. ⟨10.1007/978-3-319-77332-2_9⟩
- Accès au bibtex
-
- titre
- Design of graph filters and filterbanks
- auteur
- Nicolas Tremblay, Paulo Gonçalves, Pierre Borgnat
- article
- Petar M. Djurić; Cédric Richard. Cooperative and Graph Signal Processing, Academic Press, pp.299-324, 2018, 978-0-12-813677-5. ⟨10.1016/B978-0-12-813677-5.00011-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Prepaid or Postpaid? That Is the Question: Novel Methods of Subscription Type Prediction in Mobile Phone Services
- auteur
- Yongjun Liao, Wei Du, Màrton Karsai, Carlos Sarraute, Martin Minnoni, Eric Fleury
- article
- Social Network Based Big Data Analysis and Applications, Springer, pp.165-181, 2018, Lecture Notes in Social Networks, ⟨10.1007/978-3-319-78196-9_8⟩
- Accès au bibtex
-
- titre
- About the Domino Problem for Subshifts on Groups
- auteur
- Nathalie Aubrun, Sebastián Barbieri, Emmanuel Jeandel
- article
- Valérie Berthé; M Rigo. Sequences, Groups, and Number Theory, Birkhäuser, Cham, pp.331-389, 2018, Trends in Mathematics, 978-3-319-69151-0. ⟨10.1007/978-3-319-69152-7_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Attention on Weak Ties in Social and Communication Networks
- auteur
- Lilian Weng, Márton Karsai, Nicola Perra, Filippo Menczer, Alessandro Flamini
- article
- Spreading Dynamics in Social Systems, 2018
- Accès au bibtex
-
- titre
- Data-Sprinting: a Public Approach to Digital Research
- auteur
- Tommaso Venturini, Anders Munk, Axel Meunier
- article
- Celia Lury; Rachel Fensham; Alexandra Heller-Nicholas. Routledge handbook of interdisciplinary research methods, Routledge, 2018, Routledge international handbooks, 9781138886872. ⟨10.4324/9781315714523-24⟩
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Contributions to the Performance Modeling of Computer Networks
- auteur
- Thomas Begin
- article
- Networking and Internet Architecture [cs.NI]. Université Claude Bernard Lyon 1, 2018
- Accès au texte intégral et bibtex
-
- titre
- Memory and data aware scheduling
- auteur
- Loris Marchal
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. École Normale Supérieure de Lyon, 2018
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Disrupting algorithms and software: Dispatch from IPDPS 2018
- auteur
- Bora Uçar
- article
- 2018, pp.3--4. ⟨10.1145/3329082.3329086⟩
- Accès au texte intégral et bibtex
-
- titre
- A Field Guide to Fake News and other Information Disorders
- auteur
- Liliana Bounegru, Jonathan Gray, Tommaso Venturini, Michele Mauri
- article
- 2018
- Accès au texte intégral et bibtex
-
Books
- titre
- Handbook of Floating-point Arithmetic (2nd edition)
- auteur
- Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
- article
- Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩
- Accès au bibtex
-
- titre
- Bursty Human Dynamics
- auteur
- Márton Karsai, Hang-Hyun Jo, Kimmo Kaski
- article
- Springer, pp.XIV, 121, 2018, 978-3-319-68538-0. ⟨10.1007/978-3-319-68540-3⟩
- Accès au bibtex
-
- titre
- Special issue on Resilience and Energy-aware Techniques for High-Performance Computing (RE-HPC)
- auteur
- Hongyang Sun, Anne Benoit, Jean-Marc Pierson
- article
- Elsevier, 19, pp.1-350, 2018, Sustainable Computing: Informatics and Systems, ⟨10.1016/j.suscom.2018.07.012⟩
- Accès au bibtex
-
- titre
- Introduction to special issue on sustainable computing for ultrascale computing
- auteur
- Laurent Lefèvre, Jean-Marc Pierson
- article
- Lefèvre, Laurent and Pierson, Jean-Marc. Elsevier, 17 (Special issue), pp.25-26, 2018, Sustainable Computing: Informatics and Systems, ⟨10.1016/j.suscom.2018.02.002⟩
- Accès au bibtex
-
Poster communications
- titre
- Latency-Aware Strategies for Placing Data Stream Analytics onto Edge Computing
- auteur
- Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefèvre
- article
- HotEdge'18 - USENIX Workshop on Hot Topics in Edge Computing, Jul 2018, Boston, United States. pp.1, 2018
- Accès au texte intégral et bibtex
-
Reports
- titre
- Prospective Report of the scientific council of the Information Sciences and their interactions Institute of CNRS
- auteur
- Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, Michel Beaudouin-Lafon, Marie-Paule Cani, François Chaumette, Gérald Conreur, Véronique Cortier, Cyril Gavoille, Guy Gogniat, Julien Gossa, Andreas Herzig, Jean Krivine, Philippe Lamarre, Françoise Lamnabhi-Lagarrigue, Anne-Catherine Letournel, Lionel Seinturier, Isabelle Tellier, Serge Torres, Charlotte Truchet, Alexandros Tsoukias, Michel Verleysen
- article
- [0] CNRS. 2018, pp.1-87
- Accès au texte intégral et bibtex
-
- titre
- Combining Checkpointing and Replication for Reliable Execution of Linear Workflows with Fail-Stop and Silent Errors
- auteur
- Anne Benoit, Aurélien Cavelan, Florina Ciorba, Valentin Le Fèvre, Yves Robert
- article
- [Research Report] RR-9235, ROMA (INRIA Rhône-Alpes / LIP Laboratoire de l’Informatique du Parallélisme); LIP - Laboratoire de l’Informatique du Parallélisme. 2018, pp.1-32
- Accès au texte intégral et bibtex
-
- titre
- Semantic Array Dataflow Analysis
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki
- article
- [Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
- Accès au texte intégral et bibtex
-
- titre
- Monoparametric Tiling of Polyhedral Programs
- auteur
- Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
- article
- [Research Report] RR-9233, INRIA Grenoble - Rhone-Alpes. 2018, pp.1-28
- Accès au texte intégral et bibtex
-
- titre
- Limiting the memory footprint when dynamically scheduling DAGs on shared-memory platforms
- auteur
- Loris Marchal, Bertrand Simon, Frédéric Vivien
- article
- [Research Report] RR-9231, Inria Grenoble Rhône-Alpes. 2018, pp.1-41
- Accès au texte intégral et bibtex
-
- titre
- Efficient use of sparsity by direct solvers applied to 3D controlled-source EM problems
- auteur
- Patrick Amestoy, Sebastien de La Kethulle de Ryhove, Jean-Yves L'Excellent, Gilles Moreau, Daniil V. Shantsev
- article
- [Research Report] RR-9220, Inria Grenoble Rhône-Alpes; LIP - ENS Lyon. 2018, pp.26
- Accès au texte intégral et bibtex
-
- titre
- Effective heuristics for matchings in hypergraphs
- auteur
- Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
- article
- [Research Report] RR-9224, Inria Grenoble Rhône-Alpes. 2018, pp.1-20
- Accès au texte intégral et bibtex
-
- titre
- Reservation Strategies for Stochastic Jobs (Extended Version)
- auteur
- Guillaume Aupy, Ana Gainaru, Valentin Honoré, Padma Raghavan, Yves Robert, Hongyang Sun
- article
- [Research Report] RR-9211, Inria & Labri, Univ. Bordeaux; Department of EECS, Vanderbilt University, Nashville, TN, USA; Laboratoire LIP, ENS Lyon & University of Tennessee Knoxville, Lyon, France. 2018, pp.1-37
- Accès au texte intégral et bibtex
-
- titre
- FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks
- auteur
- Christophe Alias
- article
- [Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018
- Accès au texte intégral et bibtex
-
- titre
- Scheduling independent stochastic tasks deadline and budget constraints
- auteur
- Louis-Claude Canon, Aurélie Kong Win Chang, Yves Robert, Frédéric Vivien
- article
- [Research Report] RR-9178, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-34
- Accès au texte intégral et bibtex
-
- titre
- A scalable clustering-based task scheduler for homogeneous processors using DAG partitioning
- auteur
- Yusuf M. Özkaya, Anne Benoit, Bora Uçar, Julien Herrmann, Ümit V. Çatalyürek
- article
- [Research Report] RR-9185, Inria Grenoble Rhône-Alpes. 2018, pp.1-34
- Accès au texte intégral et bibtex
-
- titre
- Distributed Termination Detection for HPC Task-Based Environments
- auteur
- George Bosilca, Aurelien Bouteiller, Thomas Hérault, Valentin Le Fèvre, Yves Robert, Jack J. Dongarra
- article
- [Research Report] RR-9181, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-28
- Accès au texte intégral et bibtex
-
- titre
- Do moldable applications perform better on failure-prone HPC platforms?
- auteur
- Valentin Le Fèvre, George Bosilca, Aurelien Bouteiller, Thomas Herault, Atsushi Hori, Yves Robert, Jack J. Dongarra
- article
- [Research Report] RR-9174, Inria Grenoble Rhône-Alpes. 2018, pp.1-24
- Accès au texte intégral et bibtex
-
- titre
- A performance model to execute workflows on high-bandwidth memory architectures
- auteur
- Anne Benoit, Swann Perarnau, Loïc Pottier, Yves Robert
- article
- [Research Report] RR-9165, ENS Lyon; Inria Grenoble Rhône-Alpes; University of Tennessee Knoxville; Georgia Institute of Technology; Argonne National Laboratory. 2018, pp.1-28
- Accès au texte intégral et bibtex
-
- titre
- Reliability-aware energy optimization for throughput-constrained applications on MPSoC
- auteur
- Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei
- article
- [Research Report] RR-9168, Laboratoire LIP, École Normale Supérieure de Lyon & CNRS & Inria, France; Shanghai Key Lab. of Trustworthy Computing, East China Normal University, China; Georgia Institute of Technology, USA. 2018, pp.1-35
- Accès au texte intégral et bibtex
-
- titre
- A Generic Approach to Scheduling and Checkpointing Workflows
- auteur
- Li Han, Valentin Le Fèvre, Louis-Claude Canon, Yves Robert, Frédéric Vivien
- article
- [Research Report] RR-9167, Inria. 2018, pp.1-29
- Accès au texte intégral et bibtex
-
- titre
- Acyclic partitioning of large directed acyclic graphs
- auteur
- Julien Herrmann, M Yusuf Özkaya, Bora Uçar, Kamer Kaya, Ümit V. Çatalyürek
- article
- [Research Report] RR-9163, Inria - Research Centre Grenoble – Rhône-Alpes. 2018
- Accès au texte intégral et bibtex
-
- titre
- Co-scheduling HPC workloads on cache-partitioned CMP platforms
- auteur
- Guillaume Aupy, Anne Benoit, Brice Goglin, Loïc Pottier, Yves Robert
- article
- [Research Report] RR-9154, Inria. 2018
- Accès au texte intégral et bibtex
-
- titre
- Combining Checkpointing and Replication for Reliable Execution of Linear Workflows
- auteur
- Anne Benoit, Aurélien Cavelan, Florina Ciorba, Valentin Le Fèvre, Yves Robert
- article
- [Research Report] RR-9152, Inria - Research Centre Grenoble – Rhône-Alpes. 2018, pp.1-36
- Accès au texte intégral et bibtex
-
- titre
- Online Scheduling of Sequential Task Graphs on Hybrid Platforms
- auteur
- Louis-Claude Canon, Loris Marchal, Bertrand Simon, Frédéric Vivien
- article
- [Research Report] RR-9150, LIP - ENS Lyon. 2018
- Accès au texte intégral et bibtex
-
- titre
- Platypus – A Multilingual Question Answering Platform for Wikidata
- auteur
- Thomas Pellissier Tanon, Marcos Dias de Assuncao, Eddy Caron, Fabian Suchanek
- article
- [Technical Report] LIP - ENS Lyon. 2018
- Accès au texte intégral et bibtex
-
Theses
- titre
- On the Solution Phase of Direct Solvers for Sparse Linear Systems with Multiple Sparse Right-Hand Sides
- auteur
- Gilles Moreau
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. ENS Lyon; Université de Lyon, 2018. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Patterns in Large Graphs
- auteur
- Tien Nam Le
- article
- Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN079⟩
- Accès au texte intégral et bibtex
-
- titre
- Centralized Optimization of the Association in IEEE 802.11 Networks
- auteur
- Mohammed Amer
- article
- Networking and Internet Architecture [cs.NI]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSE1238⟩
- Accès au texte intégral et bibtex
-
- titre
- Contributions to the hardness foundations of lattice-based cryptography
- auteur
- Weiqiang Wen
- article
- Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN070⟩
- Accès au texte intégral et bibtex
-
- titre
- Privacy-preserving cryptography from pairings and lattices
- auteur
- Fabrice Mouhartem
- article
- Cryptography and Security [cs.CR]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN060⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward an autonomic engine for scientific workflows and elastic Cloud infrastructure
- auteur
- Hadrien Croubois
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN061⟩
- Accès au texte intégral et bibtex
-
- titre
- Discover, model and combine energy leverages for large scale energy efficient infrastructures
- auteur
- Issam Raïs
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN051⟩
- Accès au texte intégral et bibtex
-
- titre
- Co-scheduling for large-scale applications : memory and resilience
- auteur
- Loïc Pottier
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN039⟩
- Accès au texte intégral et bibtex
-
- titre
- Lower bounds and reconstruction algorithms for sums of affine powers
- auteur
- Timothée Pecatte
- article
- Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN029⟩
- Accès au texte intégral et bibtex
-
- titre
- Scheduling task graphs on modern computing platforms
- auteur
- Bertrand Simon
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN022⟩
- Accès au texte intégral et bibtex
-
- titre
- Detecting and Coloring some Graph Classes
- auteur
- Ngoc Khang Le
- article
- Computer Arithmetic. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN021⟩
- Accès au texte intégral et bibtex
-
- titre
- Parallelization of iterative methods to solve sparse linear systems using task based runtime systems on multi and many-core architectures : application to Multi-Level Domain Decomposition methods
- auteur
- Adrien Roussel
- article
- Numerical Analysis [cs.NA]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM010⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Analytic signal in many dimensions
- auteur
- Mikhail Tsitsvero, Pierre Borgnat, Paulo Gonçalves
- article
- 2018
- Accès au texte intégral et bibtex
-
- titre
- Monoidal-Closed Categories of Tree Automata
- auteur
- Colin Riba
- article
- 2018
- Accès au texte intégral et bibtex
-
- titre
- Orbits of monomials and factorization into products of linear forms
- auteur
- Pascal Koiran, Nicolas Ressayre
- article
- 2018
- Accès au texte intégral et bibtex
-
- titre
- Link transmission centrality in large-scale social networks
- auteur
- Qian Zhang, Márton Karsai, Alessandro Vespignani
- article
- 2018
- Accès au bibtex
-
- titre
- A Curry-Howard Approach to Church's Synthesis
- auteur
- Cécilia Pradic, Colin Riba
- article
- 2018
- Accès au bibtex
-
- titre
- Counting Environments and Closures
- auteur
- Pierre Lescanne, Maciej Bendkowski
- article
- 2018
- Accès au bibtex
-
- titre
- Multiplierless Processing Element for Non-Power-of-Two FFTs
- auteur
- Fahad Qureshi, Anastasia Volkova, Thibault Hilaire, Jarmo Takala
- article
- 2018
- Accès au texte intégral et bibtex
-