Sciweavers

10718 search results - page 496 / 2144
» On the Circuit Implementation Problem
Sort
View
CAD
2002
Springer
15 years 6 months ago
Product variety optimization under modular architecture
This paper discusses product variety design under optimization viewpoint. Product variety design means the challenge to simultaneously design multiple products toward higher optim...
Kikuo Fujita
TCAD
2002
121views more  TCAD 2002»
15 years 6 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
GPEM
2010
180views more  GPEM 2010»
15 years 5 months ago
Developments in Cartesian Genetic Programming: self-modifying CGP
Abstract Self-Modifying Cartesian Genetic Programming (SMCGP) is a general purpose, graph-based, developmental form of Genetic Programming founded on Cartesian Genetic Programming....
Simon Harding, Julian F. Miller, Wolfgang Banzhaf
MMAS
2010
Springer
15 years 1 months ago
Balanced Truncation of Linear Second-Order Systems: A Hamiltonian Approach
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
Carsten Hartmann, Valentina-Mira Vulcanov, Christo...
FPGA
2001
ACM
162views FPGA» more  FPGA 2001»
15 years 11 months ago
Reprogrammable network packet processing on the field programmable port extender (FPX)
A prototype platform has been developed that allows processing of packets at the edge of a multi-gigabit-per-second network switch. This system, the Field Programmable Port Extend...
John W. Lockwood, Naji Naufel, Jonathan S. Turner,...