16725 search results - page 2686 / 3345 » Engineering Software Correctness |
194
click to vote
ASPLOS
2004
ACM
16 years 19 days ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
172
click to vote
CMMR
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Voice separation is a critical component of music information retrieval, music analysis and automated transcription systems. We present a contig mapping approach to voice...
193
click to vote
ECOOP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
193
click to vote
ITS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
194
click to vote
IWQOS
2004
Springer
16 years 17 days ago
2004
Springer
This paper addresses the energy consumption of forward error correction (FEC) protocols as used to improve quality-of-service (QoS) for wireless computing devices. The paper also ...