Sciweavers

2266 search results - page 378 / 454
» Some Solutions to the Ignoring Problem
Sort
View
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 8 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
148
Voted
DAC
2010
ACM
15 years 8 months ago
Eyecharts: constructive benchmarking of gate sizing heuristics
—Discrete gate sizing is one of the most commonly used, flexible, and powerful techniques for digital circuit optimization. The underlying problem has been proven to be NP-hard ...
Puneet Gupta, Andrew B. Kahng, Amarnath Kasibhatla...
APWEB
2006
Springer
15 years 8 months ago
A New Methodology for Information Presentations on the Web
Abstract. The rapid growth of on-line information including multimedia contents during the last decade caused a major problem for Web users - there is too much information availabl...
Hyun Woong Shin, Dennis McLeod, Larry Pryor
GECCO
2006
Springer
179views Optimization» more  GECCO 2006»
15 years 8 months ago
Local search for multiobjective function optimization: pareto descent method
Genetic Algorithm (GA) is known as a potent multiobjective optimization method, and the effectiveness of hybridizing it with local search (LS) has recently been reported in the li...
Ken Harada, Jun Sakuma, Shigenobu Kobayashi
GCSE
2000
Springer
15 years 8 months ago
Generic Components: A Symbiosis of Paradigms
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
Martin Becker