3330 search results - page 314 / 666 » software 2010 |
127
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
146
click to vote
MSR
2010
ACM
15 years 9 months ago
2010
ACM
—To help developers in using frameworks, good documentation is crucial. However, it is a challenge to create high quality documentation especially of hotspots in white-box framew...
158
click to vote
PROPOR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
119
click to vote
SOFSEM
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
123
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...