794 search results - page 100 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
In previous work, we reported dramatic improvements in automatic speech recognition (ASR) and spoken language translation (SLT) gained by applying information extracted from spoke...
100
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
132
click to vote
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the toolsā output to the judgment of human experts. This evaluation strategy i...
109
click to vote
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ļ...
111
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal veriļ¬cation. Low-level systems...