5105 search results - page 974 / 1021 » Approximate Structural Consistency |
157
click to vote
SYNASC
2006
IEEE
16 years 19 hour ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
154
click to vote
APLAS
2006
ACM
16 years 2 min ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
177
click to vote
ASPDAC
2006
ACM
15 years 12 months ago
2006
ACM
- One of the critical issues in MTCMOS design is how to estimate a circuit delay quickly. In this paper, we propose a delay modeling and static timing analysis (STA) methodology ta...
139
click to vote
EXPDB
2006
ACM
15 years 12 months ago
2006
ACM
Two competing encoding concepts are known to scale well with growing amounts of XML data: XPath Accelerator encoding implemented by MonetDB for in-memory documents and X-Hive’s ...
197
click to vote
PPOPP
2006
ACM
15 years 12 months ago
2006
ACM
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...