作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

面向WCET估计的Cache分析研究综述  CNKI文献

实时系统时间分析的首要任务是估计程序的最坏情况执行时间(worst-case execution time,简称WCET).程序的WCET通常受到硬件体系结构的影响,Cache则是其中最为突出的因素之一.对面向WCET计算的Cache分析研究进行了综述...

吕鸣松 关楠... 《软件学报》 2014年02期 期刊

关键词: 实时系统 / WCET(worst-case / execution / time)

下载(257)| 被引(12)

实时系统最坏情况执行时间分析技术的研究  CNKI文献

实时系统时间验证主要包括可调度性分析和最坏情况执行时间(WCET)分析。其中WCET分析的目的是计算实时任务在最坏情况下的执行时间,其结果是可调度性分析的重要输入。在硬实时系统中,为保证分析结果的安全性,通常采用...

吕鸣松 导师:于戈 东北大学 2009-11-02 博士论文

关键词: 实时系统 / WCET分析 / 静态分析 / 模型检测

下载(458)| 被引(5)

嵌入式工业监控系统中实时调度策略的研究  CNKI文献

随着嵌入式工业的不断成熟与发展,在线监测与故障诊断智能化仪器的开发已经成为了嵌入式工业的一个重要的应用领域。实时嵌入式工业监控系统作为嵌入式系统的一个分支,除了具有所有嵌入式系统普遍存在的资源受限等特点...

吕鸣松 导师:于戈 东北大学 2005-01-01 硕士论文

关键词: 嵌入式 / 工业监控系统 / 实时调度 / RM算法

下载(242)| 被引(5)

MRU Cache替换算法平均性能剖析  CNKI文献

研究了MRU替换算法的平均性能问题.研究结果发现,在一定条件下,MRU的平均性能优于LRU替换算法.针对具有线性访问序列循环体的程序,形式化证明了MRU平均性能优于LRU的成立条件.并采用实时系统时间分析测试集针对不同Ca...

吕鸣松 郭浩... 《东北大学学报(自然科学版)》 2013年11期 期刊

关键词: MRU / Cache / 替换算法 / 平均性能

下载(115)| 被引(1)

TCL:并购阿尔卡特意欲何为?  CNKI文献

阿尔卡特可能被收购一事,早在年初的时候就已传得沸沸扬扬,熊猫、TCL等国内的主要手机厂商也被卷入到了这个备受关注却又扑朔迷离的故事中来。一时间,传闻和辟谣的纠缠充斥于众多媒体。4月26日,TCL和阿尔卡特的官

吕鸣松 《数字通信》 2004年11期 期刊

关键词: TCL / 合资公司 / 通讯 / 新闻

下载(304)| 被引(1)

追踪手机流行元素  CNKI文献

人们常说,2002年是中国手机热开始的年份。因为从这一年开始,我国手机用户数量突飞猛进,短短几年的工夫,新增手机用户数量就已经是2002年以前积累的用户总数的数倍了。推动手机拥有量增长,引发手机业热潮的因素有很多...

吕鸣松 《数字通信》 2004年24期 期刊

关键词: 手机 / 流行元素 / 消费者

下载(37)| 被引(0)

工作场所光伏电动汽车充电站可行性研究  CNKI文献

基于某工厂员工的电动汽车使用数据,分析了员工上下班出行行为及电动汽车电量分布情况,使用蒙特卡洛模拟方法仿真了100辆电动汽车的出行及充电行为.设计搭建了光伏电动汽车充电站仿真平台用于对电站进行评估分析.基于...

纪东 吕鸣松... 《东北大学学报(自然科学版)》 2019年06期 期刊

关键词: 光伏 / 充电站 / 电动汽车 / 容量配比

下载(51)| 被引(0)

实时多核嵌入式系统研究综述  CNKI文献

随着计算机系统与物理世界的结合越来越紧密,实时系统需要承担越来越复杂的运算任务.多核处理器的兴起为同时满足实时性约束和高性能这两方面的需求提供了可能.基于多核处理器的实时嵌入式系统的研究已成为近几年研究...

陈刚 关楠... 《软件学报》 2018年07期 期刊

关键词: 实时多核系统 / 共享资源干扰 / 实时调度 / 并行软件

下载(576)| 被引(7)

形式化方法与应用专题前言  CNKI文献

形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需...

董威 赵建华... 《软件学报》 2017年05期 期刊

关键词: 形式化 / 正则模型 / 数学模型 / 部分求值技术

下载(117)| 被引(2)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

大成编客