×

找到17个文档(结果1-17)

基于三角弱非线性循环的整数程序复杂性自动分析。 (英语) Zbl 07628219号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13385, 734-754 (2022).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用

选择性缓冲资源边界。 (英语) Zbl 1497.68117号

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

使用回路专门化和Max-SMT的下限合成。 (英语) Zbl 1493.68098号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 863-886 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ATLAS:自动摊销自调整数据结构的复杂性分析。 (英语) Zbl 1493.68129号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 99-122 (2021).
MSC公司:68第05页 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用挤压器的运行时复杂性边界。 (英语) Zbl 1473.68046号

Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12648, 320-347 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用预期大小推断概率整数程序的预期运行时间。 (英语) Zbl 1467.68066号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 250-269 (2021).
PDF格式BibTeX公司 XML格式引用

经认证的抽象成本分析。 (英语) Zbl 1467.68034号

Guerra,Esther(编辑)等人,《软件工程的基本方法》,第24届国际会议,FASE 2021,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2021,卢森堡市,2021年3月27日至4月1日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12649,24-45(2021)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

状态向量加法系统的多项式复杂性。 (英语) Zbl 1442.68154号

Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12077, 622-641 (2020).
PDF格式BibTeX公司 XML格式引用

指数自动摊销资源分析。 (英语) Zbl 07250947号

Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12077, 359-380 (2020).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

资源感知ML中的数组和引用。 (英语) Zbl 1441.68018号

Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3-9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第26条,第20页(2017年)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段