1114 search results - page 39 / 223 » Validating optimizations of concurrent C C programs |
LCR
2000
Springer
14 years 14 days ago
2000
Springer
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
SIAMAM
2010
13 years 7 months ago
2010
We present a mathematical framework for the so-called multidisciplinary free material optimization (MDFMO) problems, a branch of structural optimization in which the full material ...
SIAMJO
2008
13 years 8 months ago
2008
Many optimization problems are naturally delivered in an uncertain framework, and one would like to exercise prudence against the uncertainty elements present in the problem. In pr...
JSW
2008
13 years 8 months ago
2008
Intermediate COCOMO Model computes effort as a function of program size and a set of cost drivers. Effort adjustment factor (EAF) is calculated using 15 cost drivers. EAF is an imp...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Recent years have seen an explosion of interest in lift and project methods, such as those proposed by Lov