Sciweavers

1177 search results - page 16 / 236
» System-in-Package Testing: Problems and Solutions
Sort
View
EVOW
2006
Springer
15 years 1 months ago
A Memetic Algorithm with Bucket Elimination for the Still Life Problem
Abstract. Bucket elimination (BE) is an exact technique based on variable elimination, commonly used for solving constraint satisfaction problems. We consider the hybridization of ...
José E. Gallardo, Carlos Cotta, Antonio J. ...
80
Voted
DBSEC
2008
137views Database» more  DBSEC 2008»
14 years 11 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
88
Voted
GECCO
1999
Springer
115views Optimization» more  GECCO 1999»
15 years 1 months ago
A Diversity Study in Genetic Algorithms for Job Shop Scheduling Problems
This paper deals with the study of population diversity in Genetic Algorithms for Job Shop Scheduling Problems. A definition of population diversity at the phenotype level and a ...
Carlos A. Brizuela, Nobuo Sannomiya
EOR
2002
84views more  EOR 2002»
14 years 9 months ago
Solving container loading problems by block arrangement
In order to solve heterogeneous single and multiple container loading problems, an algorithm is presented that builds homogeneous blocks of identically orientated items. First a g...
Michael Eley
LCPC
1998
Springer
15 years 1 months ago
The I+ Test
: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated ab...
Weng-Long Chang, Chih-Ping Chu