Efficient fail-fast dynamic subtype checking

机译：高效，动态和基于身份的多个副本远程数据完整性检查

机译：基于高效，动态和身份的远程数据完整性检查多个副本

机译：云计算中数据完整性保证的高效动态数据违规检查技术

机译：不带子类型的高阶尺寸检查

机译：用于字级模型检查的高效抽象和改进

机译：检票失败对多种布局多出入境检查站行人动力学的影响

机译：通过有效的分析删除动态类型语言中的检查

机译：用于Berger代码的高效自检检查器的模块化实现

机译：用于同步动态随机存取存储器的连贯，有效且可配置的循环冗余校验重试实现的装置和方法

机译：指纹亚型检查

机译：快速子类和子类型检查的方法和装置