Sciweavers

162 search results - page 27 / 33
» Symbolic Performance and Dependability Evaluation with the T...
Sort
View
DAGSTUHL
1996
13 years 8 months ago
What Not to Do When Writing an Interpreter for Specialisation
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
Neil D. Jones
BMCBI
2008
123views more  BMCBI 2008»
13 years 6 months ago
Validation of protein models by a neural network approach
Background: The development and improvement of reliable computational methods designed to evaluate the quality of protein models is relevant in the context of protein structure re...
Paolo Mereghetti, Maria Luisa Ganadu, Elena Papale...
BMCBI
2008
94views more  BMCBI 2008»
13 years 6 months ago
Conserved co-expression for candidate disease gene prioritization
Background: Genes that are co-expressed tend to be involved in the same biological process. However, co-expression is not a very reliable predictor of functional links between gen...
Martin Oti, Jeroen van Reeuwijk, Martijn A. Huynen...
ICSE
2008
IEEE-ACM
14 years 7 months ago
Scalable detection of semantic clones
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
Mark Gabel, Lingxiao Jiang, Zhendong Su
EUROSYS
2008
ACM
14 years 3 months ago
Documenting and automating collateral evolutions in linux device drivers
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
Yoann Padioleau, Julia L. Lawall, René Rydh...