1802 search results - page 14 / 361 » Model-based Theory Combination |
JSC
2010
13 years 7 months ago
2010
CADE
2010
Springer
13 years 7 months ago
2010
Springer
IJCV
2012
11 years 11 months ago
2012
ECBS
2007
IEEE
14 years 3 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...