Abstract :
The following topics are dealt with: computer arithmetic units; exascale computing; domain specific designs; verification; correctness proofs; modular arithmetic; floating-point error analysis; function approximation and cryptography.
Keywords :
cryptography; error analysis; floating point arithmetic; formal verification; function approximation; theorem proving; computer arithmetic units; correctness proofs; cryptography; domain specific designs; exascale computing; floating-point error analysis; function approximation; modular arithmetic; verification;
Conference_Titel :
Computer Arithmetic (ARITH), 2013 21st IEEE Symposium on
Conference_Location :
Austin, TX
Print_ISBN :
978-1-4673-5644-2
DOI :
10.1109/ARITH.2013.41
