1.
Verifying Parallel Low-Level Programs for Multi-core Processor
面向多核处理器的低级并行程序验证
2.
Profile used by the Merge Agent to perform rowcount validation.
合并代理程序用于执行行数验证的配置文件。
3.
The Model and Verification of MPI Parallal Programs Based on Petri Net;
基于Petri网的MPI并行程序建模与正确性验证
4.
Profile used by the Merge Agent to perform rowcount and checksum validation.
合并代理程序用于执行行数和校验值验证的配置文件。
5.
Validation or resynchronization will occur the next time the Merge Agent is run.
在下次运行合并代理程序时将进行验证或重新进行同步处理。
6.
Automatically verifies and displays the identity of programs you download.
自动验证并显示所下载程序的标识。
7.
Strong name validation failed for assembly '%1'.
对程序集“%1”进行强名称验证失败。
8.
Concurrent Object-oriented Program Slicing and Its Application in Program Verification;
面向对象并发程序切片技术及其在程序验证中的应用
9.
Boolean expression simplification and parallel sort network validation
布尔表达式的化简与并行排序网络验证
10.
Validation will occur the next time the Merge Agents run. Results will be displayed in Replication Monitor.
验证将在下次运行合并代理程序时发生。结果将显示在复制监视器中。
11.
The organization shall establish and implement procedures to ensure the completeness, accuracy, and traceability of testing reports been properly verified.
组织须建立并施行程序以确保测试报告的完整性,准确性和可追溯性得到验证。
12.
Is a driver installed and configured? Select the Drivers icon from the Control Panel to verify the presence of a capture driver.
是否已安装并配置驱动程序? 请选择“控制面板”的“驱动程序”图标以验证是否存在驱动程序。
13.
Hotfix Installer is unable to start the service for login verification.
热修复安装程序无法启动服务进行登录验证。
14.
Current settings and verified drivers (run time information)
当前设置和经过验证的驱动程序(运行时信息)
15.
Research on Framework for Verifying AOP Programs Based on Runtime Verification
基于运行时验证的AOP程序检测框架研究
16.
simplification technique
简化技巧 -程序验证中的
17.
Acceptance Test Procedure and Guarantee
验收考核程序和保证
18.
When putting to the proof and inquiring about the proof, the litigant sh ould foll ow the legal procedure, and judges must authenticate the evidence by the rule of evidence presentation.
举证和质证应按照法律规定的程序进行，并由法官运用证据规则对证据作出正确认证。