王生原
- 作品数:72 被引量:197H指数:7
- 供职机构:清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金:国家自然科学基金国家科技重大专项国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术文化科学电子电信石油与天然气工程更多>>
- 基于指令聚类与指令调度的嵌入式软件功耗优化研究被引量:2
- 2006年
- 选用指令级能耗评估模型,提出和验证了一种基于指令聚类与指令调度的功耗优化方案.该方案采用深度优先算法搜索局部最优解,挑选出能耗较小的一种指令序列.又兼顾测试工作量与精确度,将能耗相似的指令归入同类,有效降低了获取相邻指令切换能耗参数的工作量过大这一问题.通过分析基于SimpleScalar/Wattch模拟器的实验结果,指出仅用指令调度技术进行指令级功耗优化,其效果有限,为了提高优化效率,必须进行更高级别的功耗评估与优化.
- 陈嘉董渊杨阳戴桂兰王生原
- 关键词:指令调度功耗优化深度优先搜索聚类
- 可信字节码程序虚拟机的构造和验证
- 虚拟机是平台无关字节码程序的解释执行环境,是当今网络软件和计算设备中广泛使用的重要技术。
针对字节码程序和虚拟机平台的程序验证研究,可以提高相关软件的可信程度,具有重要的实用价值和理论价值。虽然近年提出了一系列...
- 董渊任恺王生原张素琴
- 关键词:字节码网络软件
- 文献传递
- 同步数据流语言高阶运算消去的可信翻译被引量:8
- 2015年
- Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明.
- 刘洋甘元科王生原董渊杨斐石刚闫鑫
- 关键词:形式化验证定理证明
- 一种基于Renew的有色网元对象协议的设计与实现
- 在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为...
- 郭胜基齐大伟林明王生原董渊
- 关键词:PETRI网元对象协议银行家算法
- 文献传递
- 并发面向对象中的继承反常现象被引量:3
- 2002年
- 如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了在并发面向对象语言中应将inheritance层次和subtyping层次区别对待这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示.
- 王生原杨良怀袁崇义杨萍
- 关键词:并发面向对象范畴论程序设计
- 基于目标机上的EJTAG部件的交叉调试器实现方法
- 本发明提出了一种利用软件有效控制和使用目标机上的EJTAG部件的方案,据此完成了基于EJTAG的交叉调试器的设计与实现。该方案的特征在于:调试器命令的处理过程全部运行于宿主机,宿主机与目标机之间只需要4~5根信号线,不需...
- 田金兰苏宏谋王生原
- 文献传递
- 基于App对比分析的Android应用商店可信度评价方法
- 基于App对比分析的安卓应用商店可信度的评价方法,涉及软件工程领域和程序分析领域,所述方法适用于安卓应用程序,通过对安卓应用商店中的应用程序进行采样和对比分析,找出不同类型的差异,根据不同的重要程度给定不同的权值,应用评...
- 董渊吴亦颖王耀王生原
- 文献传递
- 并发进程指称语义的几种基于Trace模型的定义方法
- 1996年
- Trace模型是定义并发进程指称语义的基本方法之一.在Trace模型的基础上,为获得更广泛的表达能力,通过进程指称论域的各种变化,派生出了一系列的语义模型.并对于这些模型进行了综述.
- 王生原杨萍
- 关键词:形式语言指称语义
- GAS分析及其移植的实现被引量:3
- 2004年
- GAS(GNU Assembler)是自由软件基金会的 GNU工程的一个开放源代码的汇编器 ,它目前支持多种目标处理器和多种目标文件格式 .本文通过对 GAS进行分析 ,重点研究对其进行移植需要进行的工作 .然后根据我们面对的目标处理器的特点和要求 ,对 GAS进行了具体的移植工作 ,说明了移植的步骤和难点等 .
- 苏宏谋董渊王生原田金兰张素琴
- 关键词:GAS汇编器
- 基于音节字的手持无线通信终端藏文输入法
- 本发明属于手机用的藏文输入技术领域,其特征在于,首先把藏文中的韵母、生母、辅音、元音及其组合与英文字母建立一一对应关系,构成码表;其次,根据英文字母、符号设计键盘结构,同时,用导航键来选择特殊符号键中的标定符号技数字基本...
- 董渊王生原林森李挺
- 文献传递