Sciweavers

121 search results - page 10 / 25
» Using adaptive distinguishing sequences in checking sequence...
Sort
View
BIB
2002
135views more  BIB 2002»
13 years 8 months ago
Pise: Software for Building Bioinformatics Webs
Pise is interface construction software for bioinformatics applications that run by commandline operations. It creates common, easy to use interfaces to these for the Web, or othe...
Don Gilbert
CORR
2008
Springer
197views Education» more  CORR 2008»
13 years 8 months ago
Sequential adaptive compressed sampling via Huffman codes
In this paper we introduce an information theoretic approach and use techniques from the theory of Huffman codes to construct a sequence of binary sampling vectors to determine a s...
Akram Aldroubi, Haichao Wang, Kourosh Zarringhalam
PADL
2004
Springer
14 years 2 months ago
Symbolic Execution of Behavioral Requirements
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S....
KBSE
2007
IEEE
14 years 2 months ago
Testing concurrent programs using value schedules
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
Jun Chen, Steve MacDonald
BMCBI
2004
119views more  BMCBI 2004»
13 years 8 months ago
Genome SEGE: A database for 'intronless' genes in eukaryotic genomes
Background: A number of completely sequenced eukaryotic genome data are available in the public domain. Eukaryotic genes are either 'intron containing' or 'intronle...
Meena K. Sakharkar, Pandjassarame Kangueane