Sciweavers

1872 search results - page 223 / 375
» Unbalanced Cache Systems
Sort
View
EP
1998
Springer
15 years 10 months ago
Memory Scalability in Constraint-Based Multimedia Style Sheet Systems
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...
Terry Cumaranatunge, Ethan V. Munson
CAV
2004
Springer
140views Hardware» more  CAV 2004»
15 years 10 months ago
Indexed Predicate Discovery for Unbounded System Verification
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...
Shuvendu K. Lahiri, Randal E. Bryant
JPDC
2006
89views more  JPDC 2006»
15 years 6 months ago
A light-weight, collaborative temporary file system for clustered Web servers
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...
Jun Wang
OSDI
2008
ACM
16 years 6 months ago
Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems
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...
Sapan Bhatia, Abhishek Kumar, Marc E. Fiuczynski, ...
HPDC
2003
IEEE
15 years 11 months ago
A Performance Study of Monitoring and Information Services for Distributed Systems
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...
Xuehai Zhang, Jeffrey L. Freschl, Jennifer M. Scho...