1564 search results - page 131 / 313 » Extensions to the Estimation Calculus |
162
click to vote
CLEIEJ
2010
15 years 3 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
180
click to vote
JAIR
2011
15 years 1 months ago
2011
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions (e.g., pi) and iterated connectives ∨ or ∧ ranging over i...
172
click to vote
JAR
2010
15 years 1 months ago
2010
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
156
click to vote
ARITH
1999
IEEE
15 years 10 months ago
1999
IEEE
An extension of the very-high radix division with prescaling and selection by rounding is presented. This extension consists in increasing the effective radix of the implementatio...
174
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...