【小型微型计算机系统】_intel_期刊发文热词逐年推荐_20140724
合集下载
【小型微型计算机系统】_低成本_期刊发文热词逐年推荐_20140724
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
科研热词 移植 硬件可配置 特殊算术逻辑单元 模乘模除器 快速walsh变换 并行查找表 并行 安全处理器 信道估计 信息安全 webit vlsi sms4 sha-1 pn序列 idcx dttb dtmb avr单片机at90s8515 aes 8051单片机 51操作系统
2011年 科研热词 负载均衡 连续数据保护 视频点播 覆盖模型 覆盖控制 虚拟地理路由 节点位置 索引日志 真实系统 界标 无线传感器网络 拓扑发现 对等网络 吞吐量 分布式存储系统 传包率 三级存储 zigbee wsn 802.15.4 推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4
科研热词 绑定结构 循环移位网络 多标准 qc-ldpc码
推荐指数 1 1 1 1ቤተ መጻሕፍቲ ባይዱ
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
2012年 序号 1 2 3 4
科研热词 隐私性 认证协议 可证明安全 rfid
推荐指数 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8
科研热词 软件保护 数据机密性 数据完整性 密文访问控制 可信计算 信息系统安全 代码防篡改 云存储
推荐指数 1 1 1 1 1 1 1 1
科研热词 移植 硬件可配置 特殊算术逻辑单元 模乘模除器 快速walsh变换 并行查找表 并行 安全处理器 信道估计 信息安全 webit vlsi sms4 sha-1 pn序列 idcx dttb dtmb avr单片机at90s8515 aes 8051单片机 51操作系统
2011年 科研热词 负载均衡 连续数据保护 视频点播 覆盖模型 覆盖控制 虚拟地理路由 节点位置 索引日志 真实系统 界标 无线传感器网络 拓扑发现 对等网络 吞吐量 分布式存储系统 传包率 三级存储 zigbee wsn 802.15.4 推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4
科研热词 绑定结构 循环移位网络 多标准 qc-ldpc码
推荐指数 1 1 1 1ቤተ መጻሕፍቲ ባይዱ
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
2012年 序号 1 2 3 4
科研热词 隐私性 认证协议 可证明安全 rfid
推荐指数 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8
科研热词 软件保护 数据机密性 数据完整性 密文访问控制 可信计算 信息系统安全 代码防篡改 云存储
推荐指数 1 1 1 1 1 1 1 1
【小型微型计算机系统】_物理模型_期刊发文热词逐年推荐_20140724
推荐指数 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2014年 序号 1 2 3 4 5 6 7 8 9
科研热词 神经网络 物理信息融合系统 熵值法 最大片段割 变精度粗糙集 参数算法 单盖网 群搜索优化子 物理模型 火焰模拟 正交最小二乘 核模型 拓扑一致 嵌入式系统 对等网络 可信路由 可信度 可信qos模型 体绘制 传感器 下一代网络 qos路由 gpu cpss chord模型
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
推荐指数 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
科研热词 路由策略 网络拥塞控制 无标度网络 复杂网络 云计算 非参数混合模型 需求预测 资源整合 语义集成 虚拟机分配 虚拟化 自优化 能源消耗 背包算法 科学数据云 真实感 物联网服务 物理模型 物化视图 混成系统 正交多项式 模型验证 查询集覆盖 服务建模 效益模型 平滑参数 实时火焰模拟 多维数据格 图像分割 光线投射 光照模型 体渲染 三维云 ns方程组 gpu
2012年 科研热词 隐马尔可夫模型 软测量 语义网 计算复杂度 蒸发过程 特征选择 灰关联分析 核主成分分析 本体 服务映射 最小二乘支持向量机 数字家庭 手势识别 弹簧粒子模型 定位算法 大规模无线传感网络 动作分割 加速度传感器 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
【小型微型计算机系统】_无线传感网_期刊发文热词逐年推荐_20140724
2013年 序号 1 2 3 4 5 6 7 8
2013年 科研热词 隐私保护 簇头节点 秘密混淆 无线传感网络 无线传感网 数据聚集 分簇 leach 推荐指数 1 1 1 1 1 1 1 1
2014年 序号 1 2 3 4 5 6 7 8 9
科研热词 非均匀分簇 能量分级管理 移动基站 目标追踪预测 汇聚树 无线传感网 无线传感器网络 数据收集 定时器
2010年 序号 1 2 3 4 5 6 7 8
Hale Waihona Puke 2010年 科研热词 节点非均匀分布 能量空洞 无线传感网络 无线传感网 带状传感器网络 可扩展 仿真平台 snsim 推荐指数 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5
科研热词 时间同步 数据采集 低功耗 wsn gprs
推荐指数 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13
科研热词 覆盖控制 脚步信号 网络生命周期 特征提取 无线传感网络 无线传感器网络 数据收集 感知模型 延迟 局域判别基(ldb) 小波包(wp) 均衡网络 三维覆盖
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 1 1 1 1 1 1 1 1 1
【小型微型计算机系统】_结构特征_期刊发文热词逐年推荐_20140724
2009年 科研热词 人脸识别 量化模型 进化数据流 视觉脑皮层 类目标识别 空间信息系统 特征选择 物流 滑动窗口 正则化最小二乘 正交局部保持判别投影 正交化 模糊集 模糊粗糙集 模糊粗糙隶属函数 模糊粗糙神经网络 核方法 时间衰减模型 数据重组 插值正交多小波 推测多线程 径向基神经网络 层次结构 局部敏感辨别分析 尺度窗 多分辨分析 外层循环的向量化 图像缩放 向量化 动态优化 剖析技术 前馈式层级系统 分类分析 内插算法 任意形状聚类 事务存储 web文本分类 web simd knn dcom afs结构 afs代数 推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66
2012年 科研热词 推荐指数 颜色直方图 1 领域主题词表 1 面向对象 1 软件行为 1 贡献度 1 贝叶斯网 1 语音特征 1 语义距离 1 识别因子 1 要素 1 行为特征 1 节拍跟踪 1 网构软件 1 缓存层次模型 1 结构特征 1 组件分派 1 系统结构分析 1 粒度 1 程序聚类 1 相似性量度 1 特征模型 1 流形学习 1 标签传播算法 1 构件组装 1 构件模型 1 替换算法 1 文本型形式背景 1 恶意软件检测 1 弱持续petri网 1 属性约简 1 属性 1 对等计算 1 对等应用软件 1 字节命中率 1 多版本音乐 1 多态 1 多尺度分析 1 基调、速度、结构不变性 1 基于角度约束的radon变换 1 基于构件的软件开发 1 基于方向约束线状目标强化 1 在线决策 1 图像检索 1 命中率 1 同步合成 1
【小型微型计算机系统】_类型系统_期刊发文热词逐年推荐_20140724
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
科研热词 量化编码 运动捕捉 软件安全 路由算法 类型系统 类型检查 片上网络 汇编语言 时移电视 时移点播 无死锁 拳法类型识别 心理声学模型 峰值检测 实时 在线 光盘介质识别 光存储 交互电视 交互机顶盒 不规则mesh mdct lda aac
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
2009年 科研热词 面向对象 证明责任 行为子类型 空间运动学变换 相交数据集合 漏洞修复 攻击图 收益 形式验证 建模 四元数 同序可串行化 可串行化 变型设计 元模型 代价 产品族架构 五轴联动数控系统 事务提交准则 rtcp r/w事务 object-z cvss bom 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
2012年 科研热词 智能交通系统 阴影消除 车辆检测 负载均衡 时区模型 日志扫描 数据流分析 数据挖掘 数据库日志 故障潜伏 故障注入 故障序列 扰动 多租约 周期性 可靠性 变化数据捕获 分布式系统 人工智能 交通监控系统 交通流量预测 云计算 saas 推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
科研热词 量化编码 运动捕捉 软件安全 路由算法 类型系统 类型检查 片上网络 汇编语言 时移电视 时移点播 无死锁 拳法类型识别 心理声学模型 峰值检测 实时 在线 光盘介质识别 光存储 交互电视 交互机顶盒 不规则mesh mdct lda aac
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
2009年 科研热词 面向对象 证明责任 行为子类型 空间运动学变换 相交数据集合 漏洞修复 攻击图 收益 形式验证 建模 四元数 同序可串行化 可串行化 变型设计 元模型 代价 产品族架构 五轴联动数控系统 事务提交准则 rtcp r/w事务 object-z cvss bom 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
2012年 科研热词 智能交通系统 阴影消除 车辆检测 负载均衡 时区模型 日志扫描 数据流分析 数据挖掘 数据库日志 故障潜伏 故障注入 故障序列 扰动 多租约 周期性 可靠性 变化数据捕获 分布式系统 人工智能 交通监控系统 交通流量预测 云计算 saas 推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
【小型微型计算机系统】_软件框架_期刊发文热词逐年推荐_20140724
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
科研热词 操作系统 领域模型 领域工程 面向服务 面向对象模型 集成系统 通用构件 连接件 转换 虚拟 自适应软件 潜在中间语义空间 模拟 模型验证 模型转换 构件模型 服务组件架构 时间自动机 数据模型 态射 开放服务网关规范 平行语料库 安全 多语言信息检索 在线演化 双核 动态迁移 动态演化 动态对象替换 主动安全防御 中间语义 petri网 marte(modeling and analysis of real time
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
rgps领域资产 hoare逻辑 deep web dcom
1 1 1 1
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
【小型微型计算机系统】_动力系统_期刊发文热词逐年推荐_20140724
2008年 序号 1 2 3 4 5 6
科研热词 混沌吸引子 混沌 极限圆 广义m集 双曲对称 充满julia集
推荐指数 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9
科研热词 动力系统 离散对称群 平面排列 奇怪吸引子 复解析映射 双曲对称 分形 充满julia集 m集
推荐指数 2 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
科研热词 非完整系统 运动学 视觉伺服 节点选择算法 移动机器人 番茄植株 球面对称 混沌吸引子 带宽分配算法 外力作用 参数化l系统 动态模拟 动力系统 动力学模型 动力学 充满julia集 lyapunov指数
科研热词 球对称 混沌吸引子 动力系统 充满julia集 ljapunov指数
推荐指数 1 1 1 1 1
推荐指数 1 1Байду номын сангаас1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9
2013年 科研热词 规范化 粒度 混沌吸引子 混沌动力系统 正六面体 时态粒点 时态原语 时态 平面排列 推荐指数 1 1 1 1 1 1 1 1 1
2014年 序号 1 2 3 4 5
科研热词 混沌吸引子 混沌 极限圆 广义m集 双曲对称 充满julia集
推荐指数 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9
科研热词 动力系统 离散对称群 平面排列 奇怪吸引子 复解析映射 双曲对称 分形 充满julia集 m集
推荐指数 2 1 1 1 1 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
科研热词 非完整系统 运动学 视觉伺服 节点选择算法 移动机器人 番茄植株 球面对称 混沌吸引子 带宽分配算法 外力作用 参数化l系统 动态模拟 动力系统 动力学模型 动力学 充满julia集 lyapunov指数
科研热词 球对称 混沌吸引子 动力系统 充满julia集 ljapunov指数
推荐指数 1 1 1 1 1
推荐指数 1 1Байду номын сангаас1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9
2013年 科研热词 规范化 粒度 混沌吸引子 混沌动力系统 正六面体 时态粒点 时态原语 时态 平面排列 推荐指数 1 1 1 1 1 1 1 1 1
2014年 序号 1 2 3 4 5
【小型微型计算机系统】_监控视频_期刊发文热词逐年推荐_20140724
科研热词 阴影消除 车辆检测 视频监控 混合内容分发 智能交通系统 拥挤人群 前景边缘曲线 分层dirichlet过程 人体模型 交通监控系统 p2p cdn bp神经网络
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13
2010年 序号 1 2 3 4
科研热词 监控 流媒体 无线视频 无线网格
推荐指数 1 1 1 1
2011年 序号 1 2 3 4
2011年 科研热词 阴影消除 阴影检测 运动目标检测 反射率 推荐指数 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
科研热词 遮挡恢复 运动目标 视频对象分类 网络存储 监控视频 特征选择 检测跟踪 带外数据管理 存储虚拟化 存储区域网 图像理解 分类特征 几何方法 停车场场景 位置违章 adaboost
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2014年 科研热词 运动目标检测 计分板 覆盖率 背景减法 移取物 滞留物 混合高斯模பைடு நூலகம் 智能视频分析 支持向量机 姿态识别 失真率 多特征融合 图像块 卡尔曼滤波 关键帧 推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
科研热词 监控视频 感兴趣区域 快速浏览 区域信息编码 遗弃物检测 运动目标检测 车辆识别 混合高斯模型 梯度方向直方图 智能视频监控 智能监控 支持向量机 三帧差分法
推荐指数 2 2 2 2 1 1 1 1 1 1 1 1 1
【小型微型计算机系统】_预测模型_期刊发文热词逐年推荐_20140724
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45
科研热词 社区发现 社区-主题分布 内容网络 云计算 主题模型 预测 非线性时间序列 需求预测 隐马尔科夫模型 运动估计 路由算法 赋值规则 质量评价 负载均衡 蚁群算法 虚拟机分配 自优化 能源消耗 背包算法 网络协议 编码效率 纳什均衡 程序执行模型 神经网络 用户反馈 物联网 灰色预测 混合搜索 正规正交分解 标签推荐 服务质量 服务器模式 无参考 新用户推荐 数据密集型 效用 径向基函数 张量分解 客户端 实时操作系统 实时java 多视点视频编码 可靠性 反向预测 博弈论
科研热词 协同过滤 高维 预测 项目类别 隐马尔科夫模型 降载 长相关 铝电解槽 近似推理 软测量 贝叶斯网 视觉重排序 视觉特征 观点挖掘 自适应 粒子群优化 离散小波变换 短时交通流量预测 监督学习 电解温度 用户相似性 流量控制 氧化铝浓度 概率图模型 极距 最小二乘支持向量机 时序依赖 旋转异构体库 插值 推荐系统 排序预测 排序学习 屏蔽效应 多维度 增量式近似支持向量机 增量式最小二乘法 增量式学习 增量学习 图像检索 协议优化 协同克里格 克里格 修剪 侧链预测 云模型
【小型微型计算机系统】_监测_期刊发文热词逐年推荐_20140724
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
科研热词 非线性主元 防范性分析 身体状态 资源利用率 行为踪迹 自组织神经网络 老人 线程级推测 监测 状态划分 核密度估计 更新影响 时间同步 无线网络 数据集成 数据采集 推测执行能力评估器 多向主元分析 在线故障监测 反应性分析 元数据更新 偶图匹配 低功耗 众核处理器 企业集成系统 不完全事务 zigbee wsn gprs
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
科研热词 错误注入算子 语音质量评价 评价模型 聚类 网络性能 滑动窗口 构造型神经网络 构件测试 构件安全 数据速率 数据流 数据存取 接口错误注入 安全评估 地理位置 传感器网络 voip
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
可信性 分布式 关键数据 三维覆盖 三模冗余 web服务 ip源追踪 ip源地址假冒 ddos攻击
1 1 1 1 1 1 1 1 1
46 47 48 4cache感知
推荐指数 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
46 47 48 49 50 51 52 53 54
2012年 科研热词 无线传感器网络 领域覆盖 遮挡判断 遗传算法 软件行为 软件测试 路由算法 贝叶斯网 覆盖控制 能耗均衡 聚类 网络生命周期 网络安全 编译 组合服务 线程局部对象 算法 确定性回放 硬件监视 目标跟踪 目标检测 监测包 生存时间优化 环境监测策略 环境感知 环境变化识别 演化 测试数据生成 欧氏距离最短 检测覆盖模型 栅栏覆盖 最优化活跃节点调度 无线传感网络 数据融合 数据竞争检测 数据流覆盖 数据流 数据收集 数据压缩 故障恢复 感知模型 延迟 对象单赋值 定值-引用对 均衡网络 推荐指数 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2008年 序号 1 2 3 4 5 6 7 8 9
科研热词 软件模拟 汇编代码验证 投机并行多线程 形式规范 动态插桩 前(后)条件 出具证明编译器 事务性内存 hoare逻辑
推荐指数 1 1 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
2009年 科研热词 通信模型 通信优化 软件安全 万亿次机 程序验证 移植 数据重组 携带证明的汇编程序 携带证明的代码 指针逻辑 循环 并行 外层循环的向量化 垃圾收集 向量化 同步优化 即时编译器 代码外提 webit simd idcx hoare逻辑 avr单片机at90s8515 8051单片机 51操作系统 推荐指数 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13
科研热词 验证条件 集中式调度 证明检查算法 自动定理证明器 空间复用 流公平 插桩 指针逻辑 垃圾收集器 吞吐率 即时编译器 内存管理 wimax mesh
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7
科研热词 计算域分解 等几何分析 程序执行模型 数据密集型 并行计算 共享内存 psram(h)
推荐指数 1 1 1 1 1 1 1
2011年 序号 1 2 3 4
科研热词 高性能计算 志愿者计算 并行处理 分布式计算
推荐指数 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11
2012年 科研热词 软件漏洞 汇编语言程序 栈缓冲区溢出 多级分段归约算法 动态防御 nehalem mpi归约 mpi全归约 mpi intel80x86体系结构 hsra 推荐指数 1 1 1 1 1 1 1 1 1 1 1
科研热词 软件模拟 汇编代码验证 投机并行多线程 形式规范 动态插桩 前(后)条件 出具证明编译器 事务性内存 hoare逻辑
推荐指数 1 1 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
2009年 科研热词 通信模型 通信优化 软件安全 万亿次机 程序验证 移植 数据重组 携带证明的汇编程序 携带证明的代码 指针逻辑 循环 并行 外层循环的向量化 垃圾收集 向量化 同步优化 即时编译器 代码外提 webit simd idcx hoare逻辑 avr单片机at90s8515 8051单片机 51操作系统 推荐指数 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13
科研热词 验证条件 集中式调度 证明检查算法 自动定理证明器 空间复用 流公平 插桩 指针逻辑 垃圾收集器 吞吐率 即时编译器 内存管理 wimax mesh
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7
科研热词 计算域分解 等几何分析 程序执行模型 数据密集型 并行计算 共享内存 psram(h)
推荐指数 1 1 1 1 1 1 1
2011年 序号 1 2 3 4
科研热词 高性能计算 志愿者计算 并行处理 分布式计算
推荐指数 1 1 1 1
2012年 序号 1 2 3 4 5 6 7 8 9 10 11
2012年 科研热词 软件漏洞 汇编语言程序 栈缓冲区溢出 多级分段归约算法 动态防御 nehalem mpi归约 mpi全归约 mpi intel80x86体系结构 hsra 推荐指数 1 1 1 1 1 1 1 1 1 1 1