Sciweavers

1294 search results - page 26 / 259
» FFT Compiler Techniques
Sort
View
GMP
2006
IEEE
248views Solid Modeling» more  GMP 2006»
14 years 2 months ago
Adaptive Fourier-Based Surface Reconstruction
In this paper, we propose to combine Kazhdan’s FFT-based approach to surface reconstruction from oriented points with adaptive subdivision and partition of unity blending techni...
Oliver Schall, Alexander G. Belyaev, Hans-Peter Se...
ICESS
2004
Springer
14 years 2 months ago
Relating FFTW and Split-Radix
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
Oleg Kiselyov, Walid Taha
ISMVL
1998
IEEE
113views Hardware» more  ISMVL 1998»
14 years 26 days ago
Look-up Tables (LUTs) for Multiple-Valued, Combinational Logic
The use of Look-Up Tables (LUTs) is extended from binary to multiple-valued logic (MVL) circuits. A multiplevalued LUT can be implemented using both current-mode and voltage-mode ...
Ali Sheikholeslami, R. Yoshimura, P. Glenn Gulak
MASCOTS
2008
13 years 10 months ago
Evaluating the Effectiveness of Information Extraction in Real-World Storage Management
As storage deployments within enterprises continue to grow, there is an increasing need to simplify and automate. Existing tools for automation rely on extracting information in t...
Aameek Singh, Sandeep Uttamchandani, Yin Wang
SAT
2005
Springer
142views Hardware» more  SAT 2005»
14 years 2 months ago
Optimizations for Compiling Declarative Models into Boolean Formulas
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, L...