1877 search results - page 332 / 376 » A new method for bottleneck detection |
AIPS
2010
15 years 4 days ago
2010
Recently, `determinization in hindsight' has enjoyed surprising success in on-line probabilistic planning. This technique evaluates the actions available in the current state...
ACHI
2008
IEEE
14 years 11 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Web Page segmentation is a crucial step for many applications in Information Retrieval, such as text classification, de-duplication and full-text search. In this paper we describe...
DAMON
2006
Springer
14 years 11 months ago
2006
Springer
Recent performance improvements in storage hardware have benefited bandwidth much more than latency. Among other implications, this trend favors large B-tree pages. Recent perform...