叶俊

作品数：7被引量：17H指数：3
导出分析报告
供职机构：江南计算技术研究所更多>>
发文主题：JAVA虚拟机寄存器编程范式软错误资源库更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电子学报》《计算机学报》《计算机与现代化》《小型微型计算机系统》更多>>
所获基金：国家自然科学基金长江学者和创新团队发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于Java虚拟机的动静结合自适应优化方法被引量：3
《计算机工程与科学》2019年第6期981-986,共6页张海军 郑艳 叶俊 白书敬 
动态语言可以利用程序运行时获取的动态信息,指导程序进行各种优化。但是,现有的Java虚拟机没有将运行过程中收集的信息有效利用,而是在运行结束后直接丢弃,下一次执行程序的时候重新监测、收集、优化需要的信息。基于HotSpot虚拟机提...
关键词：JAVA虚拟机 自适应优化 迭代编译 实例学习 资源库 
面向方面程序的属性推断
《计算机研究与发展》2013年第2期344-351,共8页叶俊 谭庆平 李暾 
国家自然科学基金项目(60773025)
为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspec...
关键词：面向方面程序 形式化验证 属性保持 属性推断 活性属性 安全属性 
面向软错误的寄存器活跃区间分析被引量：1
《小型微型计算机系统》2012年第1期83-89,共7页徐建军 谭庆平 叶俊 
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方...
关键词：软错误 寄存器 程序可靠性 数据流分析 过程间分析 
用方面化特征模块开发OpenRISC1200软核
《计算机与现代化》2011年第7期130-135,共6页吴斌 叶俊 
对OpenCores上的OpenRISC1200项目(简称OR1200)的统计发现,条件编译指令的使用高达714次,嵌入在条件编译指令间的代码占代码总量的61.60%。条件编译在硬件开发中被大量使用,但在软件开发时却并不提倡。因此,本文提出用方面化特征模块(A...
关键词：方面化特征模块 OpenRISC1200 
一种针对软错误的程序可靠性定量分析方法被引量：6
《电子学报》2011年第3期675-679,共5页徐建军 谭庆平 熊磊 叶俊 
宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,...
关键词：软错误 单粒子翻转 程序可靠性分析 错误传播 
面向特征编程范式的形式化验证技术研究综述被引量：1
《计算机工程与科学》2010年第9期89-94,共6页叶俊 谭庆平 李暾 
国家自然科学基金资助项目(60773025);长江学者和创新团队发展计划的资助项目
以面向对象编程范式开发软件经常面临类(Class)与用户需求项无法直接对应的尴尬,面向特征编程范式(FOP)旨在解决这个问题,因此具有重要意义。本文首先简介了FOP编程范式的思想,它与面向方面编程范式的异同,以及它给相应的形式化验证技...
关键词：面向特征编程 形式化验证 模型检验 
基于层次状态机的方面化特征模块的增量式验证被引量：6
《计算机学报》2009年第9期1773-1781,共9页叶俊 谭庆平 李暾 徐建军 
国家自然科学基金项目(60773025);长江学者和创新团队发展计划资助~~
方面化特征模块(AFM)是最新提出的软件产品线(SPL)编程范式,能解决现有SPL编程范式存在的问题,但由于AFM范式同时存在模块的并发组合和顺序组合,现有的组合验证技术和模块化模型检验技术并不适用于AFM程序的验证,且目前还未见到针对AFM...
关键词：方面化特征模块(AFM) 层次状态机(HSM) 增量式验证 面向特征编程范式(FOP) 面向方面编程范式(AOP) 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部