Sciweavers

1183 search results - page 191 / 237
» Efficient Wet Paper Codes
Sort
View
DAC
2005
ACM
15 years 1 months ago
Smart diagnostics for configurable processor verification
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
Sadik Ezer, Scott Johnson
CASCON
2008
137views Education» more  CASCON 2008»
15 years 1 months ago
Automating SLA modeling
Service Level Agreements (SLAs) define the level of service that a service provider must deliver. An SLA is a contract between service provider and consumer, and includes appropri...
Tony Chau, Vinod Muthusamy, Hans-Arno Jacobsen, El...
JSS
2008
89views more  JSS 2008»
14 years 11 months ago
A search-based framework for automatic testing of MATLAB/Simulink models
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
Yuan Zhan, John A. Clark
CCE
2004
14 years 11 months ago
Module-oriented automatic differentiation in chemical process systems optimization
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
Xiang Li, Zhijiang Shao, Jixin Qian
TASLP
2008
110views more  TASLP 2008»
14 years 11 months ago
A Backward-Compatible Multichannel Audio Codec
We propose in this paper a backward-compatible multichannel audio codec. This codec represents a multichannel audio input signal by a down mix and parametric data. In order to enab...
Gerard Hotho, Lars F. Villemoes, Jeroen Breebaart