17967 search results - page 3107 / 3594 » Functional timing optimization |
161
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
175
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
Summarization of query results is an important problem for many OLAP applications. The Minimum Description Length principle has been applied in various studies to provide summarie...
180
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
Emerging large-scale monitoring applications require continuous tracking of complex dataanalysis queries over collections of physicallydistributed streams. Effective solutions hav...
173
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
As a simple XML query language but with enough expressive power, XPath has become very popular. To expedite evaluation of XPath queries, we consider the problem of rewriting XPath...
179
click to vote
WAC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we present and analyze a framework for selfevolving autonomic services in a wireless nomadic environment. We present a disconnected network architecture, w...