Sciweavers

974 search results - page 87 / 195
» Hardware Synthesis from Term Rewriting Systems
Sort
View
DAC
2003
ACM
14 years 10 months ago
Clock-tree power optimization based on RTL clock-gating
As power consumption of the clock tree in modern VLSI designs tends to dominate, measures must be taken to keep it under control. This paper introduces an approach for reducing cl...
Monica Donno, Alessandro Ivaldi, Luca Benini, Enri...
VLSID
1999
IEEE
101views VLSI» more  VLSID 1999»
14 years 1 months ago
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
Ingo Sander, Axel Jantsch
INTERSPEECH
2010
13 years 3 months ago
A spectral LF model based approach to voice source parameterisation
This paper presents a new method of extracting LF model based parameters using a spectral model matching approach. Strategies are described for overcoming some of the known diffic...
John Kane, Mark Kane, Christer Gobl
GECCO
2011
Springer
276views Optimization» more  GECCO 2011»
13 years 14 days ago
Evolution of reward functions for reinforcement learning
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
Scott Niekum, Lee Spector, Andrew G. Barto
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
13 years 7 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...