Sciweavers

2069 search results - page 24 / 414
» Synthesizing
Sort
View
GLVLSI
1999
IEEE
105views VLSI» more  GLVLSI 1999»
15 years 8 months ago
An Integrated Approach for Synthesizing LUT Networks
This paper presents a method for synthesizing lookup table (LUT) networks. The strategy employed by our method is very different from the strategies of previous methods; many deco...
Shigeru Yamashita, Hiroshi Sawada, Akira Nagoya
AAAI
2000
15 years 5 months ago
An Iterative Algorithm for Synthesizing Invariants
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
Jussi Rintanen
ICGA
1997
86views Optimization» more  ICGA 1997»
15 years 5 months ago
Performance of Diploid Dominance with Genetically Synthesized Signal Processing Networks
A methodology is described for synthesizing signal processing networks, which are used to solve a low-cost medical signal processing problem. The approach makes use of genetic alg...
F. Greene
DT
2006
113views more  DT 2006»
15 years 4 months ago
The Challenges of Synthesizing Hardware from C-Like Languages
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...
Stephen A. Edwards
ICASSP
2011
IEEE
14 years 8 months ago
On synthesizing cross ambiguity functions
The cross ambiguity function (CAF) arises in many areas such as radar/sonar and communications when correlation processing is performed in the presence of a Doppler frequency shif...
Hao He, Petre Stoica, Jian Li