机构

• 计算技术研究所 [7]
• 软件研究所 [5]
• 过程工程研究所 [3]
• 金属研究所 [1]
• 测量与地球物理研究所 [1]
• 高能物理研究所 [1]
• 更多

采集方式

• OAI收割 [19]

内容类型

• 期刊论文 [15]
• 学位论文 [4]

发表日期

• 2014 [1]
• 2009 [4]
• 2004 [4]
• 2003 [2]
• 1999 [1]
• 1995 [1]
• 更多

学科主题

• 计算机软件::软件工... [1]

筛选

浏览/检索结果: 共19条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 一种面向众核架构的数据流编译框架 期刊论文  OAI收割 计算机学报, 2014, 卷号: 37.0, 期号: 007, 页码: 1560 作者:  魏海涛;  秦明康;  于俊清;  范东睿   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 编译框架  数据流程序  众核处理器  软件流水  并行   C程序的静态分析 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2009 -   |  收藏  |  浏览/下载：24/0  |  提交时间：2009/06/11 程序分析，bug查找，编译器   基于形式描述的编译优化自动测试方法与技术研究 学位论文  OAI收割 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 -   |  收藏  |  浏览/下载：21/0  |  提交时间：2009/06/12 编译优化，测试自动化，形式描述，测试程序，测试生成，测试执行   面向雨数的循环优化序列定制方法 期刊论文  OAI收割 计算机工程与应用, 2009, 卷号: 45, 期号: 24, 页码: 63-66,117 陈烨 收藏  |  浏览/下载：20/0  |  提交时间：2011/03/18 polyhedron模型  优化序列定制  cache失效率  CMES简化方程  循环  化序列  定制方法  优化效果  函数  效率方程  程序  编译  数据表  加速比  复杂度  cache  讨论  实验  器具  评估  模型  迭代  差异  变换   基于时序逻辑证明编译优化程序变换的保义性 期刊论文  OAI收割 软件学报, 2009, 卷号: 20, 期号: 8, 页码: 2074-2086 陶秋铭; 赵琛; 郭亮   |  收藏  |  浏览/下载：24/0  |  提交时间：2010/08/25 时序逻辑  形式规约  优化编译  程序变换  语句交换  变量替换  语句重排   基于实时数据库的软PLC研究与软件开发 学位论文  OAI收割 硕士, 中国科学院沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2004 钱笑宇 收藏  |  浏览/下载：65/0  |  提交时间：2012/08/29 实时数据库  软PLC  IEC61131-3  程序编译  虚拟机   在测量软件开发中MATLAB的应用 期刊论文  OAI收割 测绘通报, 2004, 期号: 1, 页码: 11-13 任超; 欧吉坤; 阳仁贵 收藏  |  浏览/下载：18/0  |  提交时间：2012/02/13 MATLAB  测量程序  编译  测量软件   形式规约语言LFC的实现和应用研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 黄文集 收藏  |  浏览/下载：20/0  |  提交时间：2011/03/17 递归函数  编译器  形式规约语言  句子枚举  程序翻译  中间代码   Linux下优化编译单元的程序调用共享连接技术 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31.0, 期号: 012, 页码: 186 作者:  芦运照;  张兆庆   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 程序调用  动态连接  编译器  共享  程序编译  代码优化  连接技术  单元  实际  方式   基于域的编译框架 期刊论文  OAI收割 计算机学报, 2003, 卷号: 26.0, 期号: 002, 页码: 188 作者:  刘旸;  张兆庆;  乔如良   |  收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04 域  编译框架  单入多出域  多入多出域  尾复制比率  主出口概率  编译程序  程序划分法  编译器