中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	基于抽象解释的代码迷惑有效性比较框架期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云收藏 \| 浏览/下载：76/6 \| 提交时间：2011/07/01 抽象解释程序变换程序分析代码迷惑压平算法抽象解释代码迷惑有效性证明比较框架非语义算法实例描述静态分析变换技术保护软件应用剖析逆向环境程序Algorithms Computer software Mobile agents Program diagnostics Security of data Semantics Static analysis
	面向装备联勤保障的约束程序设计框架期刊论文 OAI收割南京大学学报（自然科学版）, 2005, 卷号: 41, 期号: z1, 页码: 30-34 郑宇军; 王连来; 薛锦云 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/28 联勤约束程序设计规约问题求解装备联勤保障约束程序设计框架问题求解剖面保障资源保障任务保障对象问题规约剖面装备保障正交组合领域驱动抽象描述保障规划启发式选择算法目标规则
	一种面向测试的RTL行为抽象与蕴含方法期刊论文 OAI收割同济大学学报：自然科学版, 2002, 卷号: 30.0, 期号: 010, 页码: 1199 作者: 尹志刚; 李华伟; 李晓维 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 抽象蕴含寄存器传输级行为描述测试向量集成电路芯片测试
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范
	基于XYZ的多媒体抽象与建模研究学位论文 OAI收割博士, 中国科学院软件研究所（北京 100080）: 中国科学院软件研究所（北京 100080）, 1998 唐小平收藏 \| 浏览/下载：12/0 \| 提交时间：2011/03/17 踪迹音频视频抽象描述安全性活性同步算子同步表达式脚本逐步求精一致性