Sciweavers

879 search results - page 100 / 176
» Optimizing for Reduced Code Space using Genetic Algorithms
Sort
View
CGO
2003
IEEE
15 years 6 months ago
Optimal and Efficient Speculation-Based Partial Redundancy Elimination
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...
Qiong Cai, Jingling Xue
GECCO
2008
Springer
153views Optimization» more  GECCO 2008»
15 years 3 months ago
G-Metric: an M-ary quality indicator for the evaluation of non-dominated sets
An open problem in multiobjective optimization using the Pareto optimality criteria, is how to evaluate the performance of different evolutionary algorithms that solve multi– o...
Giovanni Lizárraga Lizárraga, Arturo...
PSTV
1992
113views Hardware» more  PSTV 1992»
15 years 3 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
98
Voted
CORR
2007
Springer
76views Education» more  CORR 2007»
15 years 2 months ago
Power Optimal Scheduling for Guaranteed Throughput in Multi-access Fading Channels
Abstract— A power optimal scheduling algorithm that guarantees desired throughput and bounded delay to each user is developed for fading multi-access multi-band channels that can...
Prasanna Chaporkar, Kimmo Kansanen, Ralf R. Mü...
137
Voted
ICCD
2005
IEEE
165views Hardware» more  ICCD 2005»
15 years 11 months ago
Applying Resource Sharing Algorithms to ADL-driven Automatic ASIP Implementation
Presently, Architecture Description Languages (ADLs) are widely used to raise the abstraction level of the design space exploration of Application Specific Instruction-set Proces...
Ernst Martin Witte, Anupam Chattopadhyay, Oliver S...