搜索筛选:
搜索耗时0.0833秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
类      型:
[期刊论文] 作者:Gang Huang,Xiaoxing Ma,Wei-Tek Tsai,, 来源:National Science Review 年份:2014
The Internet,once a network of networks,has become not only the platform of choice for delivering services to increasingly mobile users,but also the connective...
[期刊论文] 作者:Dongjie CHEN,Yanyan JIANG,Chang XU,Xiaoxing MA, 来源:中国计算机科学前沿:英文版 年份:2021
Exploring the interleaving space of a multithreaded program to efficiently detect concurrency bugs is important but also difficult because of the astronomically many thread schedules.This paper presents a novel framework to decompose a thre......
[期刊论文] 作者:Yang CAO,Yanyan JIANG,Chang XU,Jun MA,Xiaoxing MA, 来源:计算机科学前沿 年份:2020
1 IntroductionrnAutomatically generating a limited number of high-quality inputs to reveal bugs,crashes,and hangs becomes a central problem in software testing...
[期刊论文] 作者:Qiwei LI,Chang XU,Yepang LIU,Chun CAO,Xiaoxing MA,Jian LU¨,, 来源:Science China(Information Sciences) 年份:2017
Smartphones are an indispensable part of people’s daily lives. Smartphone apps often use phone sensors to probe their users’ physical environmental conditions...
相关搜索: