CORC

在结果中检索

CORC

浏览/检索结果: 共8条，第1-8条 帮助

已选(0)清除 条数/页：   排序方式：
Using Local Clocks to Reproduce Concurrency Bugs 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 卷号: 44, 期号: 11, 页码: 1112-1128
作者:  Wang, Zhenjiang;  Yuan, Xiang;  Wu, Chenggang;  Wang, Zhe;  Guan, Yong
收藏  |  浏览/下载：29/0  |  提交时间：2019/08/16
Debugging multithreaded programs using symbolic analysis 会议论文
作者:  Zhang, Xiaodong;  Liu, Ting;  Yang, Zijiang
收藏  |  浏览/下载：10/0  |  提交时间：2019/11/26
Plagiarism detection for multithreaded software based on thread-aware software birthmarks 会议论文
作者:  Tian, Zhenzhou;  Zheng, Qinghua;  Liu, Ting;  Fan, Ming;  Zhang, Xiaodong
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/03
基于锁信息的多线程软件原子性错误检测方法 期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 1-4,94
王云飞; 刘剑; 马越
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
Parallel generation of optimal mortgage refinancing threshold rates 会议论文
作者:  Zhang, Nan;  Xie, Dejun;  Lim, Eng Gee;  Wan, Kaiyu;  Man, Ka Lok
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/03
High-level synthesis of multiple dependent CUDA kernels on FPGA 其他
2013-01-01
Gurumani, Swathi T.; Cholakkal, Hisham; Liang, Yun; Rupnow, Kyle; Chen, Deming
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17
language-theoretic abstraction refinement 会议论文
15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24, 2012 - April 1, 2012
Long Zhenyue; Calin Georgel; Majumdar Rupak; Meyer Roland
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22
a cut-off approach for bounded verification of parameterized systems 会议论文
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Yang Qiusong; Li Mingshu
收藏  |  浏览/下载：9/0  |  提交时间：2011/03/31

©版权所有 ©2017 CSpace - Powered by CSpace