ARITHMETIC SPECIFICATION FOR SCIENTIFIC COMPUTATION IN ADA

被引:0
|
作者
KLATTE, R
ULLRICH, CP
VONGUDENBERG, JW
机构
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:996 / 1005
页数:10
相关论文
共 50 条
  • [31] DISTRIBUTION OF ADA PATTERN IN BULGARIA WITH SPECIFICATION OF GENOTYPE FREQUENCY
    NENKOV, N
    KRIMINALISTIK UND FORENSISCHE WISSENSCHAFTEN, 1975, (20): : 157 - 158
  • [32] SPECIFICATION AND IMPLEMENTATION OF GKS APPLICATION SOFTWARE IN ADA (R).
    Mac an Airchinnigh, M.
    Computer Graphics Forum, 1984, 3 (02) : 153 - 167
  • [33] Secure Arithmetic Computation with No Honest Majority
    Ishai, Yuval
    Prabhakaran, Manoj
    Sahai, Amit
    THEORY OF CRYPTOGRAPHY, 6TH THEORY OF CRYPTOGRAPHY CONFERENCE, TCC 2009, 2009, 5444 : 294 - +
  • [34] Arithmetic computation with probability words and numbers
    Mandel, David R.
    Dhami, Mandeep K.
    Tran, Serena
    Irwin, Daniel
    JOURNAL OF BEHAVIORAL DECISION MAKING, 2021, 34 (04) : 593 - 608
  • [35] On the arithmetic required in the computation of orthonormal transforms
    Corgnier, L.
    Guglielmo, M.
    Signal Processing: Image Communication, 1990, 2 (01) : 1 - 11
  • [36] LevioSA: Lightweight Secure Arithmetic Computation
    Hazay, Carmit
    Ishai, Yuval
    Marcedone, Antonio
    Venkitasubramaniam, Muthuramakrishnan
    PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 327 - 344
  • [37] OPTICAL COMPUTATION USING RESIDUE ARITHMETIC
    HUANG, A
    TSUNODA, Y
    GOODMAN, JW
    ISHIHARA, S
    APPLIED OPTICS, 1979, 18 (02): : 149 - 162
  • [38] An arithmetic for polynomial-time computation
    Schwichtenberg, Helmut
    THEORETICAL COMPUTER SCIENCE, 2006, 357 (1-3) : 202 - 214
  • [39] The Cost of IEEE Arithmetic in Secure Computation
    Archer, David W.
    Atapoor, Shahla
    Smart, Nigel P.
    PROGRESS IN CRYPTOLOGY - LATINCRYPT 2021, 2021, 12912 : 431 - 452