首页> 外文OA文献 >Architectural Support For Long Integer Modulo Arithmetic on RISC-Based Smart Cards

【2h】

Architectural Support For Long Integer Modulo Arithmetic on RISC-Based Smart Cards

机译：基于RISC的智能卡上的长整数模运算的体系结构支持

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Johann Großschädl;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. ARCHITECTURAL SUPPORT FOR LONG INTEGER MODULO ARITHMETIC ON RISC-BASED SMART CARDS [J] . Johann Grossschaedl International Journal of High Performance Computing Applications . 2003,第2期

机译：基于RISC的智能卡上的长整数模运算的体系结构支持
2. Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic [J] . AlbertoGriggio, ThiThieuHoaLe, RobertoSebastiani Logical Methods in Computer Science . 2012,第3期

机译：可满足性模数线性整数算法中的有效插值生成
3. A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic [J] . Alberto Griggio Journal on Satisfiability, Boolean Modeling and Computation . 2012,第4期

机译：满意度模量线性整数算法的实用方法
4. Instruction set extension for long integer modulo arithmetic on RISC-based smart cards [C] . Grossschadl, J. . 2002

机译：基于RISC的智能卡上的长整数模运算的指令集扩展
5. On the Non-Triviality of Arithmetic Invariants Modulo p. [D] . Burungale, Ashay. 2015

机译：关于算术不变量模的非平凡性。
6. Is integer arithmetic fundamental to mental processing?: the minds secret arithmetic. [O] . A W Snyder, D J Mitchell 1999

机译：整数算术是心理处理的基础吗？：头脑的秘密算术。
7. A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic [O] . Gereon Kremer, Florian Corzilius, Erika Ábrahám 2016

机译：普遍的分支和束缚方法及其在SAT Modulo非线性整数算术中的应用

Architectural Support For Long Integer Modulo Arithmetic on RISC-Based Smart Cards

著录项

引文网络

相似文献

相关主题

期刊订阅