11 search results - page 3 / 3 » Optimization of Nested XQuery Expressions with Orderby Claus... |
123
Voted
ICCD
2004
IEEE
15 years 10 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...