5866 search results - page 534 / 1174 » Designing Accelerator-Based Distributed Systems for High Per... |
180
click to vote
VSTTE
2005
Springer
16 years 14 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
191
click to vote
JNCA
2007
15 years 6 months ago
2007
As the line rates standards are changing frequently to provide higher bit rates, the routers design has become very challenging due to the need for new wire-speed router’s netwo...
187
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Crowdsourcing is a new Web phenomenon, in which a firm takes a function once performed in-house and outsources it to a crowd, usually in the form of an open contest. Designing ef...
201
click to vote
MOBILWARE
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. In this paper, we present Chapar, an event system designed for mobile ad hoc networks that supports the publish-subscribe model as well as pointto-point and point-to-mult...
222
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
: Scalable Distributed Data Structures (SDDSs) store large scalable files over a distributed RAM of nodes in a grid or a P2P network. The files scale transparently for the applicat...