471 search results - page 36 / 95 » From Sequential Processes to Grid Computation |
HIPC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Diffusion processes driven by anisotropic diffusion tensors are known to be well-suited for structure-preserving denoising. However, numerical implementations based on finite diffe...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
SPAA
2010
ACM
13 years 7 months ago
2010
ACM
Given the sequential implementation of any data structure, we show how to obtain an efficient, wait-free implementation of that data structure shared by any fixed number of proces...
COMPUTER
1999
13 years 7 months ago
1999
Scientific visualization has emerged as an important tool for extracting meaning from the large volumes of data produced by scientific instruments and simulations. Increasingly, t...