Sciweavers

16 search results - page 2 / 4
» Determination of Test Configurations for Pair-Wise Interacti...
Sort
View
DAC
2005
ACM
15 years 1 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
14 years 11 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
15 years 11 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»
14 years 10 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»
14 years 11 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