Sciweavers

1290 search results - page 88 / 258
» Data Dependence Testing in Practice
Sort
View
FAC
2006
122views more  FAC 2006»
13 years 9 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
BMCBI
2005
302views more  BMCBI 2005»
13 years 8 months ago
CGHPRO - A comprehensive data analysis tool for array CGH
Background: Array CGH (Comparative Genomic Hybridisation) is a molecular cytogenetic technique for the genome wide detection of chromosomal imbalances. It is based on the cohybrid...
Wei Chen, Fikret Erdogan, H.-Hilger Ropers, Steffe...
INFSOF
2010
146views more  INFSOF 2010»
13 years 6 months ago
Links between the personalities, views and attitudes of software engineers
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
Robert Feldt, Lefteris Angelis, Richard Torkar, Ma...
AMR
2007
Springer
160views Multimedia» more  AMR 2007»
14 years 3 months ago
Information Fusion in Multimedia Information Retrieval
In retrieval, indexing and classification of multimedia data an efficient information fusion of the different modalities is essential for the system’s overall performance. Sinc...
Jana Kludas, Eric Bruno, Stéphane Marchand-...
AMC
2007
54views more  AMC 2007»
13 years 9 months ago
Optimization of radar scanning strategies using an ensemble relative error criterion
We study the formulation of the problem to retrieve wind fields from radar data. The considerations here view the radar locations as fixed with retrieved wind fields as functio...
Luther White, Alan Shapiro