Sciweavers

2736 search results - page 199 / 548
» Implementable allocation rules
Sort
View
ICDE
2005
IEEE
97views Database» more  ICDE 2005»
16 years 7 months ago
ModelGen: Model Independent Schema Translation
A customizable and extensible tool is proposed to implement ModelGen, the model management operator that translates a schema from one model to another. A wide family of models is ...
Paolo Atzeni, Paolo Cappellari, Philip A. Bernstei...
142
Voted
MEMOCODE
2005
IEEE
15 years 12 months ago
Automatic synthesis of cache-coherence protocol processors using Bluespec
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
Nirav Dave, Man Cheuk Ng, Arvind
GLVLSI
1999
IEEE
90views VLSI» more  GLVLSI 1999»
15 years 10 months ago
A Memory Design in QCAs using the SQUARES Formalism
We present a formalism for implementing circuits with Quantum-dot Cellular Automata (QCA), comprising a set of standard circuit elements with uniform layout rules. The formalism s...
Daniel Berzon, Terry J. Fountain
ARC
2007
Springer
118views Hardware» more  ARC 2007»
15 years 10 months ago
Simulation of the Dynamic Behavior of One-Dimensional Cellular Automata Using Reconfigurable Computing
This paper presents the implementation of an environment for the evolution of one-dimensional cellular automata using a reconfigurable logic device. This configware is aimed at eva...
Wagner Rodrigo Weinert, César Manuel Vargas...
FIMI
2004
134views Data Mining» more  FIMI 2004»
15 years 7 months ago
Recursion Pruning for the Apriori Algorithm
Implementations of the well-known Apriori algorithm for finding frequent item sets and associations rules usually rely on a doubly recursive scheme to count the subsets of a given...
Christian Borgelt