2765 search results - page 412 / 553 » Works and representation |
215
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
We investigate the problem of using materialized views to answer SQL queries. We focus on modern decision-support queries, which involve joins, arithmetic operations and other (po...
147
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
184
click to vote
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...
154
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper explains how efficient support for semiregular distributions can be incorporated in a uniform compilation framework for hybrid applications. The key focus of this work ...
161
click to vote
ACSD
1998
IEEE
15 years 10 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...