Skip to Main content Skip to Navigation


...
lirmm-01348367v1  Journal articles
Thu-Hien ToMatthieu JungSamantha LycettOlivier Gascuel. Fast Dating Using Least-Squares Criteria and Algorithms
Systematic Biology, Oxford University Press (OUP), 2016, 65 (1), pp.82-97. ⟨10.1093/sysbio/syv068⟩
...
hal-01252167v1  Journal articles
Jean-Pierre LoziFlorian DavidGaël ThomasJulia LawallGilles Muller. Fast and Portable Locking for Multicore Architectures
ACM Transactions on Computer Systems, Association for Computing Machinery, 2016, ⟨10.1145/2845079⟩
...
hal-01920970v1  Journal articles
Frédéric GiroireNicolas HuinJoanna MoulieracTruong Khoa Phan. Energy-Aware Routing in Software-Defined Network using Compression
The Computer Journal, Oxford University Press (UK), 2018, 61 (10), pp.1537 - 1556. ⟨10.1093/comjnl/bxy029⟩
...
hal-02101766v1  Reports
Richard M. KarpClaire KenyonOrli Waarts. Error-resilient DNA computation.
[Research Report] LIP RR-1995-20, Laboratoire de l'informatique du parallélisme. 1995, 2+23p
...
tel-00195401v1  Theses
Vincent Lacroix. Identification de motifs dans les réseaux métaboliques
Autre [cs.OH]. Université Claude Bernard - Lyon I, 2007. Français
...
hal-01205343v1  Conference papers
Mattias de WaelStefan MarrJoeri de KosterJennifer B. SartorWolfgang de Meuter. Just-in-Time Data Structures
Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Oct 2015, Pittsburgh, PA, United States. ⟨10.1145/2814228.2814231⟩
hal-01418464v1  Books
Clarisse DhaenensLaetitia Jourdan. Metaheuristics for Big Data
Wiley-ISTE, pp.212, 2016, 978-1-84821-806-2
...
hal-00777675v2  Conference papers
Alin BostanPierre LairezBruno Salvy. Creative telescoping for rational functions using the Griffiths-Dwork method
ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.93-100, ⟨10.1145/2465506.2465935⟩
...
hal-02367725v1  Book sections
Gwendal Simon. Allocation optimale de ressources dans des overlays
Evolution des technologies pair-à-pair : optimisation, sécurité et application, Hermès Science, Lavoisier, 2010, 978-2-7462-2579-4
...
tel-00460292v1  Habilitation à diriger des recherches
Pascal Berthomé. Contribution à l'algorithmique des graphes: quelques représentations pertinentes de graphes
Modélisation et simulation. Université Paris Sud - Paris XI, 2006
...
hal-01227303v2  Journal articles
Stéphane GrumbachOlivier Hamant. Digital Revolution or Anthropocenic Feedback?
Anthropocene Review, SAGE Publications, 2017, 5 (1), pp.1-12. ⟨10.1177/2053019617748337⟩
...
hal-01165186v2  Reports
Emmanuel AgulloLuc GiraudMawussi Zounon. On the resilience of a parallel sparse hybrid solver
[Research Report] RR-8744, INRIA Bordeaux; INRIA. 2015
...
tel-01485328v1  Theses
Guillaume Ducoffe. Metric properties of large graphs
Other [cs.OH]. Université Côte d'Azur, 2016. English. ⟨NNT : 2016AZUR4134⟩
...
tel-00752033v1  Theses
Rayan Chikhi. Computational methods for de novo assembly of next-generation genome sequencing data
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0033⟩
...
tel-00418297v1  Theses
Patricio Reyes. Data Gathering in Radio Networks
Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2009. English