1776 search results - page 172 / 356 » Hypothesis Testing for Module Test in Software Development |
107
click to vote
FUIN
2007
15 years 3 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
145
click to vote
PROMISE
2010
14 years 9 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
105
click to vote
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents an attempt of using intelligent agents for testing and repairing a distributed system, whose elements may or may not have embedded BIST (Built-In Self-Test) an...
120
click to vote
TITS
2002
15 years 2 months ago
2002
This paper describes the image processing techniques designed to localize the tracks of snowcats for the automation of transportation of goods and people during the Italian scienti...
128
click to vote
FAC
2006
15 years 3 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...