691 search results - page 113 / 139 » Automatically Proving Linearizability |
SAFECOMP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
TSE
2010
13 years 8 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
DAGM
2010
Springer
13 years 8 months ago
2010
Springer
Digital in-line holography is a 3D microscopy technique which has gotten an increasing amount of attention over the last few years in the fields of microbiology, medicine and physi...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
TSD
2010
Springer
13 years 8 months ago
2010
Springer
The question how to integrate information from different sources in speech decoding is still only partially solved (layered architecture versus integrated search). We investigate t...