867 search results - page 65 / 174 » Optimizing synthesis with metasketches |
120
click to vote
IJCAT
2010
14 years 11 months ago
2010
: In order to synthesize distortionless texture on surfaces, we develop a direct and accurate approach for local resampling in vector fields, and then use the approach to synthesiz...
SCOPES
2005
Springer
15 years 6 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
118
Voted
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
105
click to vote
DAC
1998
ACM
16 years 1 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
DAC
2005
ACM
16 years 1 months ago
2005
ACM
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...