1114 search results - page 120 / 223 » Validating optimizations of concurrent C C programs |
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
Evo Indent http://www.dcs.kcl.ac.uk/staff/W.Langdon/ evo_indent/ is a PHP web server based user driven genetic algorithm which finds good C code layouts generated by GNU indent. ...
SEKE
2004
Springer
14 years 3 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
BMCBI
2006
13 years 10 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
APLAS
2005
ACM
14 years 3 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper proposes a novel two-stage optimization method for robust Model Predictive Control (RMPC) with Gaussian disturbance and state estimation error. Since the dis...