865 search results - page 117 / 173 » Modeling the variability of architectural patterns |
147
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
120
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
139
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
148
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
163
click to vote
SPLC
2004
15 years 5 months ago
2004
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...