5799 search results - page 847 / 1160 » Patterns Generate Architectures |
203
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
170
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
186
click to vote
SIGCOMM
2004
ACM
16 years 4 days ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...
173
click to vote
SIGMETRICS
2004
ACM
16 years 4 days ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
172
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...