×

找到556个文档(结果1-100)

在数字系统中表示多位数的并行方法,用于测试多位数算术运算。 (英语。乌克兰原文) Zbl 1506.68007号

赛博。系统。分析。 58,第6期,991-1007(2022); 翻译自Kibern。修女。分析。58,第6期,第158-176页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全浮点多项式评估协议的复杂性和性能。 (英语) Zbl 1498.68050号

Bertino,Elisa(编辑)等人,《计算机安全–ESORICS 2021》。第26届欧洲计算机安全研究研讨会,德国达姆施塔特,2021年10月4日至8日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12973, 352-369 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

快速高效的位级精度调整。 (英语) Zbl 1497.68105号

Drágoi,Cezara(编辑)等人,《静态分析》。第28届国际研讨会,SAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12913, 1-24 (2021).
MSC公司:68号30 6504年
PDF格式BibTeX公司 XML格式引用

磁盘对矩形的最坏情况最佳覆盖。 (英语) Zbl 07760171号

Cabello,Sergio(编辑)等人,第36届计算几何国际研讨会,SoCG 2020,瑞士苏黎世(虚拟会议),2020年6月23日至26日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。164,第42条,第23页(2020年)。
MSC公司:68单位05 6504年 68-06
PDF格式BibTeX公司 XML格式引用

基于循环移位原理在余数系统中实现加法运算的方法。 (英语。俄文原件) Zbl 1470.65227号

赛博。系统。分析。 55,第4号,692-698(2019); 翻译自Kibern。修女。分析。2019年,第4期,194-202(2019)。
MSC公司:6504年 94A55型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

缩小双打和八边形定量之间的差距。 (英语) Zbl 1511.65157号

安德烈亚斯·波德尔斯基(编辑),《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11002, 187-204 (2018).
MSC公司:6504年
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

紧凑位置报告算法的正式验证浮点实现。 (英语) Zbl 1460.68128号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 364-381 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

一种对留数系统中表示的数据进行操作诊断的方法。 (英语。俄文原件) Zbl 1392.68150号

赛博。系统。分析。 54,第2期,336-344(2018); 翻译自Kibern。修女。分析。2018年第2期,182-192(2018)。
MSC公司:68个P01 6504年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算法数学。第二次修订和扩大版。(算法数学) (德语) Zbl 1407.68005号

柏林:施普林格演讲(ISBN 978-3-662-57460-7/pbk;978-3-622-57461-4/电子书)。十五、181页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

浮点运算手册。第二版。 (英语) Zbl 1394.65001号

查姆:Birkhä用户(ISBN 978-3-319-76525-9/hbk;978-3-3169-76526-6/电子书)。xxv,627页。(2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SMT中浮点数推理的三层策略。 (英语) Zbl 1494.68282号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 419-435 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件