Sciweavers

5639 search results - page 365 / 1128
» Timed Abstract Non-interference
Sort
View
131
Voted
PPAM
2005
Springer
15 years 9 months ago
The Distributed Stigmergic Algorithm for Multi-parameter Optimization
Abstract. The paper presents a new distributed Multilevel Ant Stigmergy Algorithm (MASA) for minimizing the power losses in an electric motor by optimizing the independent geometri...
Jurij Silc, Peter Korosec
QOSIP
2005
Springer
15 years 9 months ago
Unicast and Multicast QoS Routing with Multiple Constraints
Abstract. We explore techniques for efficient Quality of Service Routing in the presence of multiple constraints. We first present a polynomial time approximation algorithm for th...
Dan Wang, Funda Ergün, Zhan Xu
RISE
2005
Springer
15 years 9 months ago
Software Testing with Evolutionary Strategies
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
Enrique Alba, J. Francisco Chicano
154
Voted
STACS
2005
Springer
15 years 9 months ago
Worst-Case and Average-Case Approximations by Simple Randomized Search Heuristics
Abstract. In recent years, probabilistic analyses of algorithms have received increasing attention. Despite results on the average-case complexity and smoothed complexity of exact ...
Carsten Witt
WABI
2005
Springer
15 years 9 months ago
Rotamer-Pair Energy Calculations Using a Trie Data Structure
Abstract. Protein design software places amino acid side chains by precomputing rotamer-pair energies and optimizing rotamer placement. If the software optimizes by rapid stochasti...
Andrew Leaver-Fay, Brian Kuhlman, Jack Snoeyink