Sciweavers

420 search results - page 40 / 84
» Fault Analysis Study of IDEA
Sort
View
TOOLS
2000
IEEE
14 years 2 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
Benoit Baudry, Vu Le Hanh, Yves Le Traon
DATE
2003
IEEE
93views Hardware» more  DATE 2003»
14 years 3 months ago
Comparison of Test Pattern Decompression Techniques
Test pattern decompression techniques are bounded with the algorithm of test pattern ordering and test data flow controlling. Some of the methods could have more sophisticated sor...
Ondrej Novák
PTS
2003
73views Hardware» more  PTS 2003»
13 years 11 months ago
Testing Transition Systems with Input and Output Testers
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...
Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
TROB
2002
120views more  TROB 2002»
13 years 9 months ago
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...
N. R. Srinivasa Raghavan, Tanmay Waghmare
SAC
2010
ACM
14 years 4 months ago
Background knowledge in formal concept analysis: constraints via closure operators
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
Radim Belohlávek, Vilém Vychodil