Sciweavers

1795 search results - page 192 / 359
» On the Complexity of Circuit Satisfiability
Sort
View
GECCO
2005
Springer
152views Optimization» more  GECCO 2005»
14 years 3 months ago
Multi-level genetic algorithm (MLGA) for the construction of clock binary tree
The clock signal and clock skew become more and more important for the circuit performance. Since there are salient shortcomings in the conventional topology construction algorith...
Guofang Nan, Minqiang Li, Jisong Kou
ISNN
2005
Springer
14 years 3 months ago
A Novel Solid Neuron-Network Chip Based on Both Biological and Artificial Neural Network Theories
Built on the theories of biological neural network, artificial neural network methods have shown many significant advantages. However, the memory space in an artificial neural chip...
Zihong Liu, Zhihua Wang, Guolin Li, Zhiping Yu
ISPD
2004
ACM
92views Hardware» more  ISPD 2004»
14 years 3 months ago
A predictive distributed congestion metric and its application to technology mapping
Due to increasing design complexity, routing congestion has become a critical problem in VLSI designs. This paper introduces a distributed metric to predict routing congestion for...
Rupesh S. Shelar, Sachin S. Sapatnekar, Prashant S...
GECCO
2004
Springer
211views Optimization» more  GECCO 2004»
14 years 3 months ago
Node-Depth Encoding for Evolutionary Algorithms Applied to Network Design
Network design involves several areas of engineering and science. Computer networks, electrical circuits, transportation problems, and phylogenetic trees are some examples. In gene...
Alexandre C. B. Delbem, André Carlos Ponce ...
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
14 years 3 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler