Sciweavers

6102 search results - page 647 / 1221
» Generating Optimizing Specializers
Sort
View
ICCD
2003
IEEE
115views Hardware» more  ICCD 2003»
16 years 4 months ago
Reducing Compilation Time Overhead in Compiled Simulators
Compiled simulation is a well known technique for improving the performance of instruction set simulators at the cost of compilation time. However the compilation time overhead ma...
Mehrdad Reshadi, Nikil D. Dutt
ICNC
2009
Springer
16 years 2 months ago
An Improved Greedy Genetic Algorithm for Solving Travelling Salesman Problem
—Genetic algorithm (GA) is too dependent on the initial population and a lack of local search ability. In this paper, an improved greedy genetic algorithm (IGAA) is proposed to o...
Zhenchao Wang, Haibin Duan, Xiangyin Zhang
CDC
2008
IEEE
130views Control Systems» more  CDC 2008»
16 years 1 months ago
Predictor estimation via Gaussian regression
Abstract— A novel nonparametric paradigm to model identification has been recently proposed where, in place of postulating finite-dimensional models of the system transfer func...
Gianluigi Pillonetto, Alessandro Chiuso, Giuseppe ...
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 1 months ago
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
Weehong Tan, Ufuk Topcu, Peter Seiler, Gary J. Bal...
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
16 years 1 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand