计算机科学技术-计算机科学技术基础学科

• 来源期刊: 中国学术期刊文摘
• 学科: 工学
• 关键词: 计算机科学技术基础学科 分布式计算环境 建模方法 安全策略 验证平台 自动生成 遗传算法
• 年，卷（期）: 2007,（4）
• 页码范围: 176-181
• 页数: 6页
• 分类号: TP301.6
• 语种: 中文

摘要

分布式计算环境下的语义安全策略语言;GATEST:使用遗传算法自动生成模拟矢量的验证平台;LRU-Assist:一种高效的Cache漏流功耗控制算法;基于粒度计算理论的数据分类建模;MDA环境下可变性元建模方法研究;