CSpace

浏览/检索结果: 共7条,第1-7条 帮助

  只显示已认领条目
已选(0)清除 条数/页:   排序方式:
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
收藏  |  浏览/下载:81/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
收藏  |  浏览/下载:64/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  
二进制翻译系统中信号处理机制的研究 期刊论文
高技术通讯, 2015, 卷号: 000, 期号: 006, 页码: 543
作者:  远翔;  武成岗;  王振江
收藏  |  浏览/下载:11/0  |  提交时间:2023/12/04
用户级二进制翻译(BT)  信号处理  多线程框架  信号隔离  
动态容忍和检测非对称数据竞争 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 008, 页码: 1748
作者:  王文文;  武成岗;  Paruj Ratanaworabhan;  远翔;  王振江;  李建军;  冯晓兵
收藏  |  浏览/下载:12/0  |  提交时间:2023/12/04
非对称数据竞争  容忍和检测  写缓冲区  页保护  动态二进制插桩  
二进制翻译中标志位的模式化翻译方法 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 010, 页码: 2336
作者:  王文文;  武成岗;  白童心;  王振江;  远翔;  崔慧敏
收藏  |  浏览/下载:12/0  |  提交时间:2023/12/04
二进制翻译  标志位寄存器  标志位翻译  标志位模式  代码优化  
提高堆数据局部性的动态池分配技术 期刊论文
计算机学报, 2011, 卷号: 34.0, 期号: 004, 页码: 665
作者:  王振江;  武成岗;  张兆庆
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
池分配  变长调用链  亲缘性  数据布局  动态优化  
无权访问的条目 学位论文
作者:  王振江
Adobe PDF(2801Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/08/26