29.3k citations
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR82 papers
- Centre National de la Recherche ScientifiqueFR50 papers
- Centre Inria de SaclayFR17 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR17 papers
- Institut Élie Cartan de LorraineFR17 papers
- Université de LorraineFR14 papers
- Laboratoire de l'Informatique du ParallélismeFR12 papers
- Centre Inria de l'Université de LilleFR10 papers
- Computer Algorithms for MedicineAT10 papers
- Laboratoire d'Informatique de GrenobleFR10 papers
- Sorbonne UniversitéFR10 papers
- Université Paris CitéFR10 papers
81 papers · 1 filter
Stratification in P2P Networks - Application to BitTorrent
Anh-Tuan Gai, Fabien Mathieu, Julien Reynier +1
We introduce a model for decentralized networks with collaborating peers. The model is based on the stable matching theory which is applied to systems with a global ranking utility…
On Using Matching Theory to Understand P2P Network Design
Dmitry Lebedev, Fabien Mathieu, Laurent Viennot +3
This paper aims to provide insight into stability of collaboration choices in P2P networks. We study networks where exchanges between nodes are driven by the desire to receive the…
On Completeness of Logical Relations for Monadic Types
Slawomir Lasota, David Nowak, Yu Zhang
Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs can be mode…
Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries
Alexandre Sedoglavic
Lie group theory states that knowledge of a -parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by the number of equatio…
Developing efficient parsers in Prolog: the CLF manual (v1.0)
Thierry Despeyroux
This document describes a couple of tools that help to quickly design and develop computer (formalized) languages. The first one use Flex to perform lexical analysis and the second…
About the Lifespan of Peer to Peer Networks
R. Cilibrasi, Z. Lotker, A. Navarra +2
We analyze the ability of peer to peer networks to deliver a complete file among the peers. Early on we motivate a broad generalization of network behavior organizing it into one o…