2432 search results - page 356 / 487 » Using simple abstraction to reinvent computing for paralleli... |
145
click to vote
PODC
1999
ACM
15 years 8 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
130
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
135
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
153
click to vote
PCI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It has been recently demonstrated that the classical EM algorithm for learning Gaussian mixture models can be successfully implemented in a decentralized manner by resort...
142
click to vote
PPAM
2005
Springer
15 years 9 months ago
2005
Springer
The complexity and the dynamics of the Grid environment and of the emering workflow-based applications on the Grid require novel performance monitoring and analysis services in or...