搜索筛选:
搜索耗时0.4422秒,为你在为你在102,267,441篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：石存沣,
来源：北京化工大学 年份：2015
多核处理器的出现使得多线程技术发展迅速,多线程并发程序的软件质量保障受到业界的普遍关注。多线程并发程序由于线程调度序列(Thread Scheduling Sequence, TSS)的不同,使...
[会议论文] 作者：石存沣,赵瑞莲,李征,
来源：第八届全国测试学术会议 年份：2014
多线程并发程序由于线程执行顺序的不确定性,使得并发程序测试变得异常困难.线程调度序列是多线程并发程序测试的关键.针对并发程序,本文定义了同步对及全同步对覆盖准则,给出了一个同步对—线程关联图构建方法,并提出了一种基于全同步对覆盖的线程调度序列生成......
[期刊论文] 作者：石存沣,李征,郭俊霞,赵瑞莲,,
来源：计算机应用 年份：2015
针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;在此基础上,生成满足APSC的......
[会议论文] 作者：陈玉博,朱群雄,石存沣,王瑜,王肖磊,
来源：第一届北京化工大学大学生创新创业论坛 年份：2012
计算机对于自然语言的理解是一个很重要的课题,基于语料库的计算机智能语义分析与研究是其中一个方面.伴随着简单初等语料库的搭建,计算机能初步的理解自然语言的相关语义,在...
相关搜索：
