您的位置： 专家智库 > >

“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2009ZX01039-003-001-002)

作品数：7 被引量：15H指数：3
相关作者：詹瑾瑜郝宗波陈忠湘郭文生雷航更多>>
相关机构：电子科技大学更多>>
发文基金：国家科技重大专项中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 7篇自动化与计算...

主题

  • 4篇嵌入式
  • 2篇嵌入式浏览器
  • 2篇浏览
  • 2篇浏览器
  • 1篇调度
  • 1篇调度算法
  • 1篇多线程
  • 1篇性能分析
  • 1篇样式
  • 1篇有限状态机
  • 1篇远程
  • 1篇远程调试
  • 1篇任务调度
  • 1篇实时系统
  • 1篇排版
  • 1篇嵌入式LIN...
  • 1篇嵌入式系统
  • 1篇状态机
  • 1篇线程
  • 1篇控制流

机构

  • 7篇电子科技大学

作者

  • 4篇詹瑾瑜
  • 3篇郝宗波
  • 2篇桑楠
  • 2篇陈忠湘
  • 2篇郭文生
  • 2篇雷航
  • 1篇王晓斌
  • 1篇刘剑
  • 1篇戎韩桃
  • 1篇杨留慧
  • 1篇杨霞
  • 1篇江维
  • 1篇况阳
  • 1篇崔娟娜

传媒

  • 2篇计算机工程
  • 2篇计算机应用研...
  • 2篇四川大学学报...
  • 1篇计算机应用

年份

  • 7篇2011
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
嵌入式浏览器CSS引擎的研究与改进被引量：2
2011年
层叠样式表（CSS）引擎的效率提升是嵌入式浏览器的性能瓶颈。为此,提出提升CSS引擎效率样式管理的改进和设计方法。该方法增加对用户操作相关伪类样式规则的分类,以减少对非必要的伪类样式规则匹配,匹配完全失效节点的记忆能够为兄弟节点提供样式规则匹配的指示,并减少样式规则匹配次数。实验结果表明,对于不同网页的样式规则匹配总时间消耗减少3%~15%左右。
刘剑桑楠郭文生
带控制流的静态函数调用分析方法被引量：5
2011年
提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数间的调用次序,还可以了解程序设计的逻辑复杂度,有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程,并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。
陈忠湘詹瑾瑜郝宗波
关键词：控制流函数调用
可信嵌入式系统中可靠且能量有效的任务调度
2011年
针对可信嵌入式系统对实时、可靠和能量有效等性能的需求,提出一种新的非周期实时任务调度算法。基于非周期实时任务的本质特性,该算法巧妙利用任务的调度空闲,通过动态电压/频率调整机制来降低任务的运行能耗。该算法具有线性时间复杂度,能够实现在线最小化系统能量消耗,并且不牺牲任务的高可靠和强实时需求。实验表明了本文算法在可靠性和能量有效性方面的优越性。
江维詹瑾瑜桑楠杨霞
关键词：嵌入式系统实时系统调度算法
嵌入式浏览器解析排版并行化研究与设计被引量：4
2011年
提出一种嵌入式浏览器网页解析与排版的并行化处理方法。通过将嵌入式浏览器控制和排版划分为主线程,资源加载和解析划分为从线程,将串行的网页解析和排版过程并行化,并根据浏览器消息类型进行调度管理。结合操作系统的线程调度模式,该方法克服了单页面解析、排版的单线程响应效率差而造成用户体验较差的问题。经实例测试,验证了该方法的可行性,并且在内存消耗不超过64 MB的情况下,首屏显示速度提高了4%～17%。
杨留慧雷航郭文生
关键词：嵌入式浏览器并行化加载排版多线程
无陷入插装方式的研究与设计
2011年
分析和比较了当前主流的性能分析工具,针对这些工具在嵌入式环境中进行性能分析的不足,提出并设计出一种无陷入插装方式性能分析模型。通过替换函数入口处的第一条指令并在转入模块内执行函数第一条指令实现快速无陷入统计方式,对函数执行时信息进行统计。实验表明,在存在大量递归调用和函数调用非常频繁的情况下,使用无陷入方式使性能分析的效率和准确性得到很大提升。
戎韩桃王晓斌郝宗波崔娟娜
关键词：性能分析插装
USB设备端驱动的研究及在GDB远程调试中的应用被引量：1
2011年
在嵌入式Linux软件开发中,可以通过宿主机GDB(GNU debugger)加目标机GDBserver的方式对嵌入式软件进行远程调试,GDB和GDBserver通过RSP(remote serial protocol)协议进行通信,这种方式可以显著提高开发效率;目前宿主机和目标机之间支持串口或网口方式建立连接,暂不支持USB(universal serial bus)接口。介绍了USB的相关概念及GDB远程调试原理,通过分析当前存在的调试模型,利用Linux设备端Gadget功能驱动实现了USB+GDB+GDBserver的远程调试模型。该模型弥补了现有模型的不足,USB接口的日益普及使得该模型在实际开发中带来了极大的便利。
况阳雷航詹瑾瑜
关键词：嵌入式LINUX远程调试
基于有限状态机的指针解引用静态检测方法被引量：3
2011年
为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。
詹瑾瑜陈忠湘郝宗波
关键词：有限状态机
全选 清除 导出
共1页<1>
聚类工具0