Sciweavers

2607 search results - page 182 / 522
» Complete Functional Synthesis
Sort
View
ASPDAC
2008
ACM
134views Hardware» more  ASPDAC 2008»
15 years 6 months ago
Automatic re-coding of reference code into structured and analyzable SoC models
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
Pramod Chandraiah, Rainer Dömer
GPEM
2000
126views more  GPEM 2000»
15 years 3 months ago
Automatic Creation of Human-Competitive Programs and Controllers by Means of Genetic Programming
Genetic programming is an automatic method for creating a computer program or other complex structure to solve a problem. This paper first reviews various instances where genetic p...
John R. Koza, Martin A. Keane, Jessen Yu, Forrest ...
JCSC
2002
87views more  JCSC 2002»
15 years 3 months ago
Power Estimator Development for Embedded System Memory Tuning
Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...
Frank Vahid, Tony Givargis, Susan Cotterell
MIG
2010
Springer
15 years 2 months ago
Motion Parameterization with Inverse Blending
Abstract. Motion blending is a popular motion synthesis technique which interpolates similar motion examples according to blending weighs parameterizing high-level characteristics ...
Yazhou Huang, Marcelo Kallmann
CORR
2008
Springer
97views Education» more  CORR 2008»
15 years 4 months ago
Lower bounds for adaptive linearity tests
Linearity tests are randomized algorithms which have oracle access to the truth table of some function f, and are supposed to distinguish between linear functions and functions whi...
Shachar Lovett