Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.

Feng Liu Xiaoyu Song Qingping Tan Gang Chen

Published in: Comput. J. (2011)

Keyphrases

formal analysis
formal methods
data structure
management system
complex systems
artificial intelligence
case study
query language
knowledge based systems
learning systems
tree structure