【摘 要】
：
多线程执行过程中的不确定性和异步性，导致测试并发程序的正确性相当困难。基于不确定测试方法上，提出了一个改进的并发程序正确性测试方法。通过激化并发程序的资源竞争来发现
【机 构】
：
广东工业大学计算机学院,广东工业大学网络信息与现代教育技术中心
论文部分内容阅读
多线程执行过程中的不确定性和异步性，导致测试并发程序的正确性相当困难。基于不确定测试方法上，提出了一个改进的并发程序正确性测试方法。通过激化并发程序的资源竞争来发现潜在的并发错误，从而测试并发程序的正确性。实验结果表明，使用该测试方法可以更加精确地发现并发程序产生的错误并有效地提高并发正确性测试的效率。
其他文献
笔者结合《数字电路EDA设计》课程教学的体会,论述了该课程特点和任务驱动式教学法,并说明了将该教学法引入到本门课程教学中的重要性,并以实例的形式详尽说明该教学法在本课
摘要：高职教师的教学技能与素质已经成为制约高职教育发展的“瓶颈”因素，因此，应从高职教师应具备的教学技能与基本素质的角度出发，探讨教师自我发展、学校培训与培养相结合的新思路，造就一批适合时代要求的知识型、技能型、研究型教师。 关键词：高职教师；技能与素质；培养 迅猛发展的高职教育对教师队伍的质量与数量提出了挑战，高职教师的教学技能与素质逐渐成为高职教育的热点而受到重视。为适应我国经济、社会
摘要：人文素质教育包括对学生人文素质的培养和为培养这种素质所设置的学科与教育模式。民办高校应当转变观念，充分认识人文素质教育的重要性，深化教学改革，切实加强人文素质教育，促进学生全面发展。 关键词：民办高校；人文素质；教育模式 “人文”一词，最早见于中国古籍《易经》。其中说到“关乎天文，以察时变；关乎人文，以化成天下。”这里的“人文”，就是人类创造的文化，它是人类实践能力、方式及成果的总称
目的研究多层螺旋CT（MSCT）对2cm以下的周围型肺癌及炎性结节的临床诊断价值。方法选取2014年12月至2016年12月经病理以及临床检查确诊为2cm以下的周围型肺癌患者86例与炎性结节
针对无线传感器网络节点稀疏时会产生定位盲区的问题,在研究经典AOA(三角测量法)算法的基础上,提出了一种改进的无线传感器网络自定位算法,在节点自身基准线相对于绝对坐标轴夹角已知的情况下,未知节点只需一个邻居锚节点就能实现自定位.仿真实验证明,在节点数相同的情况下,改进的无线传感器网络自定位算法相比于经典AOA算法,有更高的有效定位率和更低的平均定位误差,适用于节点稀疏的网络环境.
主要阐述了压缩感知的基本原理，介绍了压缩感知的3个基本问题：信号的稀疏表示、稀疏基与测量矩阵的不相关性和信号的重构，分析了它与盲信号分离之间的联系，为解决盲信号分离问题
目的观察颈动脉内膜切除术（CEA）后对侧颈内动脉变化情况。方法回顾性分析127例因一侧颈内动脉高度狭窄而实施CEA病人的临床资料,每隔1年行1次双侧颈动脉超声检查,定期检查双侧
目的探讨沉默原癌基因Bmi-1（B-cell-specific moloney murine leukemia virus integration site 1）对人小细胞肺癌NCI-H345细胞凋亡的影响及其可能的作用机制。方法将NCI-H345
摘要：笔者凭借多年教务管理经验，总结了加强教务管理队伍建设的措施。教务管理人员应注重自身素质的提高。学校则要加强管理，建立起教务管理人员的激励机制，调动教务管理人员的工作积极性。 关键词：教学管理；队伍建设 教务管理人员应注重自身素质的提高 教务管理工作是高等院校各项管理工作的核心。教务管理工作的成效，很大程度上取决于教务管理队伍人员的整体素质。因此，要提高教学质量，就必须提高教务管
行政单位是指行使国家权力，管理国家事务，维护社会公共秩，进行各项行政管理工作的政府机构。行政单位的资金来源于家预算拨款，运用于行政管理任务，虽然无需偿还，但必须加强理、搞好