Result 1 to 10 of 10 total
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC. (English)
Electron. Notes Theor. Comput. Sci. 128, No. 6, 195-214 (2005).
1
Computing on large-scale distributed systems: xtremweb architecture, programming models, security, tests and convergence with grid (English)
Future Generation Comp. Syst. 21, No. 3, 417-437 (2005).
2
Approximate probabilistic model checking. (English)
Steffen, Bernhard (ed.) et al., Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11‒13, 2004. Proceedings. Berlin: Springer (ISBN 3-540-20803-8/pbk). Lect. Notes Comput. Sci. 2937, 73-84 (2004).
3
A method for the verification of a distributed and synchronized algorithm. (English)
Int. J. Prod. Res. 42, No. 14, 2757-2772 (2004).
4
Approximate probabilistic model checking (English)
VMCAI, 73-84 (2004).
5
MPICH-V2: a fault tolerant MPI for volatile nodes based on pessimistic sender based message logging (English)
SC, 25 (2003).
6
Self-stabilizing local mutual exclusion and daemon refinement. (English)
Chic. J. Theor. Comput. Sci. 2002, Article No.1, 19 p., electronic only (2002).
7
io-port 70093093 Bosilca, George;
Bouteiller, Aurelien;
Cappello, Franck;
Djilali, Samir;
Fedak, Gilles;
Germain, Cécile;
Hérault, Thomas;
Lemarinier, Pierre;
Lodygensky, Oleg;
Magniette, Frédéric;
Néri, Vincent;
Selikhov, Anton
MPICH-V: toward a scalable fault tolerant MPI for volatile nodes (English)
SC, 1-18 (2002).
8
Self-stabilizing local mutual exclusion and daemon refinement. (English)
Herlihy, Maurice (ed.), Distributed computing. 14th international conference, DISC 2000, Toledo, Spain, October 4-6, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1914, 223-237 (2000).
9
Self-stabilizing local mutual exclusion and daemon refinement (English)
DISC, 223-237 (2000).
10
Result 1 to 10 of 10 total
Start
Contact
Print
General Help
