1897 search results - page 379 / 380 » Conditional Linear Planning |
SIGMETRICS
2011
ACM
12 years 9 months ago
2011
ACM
Cloud computing, social networking and information networks (for search, news feeds, etc) are driving interest in the deployment of large data centers. TCP is the dominant Layer 3...
SIGMETRICS
2011
ACM
12 years 9 months ago
2011
ACM
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...
ICDCS
2011
IEEE
12 years 5 months ago
2011
IEEE
—Popular Internet services are hosted by multiple geographically distributed datacenters. The location of the datacenters has a direct impact on the services’ response times, c...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
ICDE
2012
IEEE
11 years 8 months ago
2012
IEEE
—This paper investigates the problem of incremental detection of errors in distributed data. Given a distributed database D, a set Σ of conditional functional dependencies (CFDs...