936 search results - page 55 / 188 » The Synthesis Problem of Netcharts |
109
click to vote
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
179
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
112
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
—In this work we propose a novel tree representation for RLC circuits. Genetic programming based on the tree representation is described and applied to passive filter synthesis p...
137
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
115
click to vote
ISSS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents an application-specific, heterogeneous multiprocessor synthesis system, named HeMPS, that combines a form of Evolutionary Computation known as Differential Evo...