7961 search results - page 129 / 1593 » Input-Output Model Programs |
114
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
139
click to vote
ANOR
2005
15 years 2 months ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...
129
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
217
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
117
click to vote
KR
2010
Springer
15 years 7 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...