《理论计算机科学》第496卷
第496卷,2013年7月
阿乔伊·库马尔·达塔 , Stéphane Devismes :
前言。 1
阿比纳夫·梅塔 , 沙申克·阿格拉瓦尔 , 坎南·斯里纳坦 :
完美性、同步性和连接性之间的相互作用:可靠消息传输的情况。 2-16 陈静舒 , Sandeep S.Kulkarni :
MR4UM:一个向UML状态图添加容错的框架。 17-33 卡罗尔·德尔波特(Carole Delport-Gallet) , Hugues Fauconnier先生 , Hung Tran-The公司 :
拜占庭同意在同步系统中使用同音异义词。 34-49 阿里·埃布纳西尔 , 雷扎·哈吉什基 , Sandeep S.Kulkarni公司 :
促进事务级SystemC程序中的容错设计。 50-68 索蒂里斯·肯特罗斯 , 阿格洛斯·凯亚斯 :
以近乎最优的效率解决了最大值问题。 69-88 阿兰·库尼尔 , 斯旺·杜布瓦 , 阿尼萨·拉马尼 , 弗兰克·佩蒂特 , 文森特·维廉 :
树形拓扑结构上的快速稳定消息转发算法。 89-112 兰扬·帕尔 , 潘慧 :
云服务市场的经济模型:定价和容量规划。 113-124 萨提亚·佩里 , K.维迪亚桑卡 :
事务性内存系统中并发执行封闭嵌套事务的正确性。 125-153 泰勒·克莱恩 , 达米安·伊姆斯 , 米歇尔·雷纳尔 :
面向基于事务的多进程程序的通用构造。 154-169 桑托斯 , 安德烈·希珀 :
通过批处理和流水线优化Paxos。 170-183 Guy偶数 , Moti Medina公司 , 格雷戈·沙夫拉思 , 斯特凡·施密德 :
虚拟网络的竞争性和确定性嵌入。 184-194