您的位置： 专家智库 > >

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

作品数：7 被引量：14H指数：2
相关作者：杨珉张源王笛周曦董剑更多>>
相关机构：复旦大学国防科学技术大学更多>>
发文基金：国家科技重大专项国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 7篇期刊文章
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 1篇电子电信

主题

  • 4篇ANDROI...
  • 2篇JAVA程序
  • 1篇代码
  • 1篇代码复用
  • 1篇多变量
  • 1篇信息流分析
  • 1篇虚拟机
  • 1篇移动终端
  • 1篇硬件
  • 1篇硬件加速
  • 1篇日志
  • 1篇日志系统
  • 1篇事务存储
  • 1篇数据通信
  • 1篇通信
  • 1篇图像
  • 1篇图形处理器
  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇终端

机构

  • 6篇复旦大学
  • 2篇国防科学技术...

作者

  • 6篇杨珉
  • 4篇张源
  • 2篇王笛
  • 2篇周曦
  • 1篇黄春
  • 1篇彭林
  • 1篇杜云飞
  • 1篇杨灿群
  • 1篇贾建斌
  • 1篇王锋
  • 1篇杨哲慜
  • 1篇彭智俊
  • 1篇李健
  • 1篇董剑
  • 1篇周波
  • 1篇刘煦

传媒

  • 5篇小型微型计算...
  • 1篇计算机应用与...
  • 1篇计算机科学
  • 1篇第十七届计算...

年份

  • 4篇2013
  • 3篇2012
  • 1篇2011
