Sciweavers

11 search results - page 3 / 3
» On Elementary Loops and Proper Loops for Disjunctive Logic P...
Sort
View
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
13 years 9 months ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti