3082 search results - page 382 / 617 » Deviation Analysis: A New Use of Model Checking |
193
click to vote
SPLC
2010
15 years 8 months ago
2010
Abstract. Large product lines have complex build systems, which obscure mapping of features to code. We extract this mapping out of the build systems of two operating systems kerne...
168
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Macromolecular visualization as well as automated structural and functional annotation tools play an increasingly important role in the post-genomic era, contributing ...
159
click to vote
SIGIR
2005
ACM
16 years 2 days ago
2005
ACM
Existing retrieval models generally do not offer any guarantee for optimal retrieval performance. Indeed, it is even difficult, if not impossible, to predict a model’s empirica...
190
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
187
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Large-scale genetic mapping projects require data management systems that can handle complex phenotypes and detect and correct high-throughput genotyping errors, yet a...