3676 search results - page 459 / 736 » Scalable component abstractions |
404
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—The online detection of anomalies is a vital element of operations in data centers and in utility clouds like Amazon EC2. Given ever-increasing data center sizes coupled with th...
204
click to vote
P2P
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper presents a systematic performance analysis of pull P2P video streaming systems for live applications, providing guidelines for the design of the overlay topol...
187
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
194
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...
198
click to vote
TVCG
2010
15 years 5 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...