2451 search results - page 323 / 491 » The Octagon Abstract Domain |
143
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
149
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
150
click to vote
JSYML
2008
15 years 4 months ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
138
click to vote
SIAMMAX
2010
14 years 11 months ago
2010
It is well-known that two-level and multi-level preconditioned conjugate gradient (PCG) methods provide efficient techniques for solving large and sparse linear systems whose coeff...
144
click to vote
GI
2005
Springer
15 years 10 months ago
2005
Springer
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...