Sciweavers

644 search results - page 15 / 129
» An Experimental Chip to Evaluate Test Techniques: Experiment...
Sort
View
SIGIR
2005
ACM
15 years 5 months ago
Using query term order for result summarisation
We report on two experiments performed to test the importance of Term Order in automatic summarisation. Experiment one was undertaken as part of DUC 2004 to which three systems we...
Shao Fen Liang, Siobhan Devlin, John Tait
ICST
2009
IEEE
14 years 9 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
JUCS
2008
168views more  JUCS 2008»
14 years 11 months ago
Online Network-on-Chip Switch Fault Detection and Diagnosis Using Functional Switch Faults
: This paper presents efficient methods for online fault detection and diagnosis of Network-on-Chip (NoC) switches. The fault model considered in this research is a system level fa...
Naghmeh Karimi, Armin Alaghi, Mahshid Sedghi, Zain...
ISESE
2006
IEEE
15 years 5 months ago
An empirical evaluation of a testing and debugging methodology for Excel
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
Jeffrey Carver, Marc Fisher II, Gregg Rothermel
SRDS
2005
IEEE
15 years 5 months ago
Agile Store: Experience with Quorum-Based Data Replication Techniques for Adaptive Byzantine Fault Tolerance
Quorum protocols offer several benefits when used to maintain replicated data but techniques for reducing overheads associated with them have not been explored in detail. It is d...
Lei Kong, Deepak J. Manohar, Mustaque Ahamad, Arun...