Sciweavers

7519 search results - page 146 / 1504
» Optimizing Generic Functions
Sort
View
DYNAMO
2000
74views more  DYNAMO 2000»
15 years 6 months ago
A framework for remote dynamic program optimization
Dynamic program optimization allows programs to be generated that are highly tuned for a given environment and input data set. Optimization techniques can be applied and re-applie...
Michael Voss, Rudolf Eigenmann
140
Voted
WSC
2008
15 years 7 months ago
The mathematics of continuous-variable simulation optimization
Continuous-variable simulation optimization problems are those optimization problems where the objective function is computed through stochastic simulation and the decision variab...
Sujin Kim, Shane G. Henderson
CC
2008
Springer
137views System Software» more  CC 2008»
15 years 7 months ago
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
Francesco Logozzo, Manuel Fähndrich
APAL
2008
83views more  APAL 2008»
15 years 5 months ago
Easton's theorem and large cardinals
The continuum function F on regular cardinals is known to have great freedom; if , are regular cardinals, then F needs only obey the following two restrictions: (1) cf(F()) > ...
Sy D. Friedman, Radek Honzik
ECCV
2008
Springer
16 years 7 months ago
The Bi-directional Framework for Unifying Parametric Image Alignment Approaches
In this paper, a generic bi-directional framework is proposed for parametric image alignment, that extends the classification of [1]. Four main categories (Forward, Inverse, Depend...
Jean-Baptiste Authesserre, Rémi Mégr...