×

找到279份文件(结果1-100)

100
马查克斯

参数时间自动机循环检测的迭代有界综合。 (英语) Zbl 1467.68078

Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS2021,卢森堡市,2021年3月27日至4月1日。会议记录。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651、311-329(2021年)。
理学硕士:68Q45号 68R10型 68周05分
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用随机调度检验复制系统的定性活性。 (英语) Zbl 1478.68147

Lahiri,Shuvendu Kumar(编辑)等人,计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21-24日。会议记录。第二部分。查姆:斯普林格。选择。笔记计算。科学。12225372-397(2020年)。
PDF格式 BibTeX公司 XML 引用

可逆计算的公理化方法。 (英语) Zbl 07250951

Goubault Larrecq,Jean(ed.)等人,《软件科学与计算结构基础》。第23届国际会议,Fossac2020,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2020,爱尔兰都柏林,2020年4月25-30日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12077442-461(2020年)。
理学硕士:68牛顿 68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部

基于异质核的卷积神经网络人脸活性检测。 (英语) Zbl 07240058

潘林强(编)等,《生物启发计算:理论与应用》。第14届国际会议,2019年11月22日至25日,中国郑州,BIC-TA,修订论文集。第二部分。新加坡:斯普林格。公社。计算机。信息科学。1160381-392(2020年)。
理学硕士:2007年第68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部

速度无关的互斥是否可以实现?(特邀演讲)。 (英语) Zbl 07378547

