Sciweavers

121 search results - page 3 / 25
» Using adaptive distinguishing sequences in checking sequence...
Sort
View
BMCBI
2010
144views more  BMCBI 2010»
13 years 6 months ago
Graph-based clustering and characterization of repetitive sequences in next-generation sequencing data
Background: The investigation of plant genome structure and evolution requires comprehensive characterization of repetitive sequences that make up the majority of higher plant nuc...
Petr Novák, Pavel Neumann, Jirí Maca...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
13 years 11 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
SSS
2007
Springer
14 years 6 days ago
Stabilization of Flood Sequencing Protocols in Sensor Networks
Flood is a communication primitive that can be used by the base station of a sensor network to send a copy of a message to every sensor in the network. When a sensor receives a fl...
Young-ri Choi, Mohamed G. Gouda
BMCBI
2008
154views more  BMCBI 2008»
13 years 6 months ago
Extension of the COG and arCOG databases by amino acid and nucleotide sequences
Background: The current versions of the COG and arCOG databases, both excellent frameworks for studies in comparative and functional genomics, do not contain the nucleotide sequen...
Florian Meereis, Michael Kaufmann
SIAMCOMP
2010
83views more  SIAMCOMP 2010»
13 years 4 months ago
Reaching and Distinguishing States of Distributed Systems
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
Robert M. Hierons