Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures

机译：基于图自同构对称约简的具有指针数据结构的并发软件基于BDD的安全性分析

机译：使用指针对数据结构的并发维护策略进行建模和分析

机译：在链接的数据结构中使用跳转指针进行软件预取

机译：指针数据结构并发软件对称符号安全性分析

机译：在存在指针和基于指针的数据结构的情况下进行数据依赖测试。

机译：分子载体机器模型的应用数据：蛋白质五倍体数据库和用于预测和设计二级蛋白质结构的计算机软件

机译：使用虚拟后向指针在数据结构中进行本地并发错误检测和纠正

机译：具有向量指针数据路径和向量计算数据路径的并发操作的SIMD处理器

机译：通过双重机制（系统的两个侧面单独/独立，或同时//在一起）的不同性质的生物识别数据系统由以下组成：-集成和/或安全模式和 /或识别和 /或数据（现在仅是模式）。在生物特征数据自身收集， /或传输和 /或存储， /或useand /或对其进行返工期间使用算法在内部进行固定或动态计算生物特征识别，生物特征识别读取器，中间组件和返工。-在通过软件或硬件的频谱组件进行开发和/或读取和/或传输这些生物特征识别数据的过程中，随后在生物特征识别数据中搜索和识别此类模式或独立于先前的模式整合机制。

机译：软件确定方法，软件使用方法，记录介质处理设备，软件保护方法，另一种介质中的软件移植方法，软件控制方法，图形处理创建方法，图形处理方法托板功能，确定托板面积的方法，均质矢量创建方法，托板功能创建方法，创建相位元素的方法，创建逻辑元素的方法，创建有效动作的方法，软件部署，软件改进方法，数据结构替换方法，数据值替换，上一代软件分析方法，软件开发过程的控制，