HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 并发程序论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
并发程序数据竞争检测方法研究和分析第171-173页
关键词: 并发程序  数据竞争  检测方法  
2019年第12期 《信息技术与信息化》
基于事件图的并发软件测试第5-9页
关键词: 软件测试  并发程序  事件图  
2007年第S1期 《工程科学与技术》
Monitorl的前世今生第116-120页
关键词: 并发程序  并发执行  同步  线程  程序员  阻塞式  实体  
2014年第10期 《程序员》
Java并发程序的单元测试第104-107页
关键词: 单元测试  并发程序  java  测试策略  mtc  
2007年第10期 《程序员》
并发Java程序同步操作的有效删除第1708-1716页
关键词: 并发程序  程序分析  escape分析  同步删除  
2005年第10期 《软件学报》
μC／OS-Ⅱ中扩充任务数的方法第70-71页
关键词: 任务数  操作系统  cpu  并发程序  任务调度  增加  用户  发展  
2004年第10期 《单片机与嵌入式系统应用》
基于访问对的有害数据竞争定位方法第712-718页
关键词: 数据竞争  错误定位  并发程序  
2017年第06期 《信息工程大学学报》
并发缺陷检测技术研究进展第13-20页
关键词: 并发程序  并发缺陷  缺陷检测  软件测试  
2019年第05期 《计算机科学》
多线程并发程序数据竞争修复方法的研究第58-59页
关键词: 并发程序  数据竞争  抽象语法树  重构  
2019年第03期 《数字技术与应用》
并发程序内部表示及静态切片算法的改进第1295-1298页
关键词: 并发程序  程序依赖图  区域化执行证据  
2005年第12期 《西安交通大学学报》
基于测试充分性准则的非死锁并发缺陷定位方法第195-201页
关键词: 并发程序  软件测试  软件缺陷定位  
2017年第11期 《计算机科学》
一种粗粒度并发程序切片方法第1-3页
关键词: ada  并发程序  程序切片  程序分析  petri网  
2004年第10期 《微电子学与计算机》
基于Java语言的多线程同步机制第42-45页
关键词: java语言  程序设计  并发程序  多线程  同步机制  
2004年第01期 《电脑编程技巧与维护》
Unix下的并发处理模式第42-44页
关键词: unix  并发处理模式  分派  并发程序  
2004年第05期 《现代电子技术》
面向收敛的并发程序执行轨迹静态简化方法第1107-1117页
关键词: 并发程序  执行轨迹  轨迹等价  轨迹简化  调试  
2017年第05期 《软件学报》
一种基于程序可达图的并发程序依赖性分析方法第287-291页
关键词: 并发程序  可达性分析  依赖性分析  程序切片  
2007年第02期 《电子学报》
互斥并发程序的程序切片算法研究第79-82页
关键词: 程序切片  互斥  并发程序  
2007年第01期 《计算机工程与科学》
多线程程序数据竞争的静态检测第329-335页
关键词: 并发程序  程序分析  数据竞争  别名分析  
2006年第02期 《计算机研究与发展》
基于EE—CSPE约束的并发程序测试第1240-1244页
关键词: 软件测试  并发程序  事件约束cspe  
2007年第07期 《小型微型计算机系统》
一种改进的用于并发程序静态切片的程序依赖图第6-10页
关键词: 程序依赖图  
2006年第01期 《微电子学与计算机》
期刊导航