631 search results - page 81 / 127 » Producing reliable software: an experiment |
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
An acceptability envelope is a region of imperfect but acceptable software systems surrounding a given perfect system. Explicitly targeting the acceptability envelope during devel...
ASPLOS
2011
ACM
13 years 17 days ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
We consider the problem of large-scale retrieval evaluation, and we propose a statistical method for evaluating retrieval systems using incomplete judgments. Unlike existing techn...
BMCBI
2008
13 years 9 months ago
2008
Background: The reliable extraction of features from mass spectra is a fundamental step in the automated analysis of proteomic mass spectrometry (MS) experiments. Results: This co...
BMCBI
2005
13 years 8 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...