Tools; Syntactics; Software; Testing; Pattern matching; Hardware; Security;
机译:SAPPHIRE:用于构建用于医学视频分析的高效流程序的工具包
机译:蛋白质荧光和结构工具包:用于分析蛋白质荧光和结构数据的数据库和程序。
机译:ERP PCA工具包:一个开源程序,用于对事件相关的潜在数据进行高级统计分析。
机译:弱断言:用于程序分析的面向弱点断言推荐工具包
机译:解决美国的儿童肥胖症:分析四个全国可用的健康计划和未来的建议。
机译:尼日尔津德尔的孕妇和哺乳期妇女的饮食摄入和营养差距评估以及基于食物的建议的开发:Optifood线性规划分析
机译:使用全局分析,部分规范和可扩展的断言语言进行程序验证和调试