Sciweavers

691 search results - page 104 / 139
» Genetic Programming Applied to Mixed Integer Programming
Sort
View
PLDI
2012
ACM
13 years 2 months ago
Effective parallelization of loops in the presence of I/O operations
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
Min Feng, Rajiv Gupta, Iulian Neamtiu
ISSTA
2004
ACM
15 years 5 months ago
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
André Baresel, David Binkley, Mark Harman, ...
IEEEARES
2008
IEEE
15 years 6 months ago
A Lightweight Security Analyzer inside GCC
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
Davide Pozza, Riccardo Sisto
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
15 years 6 months ago
A systemic computation platform for the modelling and analysis of processes with natural characteristics
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
Erwan Le Martelot, Peter J. Bentley, R. Beau Lotto
BIOINFORMATICS
2005
85views more  BIOINFORMATICS 2005»
14 years 11 months ago
An automated genotyping system for analysis of HIV-1 and other microbial sequences
Motivation: Genetic analysis of HIV-1 is important not only for vaccine development, but also to guide treatment strategies, track the emergence of new viral variants and ensure t...
Tulio de Oliveira, Koen Deforche, Sharon Cassol, M...