Sciweavers

1518 search results - page 191 / 304
» Cryptographic Test Correction
Sort
View
117
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
DETERMIN: inferring likely deterministic specifications of multithreaded programs
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
Jacob Burnim, Koushik Sen
103
Voted
WSC
1997
15 years 2 months ago
Selecting the Best System: A Decision-Theoretic Approach
The problem of selecting the best system from a finite set of alternatives is considered from a Bayesian decision-theoretic perspective. The framework presented is quite general,...
Stephen E. Chick
GECCO
2008
Springer
183views Optimization» more  GECCO 2008»
15 years 1 months ago
UMDAs for dynamic optimization problems
This paper investigates how the Univariate Marginal Distribution Algorithm (UMDA) behaves in non-stationary environments when engaging in sampling and selection strategies designe...
Carlos M. Fernandes, Cláudio F. Lima, Agost...
117
Voted
BMCBI
2006
130views more  BMCBI 2006»
15 years 24 days ago
Spatial normalization of array-CGH data
Background: Array-based comparative genomic hybridization (array-CGH) is a recently developed technique for analyzing changes in DNA copy number. As in all microarray analyses, no...
Pierre Neuvial, Philippe Hupé, Isabel Brito...
BMCBI
2007
136views more  BMCBI 2007»
15 years 23 days ago
Comparison of protein structures by growing neighborhood alignments
Background: Design of protein structure comparison algorithm is an important research issue, having far reaching implications. In this article, we describe a protein structure com...
Sourangshu Bhattacharya, Chiranjib Bhattacharyya, ...