Sciweavers

456 search results - page 41 / 92
» Generating high performance pruned FFT implementations
Sort
View
DATE
2006
IEEE
95views Hardware» more  DATE 2006»
14 years 13 days ago
Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...
Alexandros Bartzas, Stylianos Mamagkakis, Georgios...
ITC
2003
IEEE
148views Hardware» more  ITC 2003»
14 years 2 months ago
Linearity Testing of Precision Analog-to-Digital Converters Using Stationary Nonlinear Inputs
As the performance of Analog-to-Digital Converters continues to improve, it is becoming more challenging and costly to develop sufficiently fast and low-drift signal generators th...
Le Jin, Kumar L. Parthasarathy, Turker Kuyel, Dega...
ANCS
2005
ACM
14 years 2 months ago
High-throughput linked-pattern matching for intrusion detection systems
This paper presents a hardware architecture for highly efficient intrusion detection systems. In addition, a software tool for automatically generating the hardware is presented....
Zachary K. Baker, Viktor K. Prasanna
ITP
2010
163views Mathematics» more  ITP 2010»
14 years 19 days ago
Fast LCF-Style Proof Reconstruction for Z3
Abstract. The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction of these proofs in the theorem provers...
Sascha Böhme, Tjark Weber
ITCC
2003
IEEE
14 years 2 months ago
An Open Software Architecture for Structured Data Elaboration and Transcoding
In this paper, we propose a software architecture model for the development of elaboration/transcoding modules for structured data. We define a flexible implementation approach ...
Luca Vollero, Giulio Iannello, Francesco Delfino