牛津大学计算机科学系共设有以下8个研究领域,分别是: (1) 算法(Algorithms) (2) 自动验证(Automated Verification) (3) 计算生物学(Computational Biology) (4) 基础、逻辑与结构(Foundations, Logic and Structures) (5) 信息系统(..
基于10个网页-相关网页
automated verification system 自动验证系统
automated verification tool 自动验证工具
automated verification tools 自动验证工具 ; 自动化验证工具
oscilloscope automated verification 示波器自动检定
Automated Reasoning and Verification 自动推理和验证
This will allow automated verification of behavior consistency along time.
这将使线性的自动检查一致性成为可能。
A fairly aggressive technique for spam filtering is what I would call the "whitelist plus automated verification" approach.
对于垃圾邮件的过滤,有一种主动性相当强的技术,我想称之为“白名单加自动验证”方法。
One line of thinking is that, since the build verification tests are all automated, what's the harm in running all of them every night — it's just machine time, right?
思考的一个方向是,由于构建验证测试全都自动化了,在每晚运行所有的自动化测试的伤害是什么,——只是机器时间,对吗?
应用推荐