3686 search results - page 209 / 738 » Pattern-Based Parallel Programming |
150
click to vote
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
104
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
106
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...
107
Voted
HPDC
1993
IEEE
15 years 7 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
132
click to vote
CIARP
2006
Springer
15 years 6 months ago
2006
Springer
Parallel text alignment is a special type of pattern recognition task aimed to discover the similarity between two sequences of symbols. Given the same text in two different langua...