16725 search results - page 2688 / 3345 » Engineering Software Correctness |
193
click to vote
SAC
2003
ACM
16 years 14 days ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
198
click to vote
CAV
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
197
click to vote
SAC
2010
ACM
16 years 10 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
212
click to vote
DATE
2010
IEEE
16 years 9 days ago
2010
IEEE
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...
197
click to vote
CSB
2002
IEEE
16 years 5 days ago
2002
IEEE
There is a pressing need to align growing set of expressed sequence tags (ESTs) to newly sequenced human genome. The problem is, however, complicated by the exon/intron structure ...