Sciweavers

690 search results - page 89 / 138
» Automated Architectural Exploration for Signal Processing Al...
Sort
View
DAC
2002
ACM
16 years 7 months ago
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao ...
ICNS
2007
IEEE
16 years 9 days ago
Towards System-level Optimization for High Performance Unified Threat Management
To build holistic protection against complex and blended network threats, multiple security features need to be integrated into a unified security architecture, which requires in ...
Yaxuan Qi, Baohua Yang, Bo Xu, Jun Li
BIOSYSTEMS
2007
87views more  BIOSYSTEMS 2007»
15 years 6 months ago
Robot control with biological cells
At present there exists a large gap in size, performance, adaptability and robustness between natural and artificial information processors for performing coherent perception-act...
Soichiro Tsuda, Klaus-Peter Zauner, Yukio-Pegio Gu...
ASAP
2006
IEEE
110views Hardware» more  ASAP 2006»
16 years 2 days ago
Loop Transformation Methodologies for Array-Oriented Memory Management
Abstract – The storage requirements in data-dominant signal processing systems, whose behavior is described by arraybased, loop-organized algorithmic specifications, have an imp...
Florin Balasa, Per Gunnar Kjeldsberg, Martin Palko...
DATE
2006
IEEE
195views Hardware» more  DATE 2006»
16 years 1 days ago
Application specific instruction processor based implementation of a GNSS receiver on an FPGA
In this paper the concept of a reconfigurable hardware macro to be used as a generic building block in lowpower, low-cost SoC for multioperable GNSS positioning is described, feat...
Götz Kappen, Tobias G. Noll