中国科学院计算技术研究所机构知识库

浏览/检索结果: 共2条，第1-2条

帮助

限定条件	资助项目：National Natural Science Foundation of China (NSFC)[61303052]

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	Using Local Clocks to Reproduce Concurrency Bugs 期刊论文 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 卷号: 44, 期号: 11, 页码: 1112-1128 作者:  Wang, Zhe;  Wu, Chenggang;  Yuan, Xiang;  Wang, Zhenjiang;  Li, Jianjun;  Yew, Pen-Chung;  Huang, Jeff;  Feng, Xiaobing;  Lan, Yanyan;  Chen, Yunji;  Lai, Yuanming;  Guan, Yong 收藏  |  浏览/下载：73/0  |  提交时间：2019/08/16 Concurrency  bug reproducing  local clock
	HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines 期刊论文 ACM SIGPLAN NOTICES, 2015, 卷号: 50, 期号: 7, 页码: 53-64 作者:  Wang, Zhe;  Li, Jianjun;  Wu, Chenggang;  Yang, Dongyan;  Wang, Zhenjiang;  Hsu, Wei-Chung;  Li, Bin;  Guan, Yong 收藏  |  浏览/下载：57/0  |  提交时间：2019/12/13 Management  Measurement  Performance  Design  Experimentation  Security  memory virtualization  cross-ISA virtualization  Embedded Shadow Page Table  HSPT  Hosted Shadow Page Table  practical implementation  loadable kernel module  Security  Portability