×

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

最新的 引文 关联
阿萨勒阿杰;斯特凡·高伯特;埃里克·古堡

计算正随机博弈和程序静态分析中出现的序保非扩张映射的最小不动点。 （英语） 兹比尔1309.47057

数学杂志。分析。应用。 410，第1期，227-240（2014）.
MSC公司：2007年7月47日 2009年9月47日 47甲10 第91页第15页 47J25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Adjé}等人，《数学杂志》。分析。申请。410，编号1，227--240（2014；Zbl 1309.47057）
全文： 内政部 arXiv公司
阿萨勒阿杰;斯特凡·高伯特;埃里克·古堡

将策略迭代与半定松弛耦合，以计算静态分析中的精确数值不变量。 （英语） Zbl 1237.68054号

日志。方法计算。科学。 8，第1期，第1号论文，32页（2012年）.
MSC公司：68纳米30 90立方厘米20 90C22型 90C25型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Adjé｝等人，日志。方法计算。科学。8，第1号，第1号文件，第32页（2012年；Zbl 1237.68054）
全文： arXiv公司
泽维尔·阿拉米吉恩;斯特凡·高伯特;埃里克·古堡

热带双重描述法。 （英语） Zbl 1230.52024号

Marion，Jean-Yves（编辑）等人，STACS 2010。第27届计算机科学理论方面国际研讨会，法国南希，2010年3月4-6日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-16-3）。LIPIcs–莱布尼茨国际信息学会议录5，47-58，仅电子版（2010年）。
MSC公司：52号B10 14T05号 第52页第55页 52A01型 15A80型
PDF格式BibTeX公司 XML格式引用
\textit{X.Allamigeon}等人，LIPIcs——莱布尼茨国际程序。通知。5、47-58（2010年；Zbl 1230.52024）
全文： 内政部 链接
阿萨勒阿杰;斯特凡·高伯特;埃里克·古堡

将策略迭代与半定松弛耦合，以计算静态分析中的精确数值不变量。 （英语） Zbl 1260.68082号

Andrew D.Gordon（编辑），《编程语言和系统》。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会（ESOP 2010），是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。计算机科学课堂讲稿6012，23-42（2010）。
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{A.Adjé}等人，Lect。注释计算。科学。6012、23-42（2010年；Zbl 1260.68082）
全文： 内政部
泽维尔·阿拉米吉恩;斯特凡·高伯特;埃里克·古堡

使用max-plus多面体推断最小和最大不变量。 （英语） Zbl 1149.68346号

Alpunte，María（编辑）等人，《静态分析》。2008年7月16日至18日在西班牙巴伦西亚举行的2008年SAS第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69163-1/pbk）。计算机科学课堂讲稿5079189-204（2008）。
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{X.Allamigeon}等人，Lect。注释计算。科学。5079、189--204（2008年；Zbl 1149.68346）
全文： 内政部
斯蒂芬·高伯特;埃里克·古堡;安库尔·塔利;莎拉·泽诺

通过关系域上的策略迭代进行静态分析。 （英语） Zbl 1187.68151号

De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421237-252（2007）。
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{S.Gaubert}等人，Lect。注释计算。科学。4421，237--252（2007；Zbl 1187.68151）
全文： 内政部
科斯坦，A。;S·高伯特。;古堡，E。;马特尔，M。;推杆，S。

程序静态分析中计算不动点的策略迭代算法。 （英语） Zbl 1081.68616号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576462-475（2005）。
MSC公司：60年第68季度 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Costan}等人，Lect。注释计算。科学。3576、462--475（2005；Zbl 1081.68616）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件