共 7 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
用静态信息流分析检测Android应用中的日志隐患被引量：4
2013年
与传统计算平台相比,移动平台拥有大量涉及用户隐私的私密信息.随着Android移动平台日趋流行和应用商城模式的普及,如何保护用户隐私这一安全性课题日益受到关注.本文发现当前Android日志系统存在泄漏用户隐私数据的安全性风险,设计并实现了一个基于静态信息流分析的Android应用程序检测工具LogMiner,用于辅助应用商城在应用发布时的安全性检测工作.LogMiner对200个Android应用程序进行检测,成功分析177个应用,平均每个应用分析时间为4.3分钟,其中33个应用中存在日志安全性隐患,占总数的18.6%.这一结果表明现实生活中的Android应用程序的确存在着这类安全隐患.最后,本文对现有日志系统提出了改进方案.
彭智俊张源杨珉
关键词：ANDROID日志系统
一种对象粒度的Java程序并发错误检测框架被引量：1
2013年
由于多线程程序执行的复杂性和不确定性,Java程序中的并发错误难以被检测和修复.不变式检测方法作为目前最为有效的检测手段,采用提取正确程序行为的方式,能自动识别程序并发错误.但是,传统的不变式检测方法基于单个字段分析程序行为,不考虑程序中的关联变量间的依赖关系,所以无法检测多个关联变量引发的并发错误.针对这一问题,本文实现了一个对象粒度的不变式检测框架OBJ-D,基于对象操作分析程序行为.OBJ-D通过记录对象的读写依赖,能反映同一对象中多个变量间的依赖关系,为检测多变量并发错误创造了条件.测试表明,在不影响训练敏感度和性能开销的前提下,OBJ-D能同时有效检测单变量和多变量引发的并发错误,并只引入很少的假阳性.
王笛杨珉周曦
关键词：JAVA多变量
用代码缓存复用技术提升Android即时编译器效率被引量：1
2013年
选择性编译能降低程序编译开销和生成代码的存储空间需求,但面临热方法检测延时和编译延时问题.现有降低这些延时的方法因需要复杂数据结构、算法或特殊硬件的支持而不适合嵌入式虚拟机平台.针对嵌入式平台,提出使用将可执行代码缓存至文件并按需复用的方法来降低这两种延时.为此,本文以Android系统虚拟机的即时编译器为基础,设计实现了轻量级的CCARF(Code Cache and Reuse Framework).CCARF为即时编译器设计了位置无关代码生成算法,使编译生成的代码不含位置依赖信息,从而保证代码可被正确复用;基于该算法,CCARF实现了一个代码管理器,高效地将位置无关代码缓存并复用.SPECjvm98基准测试集的测试结果表明,CCARF能在控制生成代码增长的前提下,平均提升基准测试程序性能约11%.
周波张源杨珉周曦
关键词：即时编译器DALVIK虚拟机
基于OpenMP/Fortran的源到源转换事务存储编程环境
2011年
首次在Fortran语言中引入事务存储,对OpenMP Fortran API进行了扩展,以源到源转换的方式实现了FortranTM编译器原型。针对软件事务存储实现的特点,扩展了EXCLUDED和SCHEDULE指导命令子句,以便为程序员提供性能调整优化API。测试结果表明FortranTM API编程便利,具有良好的性能。
黄春贾建斌彭林
关键词：事务存储
一种基于共享内存的多进程共享GPU技术
GPU的发展,大量的并行科学计算程序都采用GPU进行加速计算.然而,现有的GPU不支持多个进程同时访问.当一个进程初始化GPU之后,在释放GPU之前,其它的进程是无法使用GPU的.提出了一种基于共享内存的多进程共享GPU...
杜云飞杨灿群王锋
关键词：图形处理器共享内存数据通信
Java程序的对象单赋值分析
2012年
数据竞争检测、确定性回放等方法被广泛应用于解决多线程程序中由内存访问顺序不确定性引发的数据竞争及死锁等问题.但是,由于上述方法需要监测程序内存访问,所以通常带来很大的运行开销.实验表明,在多线程程序中存在着大量只被赋值一次的对象,去除这类对象内存访问的监测操作不会影响上述方法的正确性,且能有效减少系统的运行开销.在此基础上,本文形式化定义了单赋值对象,并提出了一个静态对象单赋值分析算法,将这一算法的分析结果应用到多种成熟的数据竞争检测、确定性回放系统中.测试数据表明使用对象单赋值分析可以有效减少数据竞争检测、确定性回放等系统的运行开销,从而扩展系统应用场景.
李健杨哲慜杨珉
利用硬件加速层优化Android显示系统被引量：6
2012年
广泛运行于移动终端的操作系统Android,因对底层硬件特性统一的抽象,具有优良的跨平台特性.但在实际应用中,因缺乏如何有效利用硬件特性的规范,Android现有设计框架无法高效使用底层硬件资源.本文基于北大众志Unicore硬件平台,为Android显示系统设计硬件加速层,通过利用硬件通道,减少了跨层函数的调用开销和数据在主存和显存间的交换次数,提升了Android显示系统中窗体绘制的性能,从而增强了用户体验.相关实验表明,本方案令Android光标操作在正常使用时CPU占用率下降约88%,摄像预览得到了83%的加速.
董剑张源杨珉
关键词：ANDROID嵌入式系统硬件加速
应用图像对比方法的UI自动化功能测试被引量：2
2012年
Android系统广泛应用于移动终端。由于开放性的原因,其缺乏严格的开发规范,导致应用质量得不到保证。目前应用商城针对Android上应用程序的功能测试,由于未知应用功能点的不可见性,只能采用手工测试。而随着应用数量的快速增长,纯手工测试已经不能满足测试需求,应用商城迫切需要一种针对未知应用的自动化验证工具。针对这一技术空缺,使用图像比对算法作为识别应用功能界面的理论基础,通过遍历界面来覆盖应用的所有功能点,设计并实现一种UI自动化功能测试工具。通过自动化和并行执行,在保证正确性和功能点覆盖率的情况下,提高了效率,降低了测试成本。测试数据表明应用图像比对方法的自动化功能测试可实现功能点覆盖率93.8%,正确性100%。
刘煦王笛张源杨珉
关键词：ANDROID移动终端自动化
全选 清除 导出
共1页<1>
聚类工具0