Sciweavers

1999 search results - page 143 / 400
» Finding Reductions Automatically
Sort
View
DFT
2002
IEEE
103views VLSI» more  DFT 2002»
15 years 3 months ago
Input Ordering in Concurrent Checkers to Reduce Power Consumption
A novel approach for reducing power consumption in checkers used for concurrent error detection is presented. Spatial correlations between the outputs of the circuit that drives t...
Kartik Mohanram, Nur A. Touba
ACMSE
1992
ACM
15 years 2 months ago
Disk performance enhancement through Markov-based cylinder remapping
A scheme for disk subsystem performance enhancement that is based on (virtual) cylinder remapping is proposed. A natural workload on a real system is measured, and statistical tes...
Robert Geist, Darrell Suggs, Robert G. Reynolds, S...
ARC
2007
Springer
140views Hardware» more  ARC 2007»
15 years 2 months ago
Reconfigurable Computing for Accelerating Protein Folding Simulations
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...
Nilton B. Armstrong, Heitor S. Lopes, Carlos R. Er...
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 2 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
ICC
2007
IEEE
15 years 1 months ago
LPRE: Lost Speech Packet Recovery with Enhancement
In the internet telephony, loss of IP packets causes instantaneous discontinuities in the received speech. In this paper, we have focused on finding an error resilient method for t...
Hossein Ajorloo, Mohammad T. Manzuri Shalmani