Search - Archive ouverte HAL Access content directly

Filter your results

4 Results
Deposit type : Notice

Graph Coloring on a Coarse Grained Multicomputers

Assefaw Hadish Gebremedhin , Isabelle Guérin Lassous , Jens Gustedt , Jan Arne Telle
Discrete Applied Mathematics, 2003, 131 (1), pp.179-198
Journal articles inria-00099526v1

Étude de la couche transport des réseaux sur puce

Antoine Scherrer , Antoine Fraboulet
Symposium en Architecture et Adéquation Algorithme Architecture, 2003, La Colle sur Loup, France. pp.329-336
Conference papers hal-00399637v1

Traduction de B vers des langages de programmation

Frédéric Badeau , Didier Bert , Sylvain Boulmé , Claude Métayer , Marie-Laure Potet et al.
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'03), IRISA, Jan 2003, Rennes, France. pp.87--102
Conference papers inria-00392235v1

Light Support for Dynamic and Pervasive Services on P2P Networks

Stéphane Frénot , Krichen Anis
ERCIM. ERCIM News, 54, ERCIM, pp.30-31, 2003
Book sections inria-00404272v1