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 and Caromel, Denis and Dalmasso, Cédric and Danelutto, Marco and Getov, Vladimir and 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 and 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 and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and 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

Barros, Tomas and 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 and Caromel, Denis and 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 and Bolotov, Alexander and Getov, Vladimir and Henrio, Ludovic (2008) Dynamic reconfiguration of GCM components. Technical Report. CoreGRID.

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

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

This list was generated on Sun Apr 26 05:23:14 2015 BST.