66 citations
- Institut de Recherche en Informatique de ToulouseFR13 papers
- Université Toulouse-I-CapitoleFR13 papers
- Université Toulouse III - Paul SabatierFR13 papers
- Université Toulouse - Jean JaurèsFR13 papers
- Université de BordeauxFR12 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR10 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Château GombertFR6 papers
- Institut de Mathématiques de MarseilleFR6 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Institut de Mathématiques de BordeauxFR2 papers
- Laboratoire de l'Intégration du Matériau au SystèmeFR2 papers
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2011
Opportunistic Information Dissemination in Mobile Ad-hoc Networks: adaptiveness vs. obliviousness and randomization vs. determinism
Martin Farach-Colton, Antonio Fernandez Anta, Alessia Milani +2
In this paper the problem of information dissemination in Mobile Ad-hoc Networks (MANET) is studied. The problem is to disseminate a piece of information, initially held by a disti…
cs.DS2008★ 21 cited
Accelerated Data-Flow Analysis
Jérôme Leroux, Gregoire Sutre
Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states…