Skip to Main content Skip to Navigation

inria-00363227v1  Reports
Thomas Heide Clausen. MANET Router Configuration Recommendations
[Research Report] RR-6852, INRIA. 2009
inria-00383793v1  Reports
Ali Ayad. On formal methods for certifying floating-point C programs
[Research Report] RR-6927, INRIA. 2009, pp.34
inria-00428521v1  Reports
Ulrich Herberg. Integrating Java Support for Routing Protocols in NS2
[Research Report] RR-7075, INRIA. 2009, pp.32
hal-01301485v1  Reports
Catherine LetondalAurélien TabardWendy E. Mackay. Quand tu l'as écrit, tu l'as lu !
[Rapport de recherche] 1526, Laboratoire de Recherche en Informatique (LRI). 2009
inria-00353260v2  Reports
Nicolas Verzelen. Data-driven neighborhood selection of a Gaussian field
[Research Report] RR-6798, INRIA. 2009, pp.27
inria-00438486v3  Reports
Pedro de CastroOlivier Devillers. Self-Adapting Point Location
[Research Report] RR-7132, INRIA. 2009, pp.24