5900 search results - page 199 / 1180 » Dependable Systems |
153
click to vote
COMPSAC
2009
IEEE
16 years 25 days ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
177
click to vote
HASKELL
2006
ACM
16 years 1 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
148
click to vote
VTS
2000
IEEE
15 years 10 months ago
2000
IEEE
Redundancy techniques are commonly used to design dependable systems to ensure high reliability, availability and data integrity. Triple Modular Redundancy (TMR) is a widely used ...
152
click to vote
INTERSPEECH
2010
15 years 27 days ago
2010
One of the difficulties in Language Recognition is the variability of the speech signal due to speakers and channels. If channel mismatch is too big and when different categories ...
147
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...