5608 search results - page 499 / 1122 » Structure description tools |
217
click to vote
JAR
2006
15 years 7 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
201
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
Phrase structure trees have a hierarchical structure. In many subjects, most notably in taxonomy such tree structures have been studied using ultrametrics. Here syntactical hierar...
296
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Replicating data over a cluster of workstations is a powerful tool to increase performance, and provide faulttolerance for demanding database applications. The big challenge in su...
174
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
258
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...