×

兹马思-数学第一资源

概率网络。(英语) Zbl 1335.68027
蒂曼,彼得(编辑),《编程语言与系统》。第25届欧洲编程研讨会,ESOP 2016,作为欧洲软件理论与实践联合会议的一部分,2016年4月2日至8日,荷兰埃因霍温,2016年ETAPS。诉讼程序。柏林:斯普林格(ISBN 978-3-662-49497-4/pbk;978-3-662-49498-1/电子书)。计算机科学课堂讲稿9632,282-309(2016)。
摘要:本文提出了一种基于概率语义的网络编程语言。我们在netkattlanguage的基础上扩展了表示概率行为的原语,并将其语义从基于确定性函数的语义扩展到基于包历史集的可测函数语义。我们建立了语义的基本性质,证明了它是确定性语义的保守扩展,证明了它满足一些自然方程,并发展了一个近似的概念。我们提出了一些案例研究,展示了如何使用该语言对从现实世界网络中提取的各种场景进行建模。
整个系列请参见[Zbl 1333.68019号].

理学硕士:
68N15 程序设计语言理论
68问55 计算理论中的语义学
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Anderson,C.,Foster,N.,Guha,A.,Jeannin,J.,Kozen,D.,Schlesinger,C.,Walker,D.:NetKAT:网络的语义基础。输入:POPL 2014,ACM(2014)·兹布1284.68100
[2] Borgström,J.,Gordon,A.D.,Greenberg,m.,Margetson,J.,Van Gael,J.:用于贝叶斯机器学习的度量变换器语义。摘自:Barthe,G.(编辑),2011年员工持股计划。LNCS,第77卷,第6602页。斯普林格,海德堡(2011)·Zbl 1326.68217
[3] Bosshart,P.,Daly,D.等人:P4:编程协议无关的包处理器。ACM SIGCOMM计算机。公社。版次。44(3),87–95(2014年)
[4] Cattani,S.,Segala,R.:概率互模拟的决策算法。In:Brim,L.,Jančar,P.,Křetínský,M.,Kučera,A.(编辑),CONCUR 2002年。LNCS,第2421卷,第371-385页。斯普林格,海德堡(2002)·Zbl 1012.68127
[5] 郑:概率论课程,第二版。纽约学术出版社(1974)·Zbl 0345.60003
[6] Cruz,R.:网络延迟的微积分,第一部分和第二部分。IEEE传输。基础理论。第37卷第1期,第114-141页(1991年)·Zbl 0712.94028
[7] Demers,A.,Gealy,M.,Greene,D.,Hauser,C.,Irish,W.,Larson,J.,Manning,S.,Shenker,S.,Sturgis,H.,Swinehart,D.,Terry,D.,Woods,D.:复制数据库维护的流行病算法。在:PODC 1987,ACM(1987)
[8] Desharnais,J.,Edalat,A.,Panangaden,P.:标记马尔可夫过程的交互模拟。信息计算机。179(2),163–193(2002年)·Zbl 1096.68103
[9] Desharnais,J.,Gupta,V.,Jagadeesan,R.,Panangaden,P.:标记马尔可夫过程的度量。理论。计算机。科学。318(3),323–354(2004年)·Zbl 1068.68093
[10] 随机关系:马尔可夫转移系统的基础。信息学研究。查普曼大厅,纽约(2007年)·Zbl 1137.60002号
[11] Foster,N.,Harrison,R.,Freedman,M.,Monsanto,C.,Rexford,J.,Story,A.,Walker,D.:狂热:一种网络编程语言。在:2011年国际财务计划,ACM(2011年)·Zbl 1323.68114号
[12] Foster,N.,Kozen,D.,Milano,M.,Silva,A.,Thompson,L.:NetKAT的煤炭决策程序。在:POPL 2015,ACM(2015)·Zbl 1346.68132
[13] Foster,N.,Kozen,D.,Mamouras,K.,Reitblatt,M.,Silva,A.:概率NetKAT(完整版)。http://hdl.handle.net/1813/40335·Zbl 1335.68027
[14] Gill,P.,Jain,N.,Nagappan,N.:理解数据中心中的网络故障:测量、分析和影响。输入:SIGCOMM 2011,ACM(2011)
[15] Gordon,A.,Henzinger,T.,Nori,A.,Rajamani,S.:概率规划。在:ICSE 2014,IEEE(2014)
[16] Gretz,F.,Jansen,N.,Kaminski,B.,Katoen,J.,McIver,A.,Olmedo,F.:概率规划中的条件作用。MFPS 2015电子版。理论笔记。计算机。科学。319199–216(2015年)·Zbl 1351.68066
[17] Halmos,P.R.:测量理论。范诺斯特朗,纽约(1950)·Zbl 0040.16802
[18] 蒋勇:一个基本的随机网络演算。输入:SIGCOMM 2006,ACM(2006)
[19] 琼斯,C.:概率不确定性。博士。论文,爱丁堡大学(1990)
[20] Jonsson,B.,Larsen,K.G.:概率过程的规范和精化。In:LICS 1991,IEEE(1991)
[21] Kazemian,P.,Varghese,G.,McKeown,N.:头空间分析:网络的静态检查。输入:NSDI 2012,USENIX(2012)
[22] Khurshid,A.,Zou,X.,Zhou,W.,Caesar,M.,Godfrey,P.:VeriFlow:实时验证网络范围的不变量。在:NSDI 2013,USENIX(2013)
[23] Kozen,D.:概率程序的语义。JCSS 22,328–350(1981年)·Zbl 0476.68019
[24] Kozen,D.:概率PDL。JCSS 30(2),162–178(1985年)·Zbl 0575.03013
[25] Kozen,D.:Kleene代数与测试。托普拉斯19(3),427–443(1997)·Zbl 0882.03064
[26] 帕纳格达尔马科维恩·斯特朗。在:Chatterjee,K.,Sgall,J.(编辑),MFCS 2013。LNCS,第8087卷,第655-666页。斯普林格,海德堡(2013)·Zbl 06210010
[27] Kwiatkowska,M.,Norman,G.等:概率时间自动机的符号模型检验。信息计算机。205(7),1027–1077(2007年)·Zbl 1122.68075
[28] Larsen,K.G.,Mardare,R.,Panangaden,P.:极限:马尔可夫过程的近似推理。在:Rovan,B.,Sassone,V.,Widmayer,P.(编辑),MFCS 2012。LNCS,第7464卷,第681-692页。斯普林格,海德堡(2012)·Zbl 1365.68344号
[29] Larsen,K.,Skou,A.:通过概率测试进行交互模拟。信息计算机。94456–471(1991年)·Zbl 0756.68035
[30] Le Boudec,J.,Thiran,P.:网络微积分:互联网确定性排队系统理论。斯普林格·维拉格,海德堡(2001)·Zbl 0974.90003号
[31] McIver,A.,Cohen,E.,Morgan,C.,Gonzalia,C.:使用概率Kleene代数pKA进行协议验证。JLAP 76(1),90–111(2008)·Zbl 1148.68034
[32] McIver,A.,Morgan,C.:概率系统的抽象、精化和证明。斯普林格,纽约(2005)·Zbl 1069.68039
[33] McKeown,N.,Anderson,T.等人:开放流:促进校园网的创新。SIGCOMM CCR 38(2),69–74(2008年)·Zbl 05395592
[34] Medina,A.,Taft,N.,Salamatian,K.,Bhattacharyya,S.,Diot,C.:流量矩阵估计:现有技术和新方向。输入:SIGCOMM 2002,ACM(2002)
[35] 孟山都,C.,Reich,J.,Foster,N.,Rexford,J.,Walker,D.:构建软件定义的网络。在NSDI 2013,USENIX(2013)
[36] Morgan,C.,McIver,A.,Seidel,K.:概率谓词变换器。托普拉斯18(3),325–353(1996年)
[37] Nelson,T.,Ferguson,A.,Scheer,M.,Krishnamurthi,S.:软件定义网络的无层编程和推理。输入:NSDI 2014,USENIX(2014)
[38] Panangaden,P.:概率关系。在:蒙特利尔麦吉尔大学计算机科学学院,第59-74页(1998年)
[39] 帕南加登,P.:标记马尔可夫过程。帝国理工学院出版社,伦敦(2009)·Zbl 1190.60001
[40] Paz,A.:概率自动机导论。学术出版社,奥兰多(1971)·Zbl 0234.94055
[41] Ramshaw,L.H.:算法分析的形式化。博士。毕业论文,斯坦福大学(1979)
[42] 测量理论与积分。Wiley Interscience,纽约(1987)·Zbl 0619.28001号
[43] Roy,D.:概率规划中的可计算性、推理和建模。博士。论文,麻省理工学院(2011)
[44] Saheb Djahromi,N.:概率LCF。In:Winkowski,J.(编辑),《计算机科学数学基础》,1978年。计算机科学课堂讲稿,第64卷,第442-451页。斯普林格,海德堡(1978)
[45] Segala,R.:并发操作模型中的概率与不确定性。在:Baier,C.,Hermanns,H.(编辑),CONCUR 2006年。LNCS,第4137卷,第64-78页。斯普林格,海德堡(2006)·Zbl 1151.68553
[46] Segala,R.,Lynch,N.A.:概率过程的概率模拟。新泽西C250–273(1995年)·Zbl 0839.68067
[47] Smolka,S.,Eliopoulos,S.,Foster,N.,Guha,A.:NetKAT的快速编译器。在:ICFP 2015,ACM(2015)·Zbl 1360.68352
[48] Tix,R.,Keimel,K.,Plotkin,G.:结合概率和不确定性的语义域。ENTCS 222,3–99(2009年)·Zbl 1271.68005
[49] 一种并行通信方案。暹罗J.计算机。11(2),350–361(1982年)·Zbl 0478.94034
[50] Varacca,D.,Winskel,G.:非决定论上的概率分布。数学。结构。计算机。科学。第16卷第1期,第87-113页(2006年)·Zbl 1093.18002号
[51] Voellmy,A.,Wang,J.,Yang,Y.,Ford,B.,Hudak,P.:Maple:使用算法策略简化SDN编程。输入:SIGCOMM(2013)
[52] Zeng,H.,Zhang,S.,et al.:Libra:在巨大网络中验证转发表的分而治之。输入:NSDI(2014)
[53] Rui,Z.-S.,McKeown,N.:设计一个具有有效负载平衡的可预测互联网主干网。摘自:de Meer,H.,Bhatti,N.(编辑),IWQoS 2005。LNCS,第3552卷,第178-192页。斯普林格,海德堡(2005)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。