Sciweavers

436 search results - page 67 / 88
» Benchmarking and hardware implementation of JPEG-LS
Sort
View
FPGA
2005
ACM
156views FPGA» more  FPGA 2005»
14 years 1 months ago
Design of programmable interconnect for sublithographic programmable logic arrays
Sublithographic Programmable Logic Arrays can be interconnected and restored using nanoscale wires. Building on a hybrid of bottom-up assembly techniques supported by conventional...
André DeHon
CAV
2004
Springer
108views Hardware» more  CAV 2004»
14 years 1 months ago
DPLL( T): Fast Decision Procedures
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
Harald Ganzinger, George Hagen, Robert Nieuwenhuis...
PPSN
2004
Springer
14 years 1 months ago
Multi-cellular Development: Is There Scalability and Robustness to Gain?
Evolving large phenotypes remains nowadays a problem due to the combinatorial explosion of the search space. Seeking better scalability and inspired by the development of biologica...
Daniel Roggen, Diego Federici
SAMOS
2004
Springer
14 years 1 months ago
A Novel Data-Path for Accelerating DSP Kernels
A high-performance data-path to implement DSP kernels is proposed in this paper. The data-path is based on a flexible, universal, and regular component to optimally exploiting both...
Michalis D. Galanis, George Theodoridis, Spyros Tr...
ISLPED
2003
ACM
91views Hardware» more  ISLPED 2003»
14 years 28 days ago
Reducing reorder buffer complexity through selective operand caching
Modern superscalar processors implement precise interrupts by using the Reorder Buffer (ROB). In some microarchitectures , such as the Intel P6, the ROB also serves as a repositor...
Gurhan Kucuk, Dmitry Ponomarev, Oguz Ergin, Kanad ...