Verification of decimal floating-point fused-multiply-add operation.
Amr A. R. Sayed-AhmedHossam A. H. FahmyRodina SamyPublished in: AICCSA (2011)
Keyphrases
- data fusion
- verification method
- model checking
- floating point
- concurrent systems
- material handling
- formal verification
- formal analysis
- information fusion
- video sequences
- face recognition
- computer vision
- data mining
- real world
- data structure
- multiscale
- decision trees
- feature selection
- information systems
- fusion scheme
- fingerprint verification
- high security
- database