171 search results - page 28 / 35 » Precise Documentation of Critical Software |
DSN
2009
IEEE
14 years 2 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
CIVR
2007
Springer
14 years 2 months ago
2007
Springer
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
CICLING
2008
Springer
13 years 9 months ago
2008
Springer
Language software applications encounter new words, e.g., acronyms, technical terminology, loan words, names or compounds of such words. Looking at English, one might assume that t...
LREC
2010
13 years 9 months ago
2010
This paper presents the preliminary works to put online a French oral corpus and its transcription. This corpus is the Socio-Linguistic Survey in Orleans, realized in 1968. First,...