615 search results - page 77 / 123 » Beta Reduction Constraints |
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
This paper proposes a novel Behavioral Synthesis method that improves performance of synthesized circuits utilizing specialized functional units effectively. Specialized functional...
93
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
We propose a hierarchical mixed signal design methodology based on the principles of Platform-Based Design (PBD). The methodology is a meet-in-the-middle approach where design com...
86
Voted
AIPS
1998
15 years 2 months ago
1998
Casting planning problems as propositional satis ability problems has recently been shown to be an effective way of scaling up plan synthesis. Until now, the bene ts of this appro...
127
Voted
AUTOMATICA
2008
15 years 25 days ago
2008
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
90
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
Dynamic voltage scaling (DVS) is one of the most effective techniques for reducing energy consumption in embedded and real-time systems. However, traditional DVS algorithms have in...