Sciweavers

106 search results - page 2 / 22
» Enhancements to Directional Coherence Maps
Sort
View
DAC
2003
ACM
14 years 5 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson
ACIVS
2007
Springer
13 years 11 months ago
Grass Detection for Picture Quality Enhancement of TV Video
Current image enhancement in televisions can be improved if the image is analyzed, objects of interest are segmented, and each segment is processed with specifically optimized alg...
Bahman Zafarifar, Peter H. N. de With
ICPP
1994
IEEE
13 years 9 months ago
A Distributed Cache Coherence Protocol for Hypercube Multiprocessors
- This paper proposes a distributed directory cache coherence protocol and compares the performance of the proposed protocol with fully mapped and single linked list protocols for ...
Yeimkuan Chang, Laxmi N. Bhuyan, Akhilesh Kumar
ICASSP
2008
IEEE
13 years 11 months ago
Target talker enhancement in hearing devices
We describe a novel coherent modulation filtering technique for single channel target talker enhancement in the presence of interfering talkers. For this technique, we have expan...
Steven M. Schimmel, Les E. Atlas
DAC
1996
ACM
13 years 9 months ago
A Boolean Approach to Performance-Directed Technology Mapping for LUT-Based FPGA Designs
Abstract -- This paper presents a novel, Boolean approach to LUTbased FPGA technology mapping targeting high performance. As the core of the approach, we have developed a powerful ...
Christian Legl, Bernd Wurth, Klaus Eckl