Sciweavers

121 search results - page 1 / 25
» Using adaptive distinguishing sequences in checking sequence...
Sort
View
SAC
2008
ACM
13 years 10 months ago
Using adaptive distinguishing sequences in checking sequence constructions
Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural...
TC
2002
13 years 10 months ago
Reduced Length Checking Sequences
-- Here the method proposed in [13] for constructing minimal-length checking sequences based on distinguishing sequences is improved. The improvement is based on optimizations of t...
Robert M. Hierons, Hasan Ural
ASE
2010
126views more  ASE 2010»
13 years 11 months ago
Generating a checking sequence with a minimum number of reset transitions
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...
Robert M. Hierons, Hasan Ural
BMCBI
2007
135views more  BMCBI 2007»
13 years 11 months ago
RECOVIR: An application package to automatically identify some single stranded RNA viruses using capsid protein residues that un
Background: Most single stranded RNA (ssRNA) viruses mutate rapidly to generate large number of strains having highly divergent capsid sequences. Accurate strain recognition in un...
Dianhui Zhu, George E. Fox, Sugoto Chakravarty
PTS
2008
80views Hardware» more  PTS 2008»
14 years 5 days ago
Generating Checking Sequences for Partial Reduced Finite State Machines
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...
Adenilso da Silva Simão, Alexandre Petrenko