5866 search results - page 713 / 1174 » Designing Accelerator-Based Distributed Systems for High Per... |
176
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
238
click to vote
BIOWIRE
2007
Springer
16 years 16 days ago
2007
Springer
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...
142
click to vote
ISPAN
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose an architecture for self-adjusting and self-healing atomic memory in highly dynamic systems exploiting peer-to-peer (p2p) techniques. Our approach, named SAM, brings to...
166
click to vote
ACSW
2006
15 years 7 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
152
click to vote
MTV
2007
IEEE
16 years 19 days ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...