Shield synthesis
- 期刊名称Formal Methods in System Design
- 作者Könighofer, Bettina; Alshiekh, Mohammed; Bloem, Roderick; Humphrey, Laura; Könighofer, Robert; Topcu, Ufuk; Wang, Chao
- 卷第51卷
- 期第2期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小1493.98KB
- 发表时间2017-11
- DOI10.1007/s10703-017-0276-9
- 页码332-361
Seamless Paxos coordinatorsVieira, Gustavo M. D.; Garcia, Islene C.; Buzato, Luiz E. · Cluster Computing · 2014
The sandpile schedulerLaredo, J. L. J.; Bouvry, P.; Guinand, F.; Dorronsoro, B.; Fernandes, C. · Cluster Computing · 2014
Efficient load balancing on biswapped networksZhao, Chenggui · Cluster Computing · 2014
Breaking the MapReduce stage barrierAbhishek Verma,Brian Cho,Nicolas Zea,Indranil Gupta… · Cluster Computing · 2013
Mobile, ubiquitous multimedia and digital convergenceKim, Jonghun; Lee, Jungmann · Cluster Computing · 2015
Temporal transaction integrity constraints managementKvet, Michal; Matiaško, Karol · Cluster Computing · 2017
DeepSIC: a deep modelAmin, Muhammad; Tanveer, Tamleek Ali; Shah, Shakirullah; Abdullah, Muhammad; Shafi, Muhammad · Cluster Computing · 2017
Esteemed software patterns for banking systemRajesh, Sudha; Chandrasekar, A. · Cluster Computing · 2017