5548 search results - page 231 / 1110 » Programming a Distributed System Using Shared Objects |
136
Voted
IWVF
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we propose a series of novel morphological operators that are anisotropic, and adapt themselves to the local orientation in the image. This new morphology is therefor...
129
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
140
Voted
GRID
2006
Springer
15 years 3 months ago
2006
Springer
Abstract-- Shared temporary storage space is often the constraining resource for clusters that serve as execution nodes in wide-area distributed systems. At least one large nationa...
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
152
Voted
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...