3742 search results - page 634 / 749 » On the Use of Formal Techniques for Validation |
149
click to vote
FPL
2007
Springer
16 years 16 days ago
2007
Springer
Numerical non-robustness is a recurring phenomenon in scientific computing. It is primarily caused by numerical errors arising because of fixed-precision arithmetic in integer and...
161
click to vote
ICDT
2007
ACM
16 years 15 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
149
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
182
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
167
click to vote
VLDB
2007
ACM
16 years 14 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...