1802 search results - page 14 / 361 » Model-based Theory Combination |
71
Voted
JSC
2010
15 years 2 months ago
2010
211
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
98
Voted
IJCV
2012
13 years 6 months ago
2012
141
Voted
ECBS
2007
IEEE
15 years 10 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...
154
Voted
CADE
2005
Springer
16 years 4 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...