程序模型相关论文
为了适应顾客大规模定制化的需求,在智能制造、协同制造等模式的基础上,对企业移动制造资源配置这一新型制造模式进行研究,分析了......
在通信系统RNC开发的研发集成及验证阶段，系统仿真起着重要的作用。利用系统仿真，不但可以模拟系统需要的正常硬件环境，还可以模拟出......
软件测试是为了发现错误而执行程序的过程,是保证软件质量的重要手段,因而成为软件生命周期中的重要阶段。在已有的测试工具中,源......
近30年来,伴随着并行计算机的出现,并行计算迅速发展。SMP(对称共享存储多处理机)是一类被广泛使用的并行计算机系统。OpenMP则是......
软件已经成为国防建设与国计民生的重要组成部分,如何提高软件的正确性、可靠性和安全性是计算机软件领域面临的重要挑战。Clarke......
随着计算机在人类社会各个领域的普及,软硬件系统的正确性问题已经备受关注,在过去的几十年里,形式化验证方法已成为保障软硬件系......
RTI模式起源于数据修改程序模型与咨询模式,旨在应用多层次模式促进全体儿童的发展。在重视早期教育质量、学校准备行动、早期预防......
