Affiliation:
1. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference15 articles.
1. [1] B. Li, M. Wang, Y. Zhao, G. Pu, H. Zhu, and F. Song, “Modeling and verifying google file system,” 2015 IEEE 16th International Symposium on High Assurance Systems Engineering, pp.207-214, IEEE, 2015. 10.1109/hase.2015.38
2. [2] W. Xie, H. Zhu, X. Wu, S. Xiang, J. Guo, and P.C. Vinh, “Modeling and verifying hdfs using process algebra,” Mobile Networks and Applications, vol.22, no.2, pp.318-331, 2017. 10.1007/s11036-017-0812-2
3. [3] S.A. Weil, “Ceph: reliable, scalable, and high-performance distributed storage,” Ph.D. thesis, University of California, Santa Cruz, 2007.
4. [4] X. Shi, Y. Ji, H. Xie, and Y. Lu, “A prefetching mechanism based on moosefs,” International Conference on Trustworthy Computing and Services, pp.146-153, Springer, 2013. 10.1007/978-3-662-43908-1_19
5. [5] S.A. Weil, S.A. Brandt, E.L. Miller, D.D. Long, and C. Maltzahn, “Ceph: A scalable, high-performance distributed file system,” Proc. 7th Symposium on Operating systems design and implementation, pp.307-320, 2006.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation;IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society;2023-10-16
2. Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12