WestminsterResearch

Items where Author is Henrio, Ludovic

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: 2009 | 2008 | 2006 | 2005
Number of items: 8.

2009

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

2008

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

2006

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 (2006) Verification of distributed hierarchical components. Electronic Notes in Theoretical Computer Science, 160 . pp. 41-55. ISSN 1571-0661

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.

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.

2005

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: Cunha, Jose C. and Medeiros, Pedro D., (eds.) 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

This list was generated on Tue Sep 30 22:41:55 2014 BST.