1465 search results - page 78 / 293 » Making the Correct Mistakes |
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
104
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: The development of software tools that analyze microarray data in the context of genetic knowledgebases is being pursued by multiple research groups using different me...
104
click to vote
SIGMETRICS
2002
ACM
14 years 11 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
ECCC
2010
14 years 10 months ago
2010
We investigate the problem of local reconstruction, as defined by Saks and Seshadhri (2008), in the context of error correcting codes. The first problem we address is that of me...
107
click to vote
INFSOF
2010
14 years 10 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...