“用户:Hengfeng-Wei”的版本间的差异

来自Algorithm Wiki
跳转至: 导航搜索
(fixed syntax for "itemize")
(floating toc)
第1行: 第1行:
 +
<div style="float:right;">__TOC__</div>
 +
 
{{#css:
 
{{#css:
 
     #content { background-color: #ffffe0; }
 
     #content { background-color: #ffffe0; }

2016年10月14日 (五) 10:47的版本


Profile

Hengfeng Wei (魏恒峰)

Contact: hengxin0912@gmail.com

Researches

I am interested in Distributed Computing Theory and Formal Methods.

Publications

  1. Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
  2. Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas
  3. Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context

Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems

 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.
 abstract@IEEE pdf@arXiv (not up-to-date)
[展开]

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas

 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, doi:10.1109/TPDS.2015.2453985
 pdf@IEEE pdf@arXiv(not up-to-date)
[展开]

Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context

 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