Sciweavers

16 search results - page 2 / 4
» Determination of Test Configurations for Pair-Wise Interacti...
Sort
View
DAC
2005
ACM
13 years 7 months ago
Smart diagnostics for configurable processor verification
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
Sadik Ezer, Scott Johnson
SAC
2006
ACM
13 years 5 months ago
Efficient interactive configuration of unbounded modular systems
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
Erik Roland van der Meer, Andrzej Wasowski, Henrik...
ICSE
2005
IEEE-ACM
14 years 5 months ago
A framework of greedy methods for constructing interaction test suites
Greedy algorithms for the construction of software interaction test suites are studied. A framework is developed to evaluate a large class of greedy methods that build suites one ...
Charles J. Colbourn, Myra B. Cohen, Renée C...
STVR
2010
99views more  STVR 2010»
13 years 4 months ago
Fault localization based on information flow coverage
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...
Wes Masri
IJMI
2002
108views more  IJMI 2002»
13 years 5 months ago
Learning anchor verbs for biological interaction patterns from published text articles
: Much of knowledge modeling in the molecular biology domain involves interactions between proteins, genes, various forms of RNA, small molecules, etc. Interactions between these s...
Vasileios Hatzivassiloglou, Wubin Weng