1805 search results - page 359 / 361 » A Theory of Closure Operators |
POPL
2011
ACM
14 years 10 days ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
111
click to vote
POPL
2011
ACM
14 years 10 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
107
click to vote
SIGMETRICS
2011
ACM
14 years 9 days 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...
101
click to vote
SIGMETRICS
2011
ACM
14 years 9 days 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...
105
click to vote
SIGMOD
2011
ACM
14 years 9 days ago
2011
ACM
Central to a data cleaning system are record matching and data repairing. Matching aims to identify tuples that refer to the same real-world object, and repairing is to make a dat...