927 search results - page 125 / 186 » Practical Limits on Software Dependability: A Case Study |
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
ADAEUROPE
2007
Springer
14 years 1 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
COLT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We study online regret minimization algorithms in a bicriteria setting, examining not only the standard notion of regret to the best expert, but also the regret to the av...
TIT
2010
13 years 2 months ago
2010
Several physical effects that limit the reliability and performance of multilevel flash memories induce errors that have low magnitudes and are dominantly asymmetric. This paper st...
CISS
2011
IEEE
12 years 11 months ago
2011
IEEE
—In compressive sensing (CS), the Restricted Isometry Property (RIP) is a powerful condition on measurement operators which ensures robust recovery of sparse vectors is possible ...