8828 search results - page 247 / 1766 » Formal methods in practice |
159
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
118
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland
143
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Valued Abstraction Oleg Rokhlenko Joint work with Eli Arbel and Karen Yorav IBM Haifa Research Labs
145
click to vote
SAS
1992
Springer
15 years 10 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A