Schewe,Sven(ed.)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4日至7日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。118,第3条,第1页(2018年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

电子投票公告板的安全性。 (英语) Zbl 06957570

Catalano,Dario(ed.)等人,《网络安全与加密》。第11届国际会议,SCN 2018,意大利阿马尔菲,2018年9月5日至7日。会议记录。查姆:斯普林格。选择。笔记计算。科学。11035505-523(2018年)。
理学硕士:68页25页 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

关于加权Petri网子类的活性和死锁性。 (英语) Zbl 1393.68119号

van der Aalst,Wil(ed.)等人,Petri网与并发的应用与理论。第38届国际会议,2017年6月25-30日,西班牙萨拉戈萨,PETRI网,2017年。会议记录。查姆:斯普林格(ISBN 978-3-319-57860-6/pbk;978-3-319-57861-3/电子书)。计算机科学课堂讲稿10258267-287(2017)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部 哈尔

击退围棋:基于频道编程的活跃性和安全性。 (英语) 兹布1380.68298

Castagna,Giuseppe(ed.)等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,2017年1月15日至21日,法国巴黎,2017年,纽约:计算机械协会(ACM)(ISBN 978-1-4503-4660-3)。748-761(2017年)。
理学硕士:6885年 68N15 68N30型
PDF格式 BibTeX公司 XML 引用

一种用于擦除编码一致性分布式存储的分层体系结构。 (英语) Zbl 1380.68054

2017年ACM分布式计算原理研讨会论文集,PODC'17,华盛顿特区,美国,2017年7月25-27日。纽约:计算机械协会(ACM)(ISBN 978-1-4503-4992-5)。63-72(2017年)。
PDF格式 BibTeX公司 XML 引用

开放Petri网的位互模拟与活性。 (英语) Zbl 1393.68113

马丁等著,《可靠软件工程:理论、工具和应用》。第二届国际研讨会,SETTA 2016,中国北京,2016年11月9-11日。会议记录。查姆:斯普林格(ISBN 978-3-319-47676-6/pbk;978-3-319-47677-3/电子书)。计算机科学课堂讲稿9984,1-17(2016)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

为什么时间自动机的活力是困难的,以及我们能做些什么。 (英语) Zbl 1391.68071

Lal,Akash(ed.)等人,《第36届IARC软件技术和理论计算机科学基础年会》(FSTTCS 2016),印度钦奈,2016年12月13-15日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第48条,第14页。(2016年)。
理学硕士:68Q45号 68问25 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

使用敌对调度程序确保平均恢复。 (英语) 兹布1380.68115

Anceaume,Emmanuelle(ed.)等人,《第19届分布式系统原理国际会议》,OPODIS 2015,法国雷恩,2015年12月14-17日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-98-9)。LIPIcs–莱布尼茨国际信息学论文集46,第23条,第18页(2016年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

关于相对和概率有限可反性。 (英语) Zbl 1373.68288号

Kreutzer,Stephan(编辑),第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL'15,柏林,德国,2015年9月7-10日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-90-3)。LIPIcs–莱布尼茨国际信息学论文集41,175-192(2015)。
理学硕士:68Q60型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

分布式计算中的安全活性排除。 (英语) Zbl 1333.68049

2015年ACM分布式计算原理研讨会论文集,PODC'15,多诺西亚圣塞巴斯蒂安,西班牙,2015年7月21-23日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3617-8)。227-236(2015年)。
理学硕士:68米14 68问10
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

CafeOBJ中的活性属性-元级规范的案例研究。 (英语) Zbl 1457.68066

Proietti,Maurizio(ed.)等人,基于逻辑的程序综合与转换。第24届国际研讨会,2014年9月9日至11日,英国坎特伯雷,LOPSTR,修订论文选集。查姆:斯普林格。选择。笔记计算。科学。8981182-198(2015年)。
理学硕士:68N30型 68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部

活等冲突Petri网的可逆性。 (英语) Zbl 1364.68287号

Devillers,Raymond(ed.)等人,Petri网和并发的应用和理论。第36届国际会议,2015年6月21日至26日,比利时布鲁塞尔,PETRI网,会议记录。查姆:斯普林格(ISBN 978-3-319-19487-5/pbk;978-3-319-19488-2/电子书)。计算机科学课堂讲稿9115234-253(2015)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

锚定LTL分离。 (英语) Zbl 1394.03034号

EACSL第二十三届计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑研讨会联席会议记录,2014年7月14日至18日,奥地利维也纳,加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第74号论文,第9页(2014年)。
理学硕士:03B44号 03D05年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

可能是安全的还是活着的。 (英语) Zbl 1394.68231

EACSL第二十三届计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑研讨会联席会议记录,2014年7月14日至18日,奥地利维也纳,加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第55号文件,第10页(2014年)。
PDF格式 BibTeX公司 XML 引用

Büchi自动机的抽象解释。 (英语) Zbl 1401.68162

EACSL第二十三届计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑研讨会联席会议记录,2014年7月14日至18日,奥地利维也纳,加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第51号文件,第10页(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

公平的反应式编程。 (英语) 兹布1284.68127

第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL'14。纽约:计算机械协会(ACM)(ISBN 978-1-4503-2544-8)。361-372(2014年)。
理学硕士:68N18 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

证明锁自由度的定量推理。 (英语) Zbl 1366.68171

2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集,2013年6月25日至28日,美国路易斯安那州新奥尔良杜兰大学,2013年6月25日至28日。加利福尼亚州洛斯阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。124-133(2013年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

具有活性保证的函数式反应式程序设计。 (英语) 兹布1323.68125

第18届ACM SIGPLAN函数式编程国际会议论文集,ICFP'13,波士顿,马萨诸塞州,美国,2013年9月25-27日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-2326-0)。ACM SIGPLAN公告48,第9号,233-244(2013年)。
理学硕士:68N18
PDF格式 BibTeX公司 XML 引用
全文: 内政部

混合系统必然性的Lyapunov抽象。 (英语) Zbl 1361.68145

第15届ACM混合系统国际会议论文集:计算与控制,HSCC 2012,北京,2012年4月17-19日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-1220-2)。115-123(2012年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

关于事务性内存的活跃性。 (英语) Zbl 1301.68089

2012年ACM分布式计算原理研讨会论文集,PODC'12,葡萄牙Funchal,2012年7月16-18日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-1450-3)。2012年9月18日。
理学硕士:68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

用于证明连续系统活性的动态驱动时间自动机抽象。 (英语) Zbl 1375.68072

Jurdzinnski,Marcin(ed.)等人,《时间系统的形式化建模与分析》。第10届国际会议,2012年9月18日至20日,英国伦敦。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿759559-74(2012)。
理学硕士:68Q45号 37B10号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

愚弄一个活性检测电容式指纹扫描仪。 (英语) Zbl 1300.94104

David Naccache(编辑),《密码学与安全:从理论到应用》。在让·雅克·奎斯夸特65岁生日之际献给他的散文。柏林:斯普林格出版社(ISBN 978-3-642-28367-3/pbk)。计算机科学课堂讲稿6805484-490(2012)。
理学硕士:94A62型 68页25页
PDF格式 BibTeX公司 XML 引用
全文: 内政部

验证通信结构的死锁自由度。 (英语) Zbl 1317.68115

Jhala,Ranjit(编辑)等人,验证,模型检查和抽象解释。第12届国际会议,VMCAI 2011,奥斯汀,德克萨斯州,美国,2011年1月23-25日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538214-231(2011)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

关于非对称进展条件。 (英语) Zbl 1315.68029

第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC'10,苏黎世,瑞士,2010年7月25-28日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-60558-888-9)。55-64(2010年)。
理学硕士:68米15 68米14 68度15度
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

用有色Petri网对团队博弈进行建模与仿真。 (英语) Zbl 1231.91043

Mastorakis,N.(编辑)等人,《计算机的最新趋势》。2卷。论文基于2010年7月23日至25日在希腊科孚岛举行的第14届WSEAS国际计算机大会(第14届WSEAS CSCC多会议的一部分)上的演讲。雅典:世界科学与工程学院与社会(WSEAS)(ISBN 978-960-474-206-6/CD-ROM;978-960-474-201-1)。516-520(2010年)。
理学硕士:91A43型
PDF格式 BibTeX公司 XML 引用

用有色Petri网对IT设备到服务单元IT的流程建模。 (英语) Zbl 1231.05258号

Kallel,Ali(ed.)等人,数学方法,计算技术,智能系统。第12届WSEAS国际会议(Mamentis'10),坎托伊,苏塞,突尼斯,2010年5月3-6日。雅典:世界科学与工程学院与社会(WSEAS)(ISBN 978-960-474-191-5/CD-ROM;978-960-474-188-5/hbk)。电气与计算机工程系列。参考书和教科书系列,172-175(2010年)。
理学硕士:05C90型
PDF格式 BibTeX公司 XML 引用

确定虹吸阱性能的新算法。 (英语) 兹布1285.68108

Lilius,Johan(ed.)等人,Petri网的应用和理论。第31届国际会议,2010年6月21-25日,葡萄牙布拉加,PETRI网,会议记录。柏林:斯普林格出版社(ISBN 978-3-642-13674-0/pbk)。计算机科学课堂讲稿6128267-286(2010)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

验证异步程序的活动性。 (英语) Zbl 1315.68064

第36届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2009年1月18-24日,美国佐治亚州萨凡纳市,2009年1月18日至24日,纽约:计算机械协会(ACM)(ISBN 978-1-60558-379-2)。102-113(2009年)。
理学硕士:68N19 68N30型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

证明非阻塞算法不会阻塞。 (英语) Zbl 1315.68093

第36届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2009年1月18-24日,美国佐治亚州萨凡纳市,2009年1月18日至24日,纽约:计算机械协会(ACM)(ISBN 978-1-60558-379-2)。2009年第16-28页。
理学硕士:68N30型 68N15 68N19 68周01分
PDF格式 BibTeX公司 XML 引用
全文: 内政部

与伊莎贝尔/霍尔进行生动的推理。 (英语) Zbl 1252.68198

Berghofer,Stefan(ed.)等人,高阶逻辑中的定理证明。第22届国际会议,TPHOLs 2009,慕尼黑,德国,2009年8月17-20日。柏林:斯普林格出版社(ISBN 978-3-642-03358-2/pbk)。计算机科学课堂讲稿5674485-499(2009)。
理学硕士:68Q60型 6885年 6887年 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

文件类型

审查状态

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

分类

全部的 前3名

软件