5762 search results - page 665 / 1153 » R-tree: A Hardware Implementation |
201
click to vote
PCM
2004
Springer
16 years 15 days ago
2004
Springer
In this research paper, we integrate and implement High-Availability (HA) and Load-Balancing technologies to clusters of workstations, increasing both the availability and scalabil...
204
click to vote
SAT
2004
Springer
16 years 14 days ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
166
click to vote
SAT
2004
Springer
16 years 14 days ago
2004
Springer
Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with li...
199
click to vote
C5
2003
IEEE
16 years 13 days ago
2003
IEEE
A machine cycle CPU simulator is developed on the Squeak environment for educational use. The developed simulator is able to show hardware behavior in CPU at each system clock. An...
148
click to vote
EH
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper presents a new approach to reversible cascade evolution based on a 3D cellular automaton. As a research platform we used the ATR’s CAMBrain Machine (CBM). Reversible ...