Sciweavers

1598 search results - page 284 / 320
» High-Assurance Distributed, Adaptive Software for Dynamic Sy...
Sort
View
LICS
2003
IEEE
14 years 1 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
CSUR
2000
78views more  CSUR 2000»
13 years 7 months ago
Developing flexible and high-performance Web servers with frameworks and patterns
The goal of this paper is to illustrate how frameworks and patterns address complexities that arise in the design and implementation of high-performance distributed software syste...
Douglas C. Schmidt, James C. Hu
DEBU
2010
113views more  DEBU 2010»
13 years 5 months ago
Storage Class Memory Aware Data Management
Storage Class Memory (SCM) is here to stay. It has characteristics that place it in a class apart both from main memory and hard disk drives. Software and systems, architectures a...
Bishwaranjan Bhattacharjee, Mustafa Canim, Christi...
GLOBECOM
2007
IEEE
14 years 2 months ago
A Measurement Study of Piece Population in BitTorrent
—BitTorrent is the most popular peer-to-peer software for file sharing, which has contributed to a significant portion of today’s Internet traffic. Many measurement studies ...
Cameron Dale, Jiangchuan Liu
HPDC
2007
IEEE
14 years 2 months ago
A statistical approach to risk mitigation in computational markets
We study stochastic models to mitigate the risk of poor Quality-of-Service (QoS) in computational markets. Consumers who purchase services expect both price and performance guaran...
Thomas Sandholm, Kevin Lai