Sciweavers

1569 search results - page 107 / 314
» Automated Design Improvement by Example
Sort
View
110
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Computationally efficient equalization of room impulse responses robust to system estimation errors
Equalization techniques for room impulse responses (RIRs) are important in acoustic signal processing applications such as speech dereverberation. In practice, only approximate es...
Wancheng Zhang, Nikolay D. Gaubitch, Patrick A. Na...
ISQED
2005
IEEE
81views Hardware» more  ISQED 2005»
15 years 9 months ago
An ILP Formulation for Reliability-Oriented High-Level Synthesis
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
Suleyman Tosun, Ozcan Ozturk, Nazanin Mansouri, Er...
121
Voted
CSCWD
2008
Springer
15 years 5 months ago
Distributed workflows for multi-physics applications in aeronautics
The industry requires innovative technologies to support the numeric design and simulation of manufactured products in order to reduce time to market delays and improve the perfor...
T. Nguyen, J.-A. Desideri, J. Periaux
143
Voted
DAC
2001
ACM
16 years 4 months ago
A Framework for Object Oriented Hardware Specification, Verification, and Synthesis
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wol...
118
Voted
DAC
2001
ACM
16 years 4 months ago
Watermarking of SAT using Combinatorial Isolation Lemmas
Watermarking of hardware and software designs is an effective mechanism for intellectual property protection (IPP). Two important criteria for watermarking schemes are credibility...
Rupak Majumdar, Jennifer L. Wong