Browse by People

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 8.

Article

Baude, Françoise, Caromel, Denis, Dalmasso, Cédric, Danelutto, Marco, Getov, Vladimir, Henrio, Ludovic and Pérez , Christian (2009) GCM: a grid extension to Fractal for autonomous distributed components. Annals of Telecommunications, 64 (1-2). pp. 5-24. ISSN 0003-4347

Barros, Tomas, Henrio, Ludovic and Madelaine, Eric (2006) Verification of distributed hierarchical components. Electronic Notes in Theoretical Computer Science, 160. pp. 41-55. ISSN 1571-0661

Book Section

Basso, Alessandro, Bolotov, Alexander, Basukoski, Artie, Getov, Vladimir, Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. In: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006). IEEE, Los Alamitos, USA, pp. 450-455. ISBN 1424401968
[img]

Barros, Tomas, Henrio, Ludovic and Madelaine, Eric (2005) Behavioural models for hierarchical components. In: Model checking software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, proceedings. Lecture notes in computer science (3639). Springer, Berlin, Germany, pp. 154-168.

Baude, Françoise, Caromel, Denis, Delbe, Christian and Henrio, Ludovic (2005) A hybrid message logging-CIC protocol for constrained checkpointability. In: Euro-Par 2005 parallel processing: 11th international Euro-Par conference, Lisbon, Portugal, August 30 - September 2, 2005: proceedings. Lecture notes in computer science (3648). Springer, Berlin, Germany, pp. 644-653. ISBN 9783540287001

Monograph

Basso, Alessandro, Bolotov, Alexander, Getov, Vladimir and Henrio, Ludovic (2008) Dynamic reconfiguration of GCM components. Technical Report. CoreGRID.
[img]

Basso, Alessandro, Bolotov, Alexander, Basukoski, Artie, Getov, Vladimir, Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. Technical Report. CoreGRID.
[img]

Badia, Rosa M., Beckmann, Olav, Bubak, Marian, Caromel, Denis, Getov, Vladimir, Henrio, Ludovic, Isaiadis, Stavros, Lazarov, Vladimir, Malawski, Maciej, Panagiotidi, Sofia, Parlavantzas, Nikos and Thiyagalingam, Jeyarajan (2006) Lightweight grid platform: design methodology. Technical Report. CoreGRID.
[img]

This list was generated on Sat Apr 30 23:42:12 2016 BST.