2432 search results - page 185 / 487 » Using simple abstraction to reinvent computing for paralleli... |
148
click to vote
ISPA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article presents the C++ library vShark which reduces the intranode communication overhead of parallel programs on clusters of SMPs. The library is built on top of m...
168
click to vote
AFRICACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
162
click to vote
ICPADS
2008
IEEE
15 years 11 months ago
2008
IEEE
Underwater Sensor Networks (UWSN) are widely used in many applications, such as oceanic resource exploration, pollution monitoring, tsunami warnings and mine reconnaissance. In UW...
121
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
101
click to vote
ENTCS
2007
15 years 4 months ago
2007
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...