6562 search results - page 936 / 1313 » Noetherianity and Combination Problems |
195
click to vote
CADE
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
228
click to vote
CADE
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
314
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
The Decomposition Storage Model (DSM) vertically partitions all attributes of a given relation. DSM has excellent I/O behavior when the number of attributes touched in the query i...
299
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
This paper focuses on the problem of improving distributed query throughput of the RDBMS-based data integration system that has to inherit the query execution model of the underly...
303
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Geographic web search engines allow users to constrain and order search results in an intuitive manner by focusing a query on a particular geographic region. Geographic search tec...