12272 search results - page 1839 / 2455 » Experimental program analysis |
185
click to vote
OOPSLA
2005
Springer
16 years 21 days ago
2005
Springer
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...
241
click to vote
STACS
2005
Springer
16 years 21 days ago
2005
Springer
Cycle covering is a well-studied problem in computer science. In this paper, we develop approximation algorithms for variants of cycle covering problems which bound the size and/o...
186
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
185
click to vote
SIGDOC
2004
ACM
16 years 19 days ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...
170
click to vote
WOSP
2004
ACM
16 years 19 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...