5588 search results - page 404 / 1118 » Parallel Implementation of Bags |
176
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
144
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Service Oriented Architectures are emerging as the recommended paradigm for developing dispersed escience environments. In this paper we analyze the characteristics and requiremen...
139
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper demonstrates the one-sided communication used in languages like UPC can provide a significant performance advantage for bandwidth-limited applications. This is shown t...
139
click to vote
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper proposes a new reconfigurable architecture for multi-media and wireless communications. The proposed architecture addresses three critical design issues with the loo...
122
click to vote
SKG
2006
IEEE
15 years 11 months ago
2006
IEEE
Service discovery is a key concept in a distributed Grid environment. The first step towards Grid implement is the discovery of services. In this paper, we build a new Grid servic...