×

找到37个文档（结果1-37）

最新的 引文 关联
艾尔维拉·阿尔伯特；萨米尔·根奈姆；马丁·马丁，恩里克；艾丽西亚·梅拉约；阿尔伯特·鲁比奥

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

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 863-886 (2021).
MSC公司：68号30 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。票据计算。科学。12760863--886（2021年；Zbl 1493.68098）
全文： 内政部
胡、秦和平；约翰·Cyphert；洛丽斯·达安东尼；代表，托马斯

具有渐近资源边界的综合。 （英语） Zbl 1493.68112号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 783-807 (2021).
MSC公司：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Q.Hu}等人，Lect。票据计算。科学。12759783--807（2021年；Zbl 1493.68112）
全文： 内政部 arXiv公司
奥伦·伊什·沙洛姆；沙迦·伊扎基；诺姆·里内茨基；沙龙·肖姆

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

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12648, 320-347 (2021).
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Ish-Shalom}等人，Lect。票据计算。科学。12648，320-347（2021；Zbl 1473.68046）
全文： 内政部
艾尔维拉·阿尔伯特；雷纳·哈内尔；艾丽西亚·梅拉约；多米尼克·施泰因霍费尔

经认证的抽象成本分析。 （英语） 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格式引用
\textit{E.Albert}等人，Lect。票据计算。科学。12649，24-45（2021；Zbl 1467.68034）
全文： 内政部
马克西米利亚诺·克莱门；佩德罗·洛佩兹·加西亚；约翰·加拉赫（John P.Gallagher）。；JoséF·莫拉莱斯。；曼努埃尔五世（Manuel V.Hermenegildo）。

并行逻辑程序静态成本分析的一般框架。 （英语） Zbl 1502.68068号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12042, 19-35 (2020).
MSC公司：68N17号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Klemen}等人，Lect。票据计算。科学。12042，19-35（2020；Zbl 1502.68068）
全文： 内政部 arXiv公司 链接
大卫·M·卡恩。；简·霍夫曼

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

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12077, 359-380 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Kahn}和\textit{J.Hoffmann}，莱克特。票据计算。科学。12077、359--380（2020；Zbl 07250947）
全文： 内政部 arXiv公司
阿玛·盖诺；雅克·亨利·乔尔丹；亚瑟·查古埃罗；弗朗索瓦·波蒂埃

增量循环检测算法的形式化证明和分析。 （英语） Zbl 07649967号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第18条，第20页（2019年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Guéneau}等人，LIPIcs--Leibniz Int.Proc。通知。141，第18条，第20页（2019年；Zbl 07649967）
全文： 内政部
艾尔维拉·阿尔伯特；米克尔波菲尔；克里斯蒂娜·博拉莱拉斯；马丁·马丁，恩里克；阿尔伯特·鲁比奥

由（有条件的）终止证明驱动的资源分析。 （英语） Zbl 1434.68101号

理论与实践。日志。程序。 19，编号5-6，722-739（2019）.
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛E.Albert｝等人，《理论与实践》。日志。程序。19，编号5--6722--739（2019；Zbl 1434.68101）
全文： 内政部 arXiv公司
托比亚斯·尼普科

经过验证的根基树木。 （英语） Zbl 1503.68052号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10695, 255-272 (2017).
MSC公司：68第05页
PDF格式BibTeX公司 XML格式引用
\textit{T.Nipkow}，莱克特。票据计算。科学。10695，255--272（2017；Zbl 1503.68052）
全文： 内政部
安洪特朗；Nguyen、Ngoc-Khai；Van Hung，Dang先生；丹·杜赫

计算多线程事务程序使用的静态最大日志内存。 （英语） Zbl 1482.68097号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9965, 82-99 (2016).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.-H.Truong}等人，Lect。票据计算。科学。9965，82-99（2016；Zbl 1482.68097）
全文： 内政部
哈默雷，R。；洛佩斯·加西亚。；Liqat，美国。；M.克莱门。；加拉赫，J.P。；赫梅内吉尔多，M.V。

参数累积成本静态分析的转换方法。 （英语） Zbl 1475.68087号

Kiselyov，Oleg（编辑）等人，《功能和逻辑编程》。2016年3月4日至6日，第13届国际研讨会，FLOPS 2016，日本高知。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9613, 163-180 (2016).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Haemmerlé}等人，Lect。票据计算。科学。9613、163--180（2016年；Zbl 1475.68087）
全文： 内政部 链接
亚瑟·查古埃罗；弗朗索瓦·波蒂埃

对高效union-find实现的正确性和已摊销复杂性进行机器检查验证。 （英语） Zbl 1465.68172号

Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9236, 137-153 (2015).
MSC公司：60年第68季度 03B70号 68甲19 68第05页 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Charguéraud}和\textit{F.Pottier}，莱克特。票据计算。科学。9236、137--153（2015年；Zbl 1465.68172）
全文： 内政部 哈尔
艾尔维拉·阿尔伯特；萨米尔·根奈姆；劳尔·古铁雷斯

使用类型规范进行资源分析的转换方法。 （英语） Zbl 1453.68041号

Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。8901, 38-53 (2014).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。票据计算。科学。8901、38--53（2014；Zbl 1453.68041）
全文： 内政部 arXiv公司 链接
艾尔维拉·阿尔伯特；萨米尔·根奈姆；阿布·纳赛尔·马苏德

更精确但广泛适用的成本分析。 （英语） Zbl 1317.68027号

Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，38-53（2011）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。票据计算。科学。6538，38-53（2011；Zbl 1317.68027）
全文： 内政部
艾尔维拉·阿尔伯特；阿里纳斯，普里；萨米尔·根奈姆；德国普埃布拉

成本分析中递归关系上界的自动推断。 （英语） Zbl 1149.68345号

Alpunte，María（编辑）等人，《静态分析》。第15届国际研讨会，2008年SAS，西班牙巴伦西亚，2008年7月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69163-1/pbk）。计算机科学课堂讲稿5079221-237（2008）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。票据计算。科学。5079、221--237（2008年；Zbl 1149.68345）
全文： 内政部 链接
科日夫尼科娃，G.P。；S.O.奥列什科。

使用标准复杂度递归算法效率分析的信息技术。 （英语。俄文原件） Zbl 0875.68548号

赛博。系统。分析。 28，第5期，657-671（1992）; 翻译自Kibern。修女。分析。1992年，第5期，第3-19页（1992年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.P.Kozhevnikova}和\textit{S.O.Oleshko}，Cybern。系统。分析。28，第5号，657--671（1992；Zbl 0875.68548）；翻译自Kibern。修女。分析。1992年，第5期，第3-19期（1992年）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件