排序方式： 共有5条查询结果，搜索用时 31 毫秒
1
1.
并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图,生成以程序状态和语句二元组为节点的并发程序依赖图,实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明,与传统的切片方法相比,采用基于程序可达图的并发程序切片方法,可有效地解决依赖关系不可传递问题,获得高精度的并发程序切片。 相似文献
2.
现代课程的设置是具有很强的实践性与应用性的,首先来说信息技术就是最能体现现代教学特征了,它具有很强的操作性和符合时代的发展脚步。学习思路主要是以循序渐进为主,计算机学习上需要符合其系统的设计理念,就是从浅到深、由表到里的顺序来学习,学生在学习计算机知识的同时也能够很好的在基本技能上得到锻炼。现代新课程改革,要求的学生在学习信息技术方面拥有很强的实践操作能力。 相似文献
3.
基于信息技术环境下的会计控制问题研究 总被引：2，自引：0，他引：2
本文分析了信息技术环境对会计控制的影响,并在此基础上,提出了会计控制应具有的两方面的内容:一是对会计信息质量和会计工作本身的控制;二是对企业生产经营业务和过程的控制.同时,说明了会计控制系统是一个反馈控制过程. 相似文献
4.
1