16725 search results - page 3062 / 3345 » Engineering Software Correctness |
160
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Illumina Infinium whole genome genotyping (WGG) arrays are increasingly being applied in cancer genomics to study gene copy number alterations and allele-specific aber...
159
click to vote
DC
2010
15 years 4 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
151
click to vote
GEOINFORMATICA
2008
15 years 4 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
142
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: ESTs are a tremendous resource for determining the exon-intron structures of genes, but even extensive EST sequencing tends to leave many exons and genes untouched. Ge...
179
click to vote
CCR
2007
15 years 4 months ago
2007
Peer-to-peer systems have seen a tremendous growth in the last few years and peer-to-peer traffic makes a major fraction of the total traffic seen in the Internet. The dominating ...