Sciweavers

8 search results - page 1 / 2
» Program for Structural Synthesis of the Multiple Fixtures
Sort
View
WCE
2007
13 years 5 months ago
Program for Structural Synthesis of the Multiple Fixtures
—This paper presents a program for structural synthesis -conception and design work-of the multiple fixture devices in the machine-tool structure. This program was created accord...
N. Seghedin, C. Zlati, N. Zlati
POPL
2010
ACM
14 years 1 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
GLVLSI
2011
IEEE
351views VLSI» more  GLVLSI 2011»
12 years 8 months ago
Design of low-power multiple constant multiplications using low-complexity minimum depth operations
Existing optimization algorithms for the multiplierless realization of multiple constant multiplications (MCM) typically target the minimization of the number of addition and subt...
Levent Aksoy, Eduardo Costa, Paulo F. Flores, Jos&...
FPGA
1995
ACM
120views FPGA» more  FPGA 1995»
13 years 8 months ago
Synthesis of Signal Processing Structured Datapaths for FPGAs Supporting RAMs and Busses
A novel approach is presented for transforming a given scheduled and bound signal processing algorithm for a multiplexer based datapath to a BUS/RAM based FPGA datapath. A datapat...
Baher Haroun, Behzad Sajjadi
DATE
2008
IEEE
143views Hardware» more  DATE 2008»
13 years 10 months ago
Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming
Multi-input addition is an important operation for many DSP and video processing applications. On FPGAs, multi-input addition has traditionally been implemented using trees of car...
Hadi Parandeh-Afshar, Philip Brisk, Paolo Ienne