Sciweavers

27354 search results - page 341 / 5471
» Distributed And Parallel Computing
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
Testing Finitary Probabilistic Processes
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...
CONCUR
2009
Springer
16 years 1 months ago
Deriving Syntax and Axioms for Quantitative Regular Behaviours
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M...
EUROPAR
2009
Springer
16 years 1 months ago
A Self-stabilizing K-Clustering Algorithm Using an Arbitrary Metric
Eddy Caron, Ajoy Kumar Datta, Benjamin Depardon, L...