Sciweavers

1312 search results - page 12 / 263
» Formally Optimal Boxing
Sort
View
TYPES
2004
Springer
14 years 2 months ago
A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
Yves Bertot, Benjamin Grégoire, Xavier Lero...
USENIX
2004
13 years 10 months ago
Making the "Box" Transparent: System Call Performance as a First-Class Result
For operating system intensive applications, the ability of designers to understand system call performance behavior is essential to achieving high performance. Conventional perfo...
Yaoping Ruan, Vivek S. Pai
STOC
1998
ACM
135views Algorithms» more  STOC 1998»
14 years 1 months ago
Checking Polynomial Identities over any Field: Towards a Derandomization?
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...
Daniel Lewin, Salil P. Vadhan
GECCO
2009
Springer
140views Optimization» more  GECCO 2009»
14 years 1 months ago
AMaLGaM IDEAs in noisy black-box optimization benchmarking
This paper describes the application of a Gaussian Estimation-of-Distribution (EDA) for real-valued optimization to the noisy part of a benchmark introduced in 2009 called BBOB (B...
Peter A. N. Bosman, Jörn Grahl, Dirk Thierens
GECCO
2009
Springer
114views Optimization» more  GECCO 2009»
14 years 1 months ago
AMaLGaM IDEAs in noiseless black-box optimization benchmarking
This paper describes the application of a Gaussian Estimation-of-Distribution (EDA) for real-valued optimization to the noiseless part of a benchmark introduced in 2009 called BBO...
Peter A. N. Bosman, Jörn Grahl, Dirk Thierens