Hong Kong University of Science and Technology (Hong Kong);
机译:基于信号量和共享内存的并发程序的无模型和状态覆盖测试方案
机译:位置对:共享内存并发程序的测试覆盖率指标
机译:共享内存并发程序的安全优化
机译:共享内存并发程序的安全优化
机译:使用图像提高计算机编程中的节目质量
机译:比利时对药品质量的承诺:一项旨在通过人道主义和发展计划提高药品质量保证的示范政策
机译:依靠保证参数化并发共享内存程序的绑定分析
机译:导弹防御:通过减少并发和提高零件质量来加强收购的机会。