1037 search results - page 100 / 208 » Compositional Variability - Concepts and Patterns |
153
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: The program InDeVal was originally developed to help researchers find known regions of insertion/deletion activity (with the exception of isolated single-base indels) ...
134
Voted
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
129
Voted
IEEECIT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
116
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
130
click to vote
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Prior algorithms known for exactly solving Max 2-Sat improve upon the trivial upper bound only for very sparse instances. We present new algorithms for exactly solving (in fact, c...