查看“用户:Hengfeng-Wei”的源代码
←
用户:Hengfeng-Wei
跳转至:
导航
、
搜索
因为以下原因,你没有权限编辑本页:
您所请求的操作仅限于这些用户组的用户使用:
管理员
、editor
您可以查看并复制此页面的源代码:
= Profile = Hengfeng Wei (魏恒峰) Contact: [mailto:hengxin0912@gmail.com hengxin0912@gmail.com] = Publications = '''Hengfeng Wei''', Yu Huang, Jian Lu. Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems. In ''IEEE Trans. Comput.'', xx(x):x--x , PrePrints, doi:10.1109/TC.2016.2601322, 2016. '''Hengfeng Wei''', Marzio De Biasi, Yu Huang, Jiannong Cao, and Jian Lu. Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas. In ''IEEE Trans. Parallel Distrib. Syst.'', 27(5):1511--1523, 2016. '''Hengfeng Wei''', Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu. Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context. In ''Proceedings of the 10th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom '12)'', pages 30--38, 2012. = Links = - [https://github.com/hengxin hengxin@GitHub]: Open source projects - [https://bitbucket.org/hengxin/ hengxin@Bitbucket]: Private repositories for unpublished papers and reports. - [http://hengxin.github.io/ hengxin@github.io]: A blog hosted on GitHub - [http://stackexchange.com/users/2055160 hengxin@StackExchange]
返回至
用户:Hengfeng-Wei
。
导航菜单
个人工具
登录
命名空间
用户页
讨论
变种
视图
阅读
查看源代码
查看历史
更多
搜索
导航
首页
最近更改
随机页面
帮助
工具
链入页面
相关更改
用户贡献
日志
特殊页面
页面信息