搜索结果: 1-2 共查到“程序设计及其语言 Large”相关记录2条 . 查询时间(0.196 秒)
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
Efficient Large Numbers Karatsuba-Ofman Multiplier Designs for Embedded Systems
finite field Karatsuba-Ofman long numbers multiplication mathematical model
2010/2/2
Long number multiplications (n ≥ 128-bit) are a
primitive in most cryptosystems. They can be performed better by
using Karatsuba-Ofman technique. This algorithm is easy to
parallelize on workstatio...