Sciweavers

1964 search results - page 237 / 393
» Partitioning Based Algorithms for Some Colouring Problems
Sort
View
VLSID
2002
IEEE
136views VLSI» more  VLSID 2002»
14 years 8 months ago
Buffered Routing Tree Construction under Buffer Placement Blockages
Interconnect delay has become a critical factor in determining the performance of integrated circuits. Routing and buffering are powerful means of improving the circuit speed and ...
Wei Chen, Massoud Pedram, Premal Buch
ICCAD
2001
IEEE
144views Hardware» more  ICCAD 2001»
14 years 5 months ago
Faster SAT and Smaller BDDs via Common Function Structure
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
STOC
2004
ACM
131views Algorithms» more  STOC 2004»
14 years 8 months ago
(Almost) tight bounds and existence theorems for confluent flows
A flow is said to be confluent if at any node all the flow leaves along a single edge. Given a directed graph G with k sinks and non-negative demands on all the nodes of G, we con...
Jiangzhuo Chen, Robert D. Kleinberg, Lászl&...
IJON
2008
93views more  IJON 2008»
13 years 8 months ago
Morphologically constrained ICA for extracting weak temporally correlated signals
Recently the constrained ICA (cICA) algorithm has been widely applied to many applications. But a crucial problem to the algorithm is how to design a reference signal in advance, ...
Zhi-Lin Zhang
CSDA
2007
105views more  CSDA 2007»
13 years 8 months ago
GSA-based maximum likelihood estimation for threshold vector error correction model
The log-likelihood function of threshold vector error correction models is neither differentiable, nor smooth with respect to some parameters. Therefore, it is very difficult to ...
Zheng Yang, Zheng Tian, Zixia Yuan