12438 search results - page 393 / 2488 » The Magic of a Number System |
202
click to vote
TPDS
2008
15 years 7 months ago
2008
BitTorrent has emerged as a very popular peer-to-peer file sharing system, which uses an embedded set of incentive mechanisms to encourage contribution and prevent free-riding. How...
207
click to vote
ITP
2010
15 years 6 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
197
click to vote
TPDS
2010
15 years 6 months ago
2010
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...
201
click to vote
ACSD
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
202
click to vote
IMC
2010
ACM
15 years 5 months ago
2010
ACM
Multi-core systems are the current dominant trend in computer processors. However, kernel network layers often do not fully exploit multi-core architectures. This is due to issues...