Sciweavers

5289 search results - page 346 / 1058
» Evolutionary Computation for Modeling and Optimization
Sort
View
ICTAC
2009
Springer
15 years 11 months ago
A Formal Approach to Heuristically Test Restorable Systems
Abstract. Given a nite state machine denoting the specication of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
Pablo Rabanal, Ismael Rodríguez, Fernando R...
194
Voted
DAC
1999
ACM
15 years 11 months ago
Reducing Cross-Coupling Among Interconnect Wires in Deep-Submicron Datapath Design
As the CMOS technology enters the deep submicron design era, the lateral inter-wire coupling capacitance becomes the dominant part of load capacitance and makes RC delay on the bu...
Joon-Seo Yim, Chong-Min Kyung
DAC
2007
ACM
15 years 10 months ago
Simultaneous Multi-Topology Multi-Objective Sizing Across Thousands of Analog Circuit Topologies
This paper presents MOJITO, a system which optimizes across thousands of analog circuit topologies simultaneously, and returns a set of sized topologies that collectively provide ...
Trent McConaghy, Pieter Palmers, Georges G. E. Gie...
RECOMB
2010
Springer
15 years 5 months ago
Detecting Highways of Horizontal Gene Transfer
Abstract. In a horizontal gene transfer (HGT) event a gene is transferred between two species that do not share an ancestor-descendant relationship. Typically, no more than a few g...
Mukul S. Bansal, J. Peter Gogarten, Ron Shamir
EVOW
2012
Springer
14 years 2 months ago
Hyperparameter Tuning in Bandit-Based Adaptive Operator Selection
We are using bandit-based adaptive operator selection while autotuning parallel computer programs. The autotuning, which uses evolutionary algorithm-based stochastic sampling, take...
Maciej Pacula, Jason Ansel, Saman P. Amarasinghe, ...