8347 search results - page 1277 / 1670 » Performance testing of software systems |
161
click to vote
LSGRID
2004
Springer
16 years 6 days ago
2004
Springer
In this study, a new Genetic Algorithm (GA) using the Tabu · Local Search mechanism is proposed. The GA described in this paper is considered a Mega Process GA, which has an effe...
165
click to vote
ACSD
2003
IEEE
16 years 4 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
193
click to vote
CLUSTER
2003
IEEE
16 years 4 days ago
2003
IEEE
Mobility is a fundamental functionality of the next generation internet computing. How to support mobility for legacy codes, however, is still an issue of research. The key to sol...
193
Voted
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...
162
click to vote
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
Single-particle 3D reconstruction from cryo-electron microscopy (cryo-EM) images is a kernel application of biological molecules analysis, as the computational requirement of whic...