2172 search results - page 254 / 435 » Building Modern Distributed Systems |
111
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
In real-world environments it usually is difficult to specify target operating conditions precisely, for example, target misclassification costs. This uncertainty makes building ro...
124
Voted
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
114
click to vote
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
Modern computer systems are called on to deal with billions of events every second, whether they are instructions executed, memory locations accessed, or packets forwarded. This p...
111
click to vote
MICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
With the prevalence of server blades and systems-ona-chip (SoCs), interconnection networks are becoming an important part of the microprocessor landscape. However, there is limite...
122
Voted
SPAA
2009
ACM
16 years 3 months ago
2009
ACM
Modern peer-to-peer file sharing systems distribute large files among peers using block partitioning. Blocks can be redistributed by a peer even before the whole file is available...