314 search results - page 36 / 63 » The Complexity of Coverage |
123
click to vote
BICOB
2009
Springer
15 years 8 months ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...
135
click to vote
SIGADA
2001
Springer
15 years 6 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
110
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— Over the last few years, the complexity of aquatic sensing applications has increased as a result of demands for: higher spatial coverage with high resolution monitoring, under...
116
click to vote
AAAI
2006
15 years 3 months ago
2006
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
145
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...