1872 search results - page 223 / 375 » Unbalanced Cache Systems |
EP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
JPDC
2006
13 years 10 months ago
2006
Previous studies indicate that I/O could become a performance bottleneck in commodity PC-based cluster Web servers. Current local native file systems do not work well for expensiv...
OSDI
2008
ACM
14 years 10 months ago
2008
ACM
Production systems are commonly plagued by intermittent problems that are difficult to diagnose. This paper describes a new diagnostic tool, called Chopstix, that continuously col...
HPDC
2003
IEEE
14 years 3 months ago
2003
IEEE
Monitoring and information services form a key component of a distributed system, or Grid. A quantitative study of such services can aid in understanding the performance limitatio...