11112 search results - page 1885 / 2223 » Computing Stuttering Simulations |
144
click to vote
NOSSDAV
2005
Springer
15 years 10 months ago
2005
Springer
Success of peer-to-peer applications in many cases is attributed to user altruism, where a user contributes some of its own resources to facilitate performance of other users. Thi...
165
click to vote
NPC
2005
Springer
15 years 10 months ago
2005
Springer
Peer-to-Peer (P2P) architectures are very prevalent in today’s Internet. Lots of P2P file sharing systems using Gnutella protocol emerge out and draw attractions of millions of p...
128
click to vote
PCM
2005
Springer
15 years 10 months ago
2005
Springer
Recently, various three-dimensional(3-D) mesh coding schemes have been proposed to improve compression efficiency or error resilience. However, we need to consider both coding effi...
131
click to vote
PVM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These targets va...
145
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...