Search - Archive ouverte HAL Access content directly

Filter your results

5 Results
Domains : info.info-dc
Image document

Verification of Modular Systems with Unknown Components Combining Testing and Inference

Roland Groz , Keqin Li , Alexandre Petrenko
[Research Report] RR-LIG-028, LIG. 2012
Reports hal-01472134v1
Image document

MPI communication on MPPA Many-core NoC: design, modeling and performance issues

Minh-Quan Ho , Bernard Tourancheau , Christian Obrecht , Benoît Dupont de Dinechin , Jérôme Reybert et al.
ParCo 2015, Sep 2015, Edinburgh, United Kingdom. ⟨10.3233/978-1-61499-621-7-113⟩
Conference papers hal-01398190v1
Image document

Improving 3D Lattice Boltzmann Method stencil with asynchronous transfers on many-core processors

Minh-Quan Ho , Christian Obrecht , Bernard Tourancheau , Benoît Dupont de Dinechin , Julien Hascoet et al.
36th IEEE International Performance Computing and Communications Conference (IPCCC 2017), Dec 2017, San Diego, United States
Conference papers hal-01652614v1
Image document

A Divide-and-Conquer Scheme for Assigning Roles in Multi-Channel Wireless Mesh Networks

Benoit Darties , Fabrice Theoleyre , Andrzej Duda
[Research Report] RR-LIG-004, LIG. 2010
Reports hal-01353797v1
Image document

Broadcast Strategies with Probabilistic Delivery Guarantee in Multi-Channel Multi-Interface Wireless Mesh Networks

Carina Teixeira de Oliveira , Fabrice Theoleyre , Andrzej Duda
[Research Report] RR-LIG-017, LIG. 2011
Reports hal-01473154v1