Sciweavers

62 search results - page 1 / 13
» Optimisation Validation
Sort
View
ENTCS
2007
128views more  ENTCS 2007»
13 years 5 months ago
Optimisation Validation
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
David Aspinall, Lennart Beringer, Alberto Momiglia...
CC
2009
Springer
153views System Software» more  CC 2009»
13 years 3 months ago
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
Richard Warburton, Sara Kalvala
GECCO
2004
Springer
13 years 11 months ago
Validating a Model of Colon Colouration Using an Evolution Strategy with Adaptive Approximations
The colour of colon tissue, which depends on the tissue structure, its optical properties, and the quantities of the pigments present in it, can be predicted by a physics-based mod...
Dzena Hidovic, Jonathan E. Rowe
ISBI
2007
IEEE
13 years 12 months ago
Validation of a New Optimisation Algorithm for Registration Tasks in Medical Imaging
A number of problems frequently encountered in brain image analysis can be conveniently solved within a registration framework, such as alignment of mono- or multi-sequence Magnet...
Nicolas Wiest-Daesslé, Sylvain Prima, Sean ...
ECOOP
2008
Springer
13 years 7 months ago
On Validity of Program Transformations in the Java Memory Model
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
Jaroslav Sevcík, David Aspinall