您的位置: 专家智库 > >

王生原

作品数:72 被引量:198H指数:7
供职机构:清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金:国家自然科学基金国家科技重大专项国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术文化科学电子电信石油与天然气工程更多>>

文献类型

  • 40篇期刊文章
  • 22篇专利
  • 8篇会议论文
  • 1篇学位论文
  • 1篇科技成果

领域

  • 46篇自动化与计算...
  • 3篇文化科学
  • 2篇电子电信
  • 1篇石油与天然气...
  • 1篇电气工程
  • 1篇建筑科学
  • 1篇交通运输工程
  • 1篇一般工业技术
  • 1篇自然科学总论

主题

  • 10篇形式化
  • 10篇形式化验证
  • 10篇编译器
  • 7篇终端
  • 7篇操作系
  • 7篇操作系统
  • 6篇代码
  • 6篇虚拟机
  • 6篇移动终端
  • 6篇字节
  • 6篇字节码
  • 6篇PETRI网
  • 5篇网络
  • 4篇调用图
  • 4篇信息描述
  • 4篇移动终端软件
  • 4篇软件工程
  • 4篇终端软件
  • 4篇重定向
  • 4篇后缀

机构

  • 64篇清华大学
  • 7篇兰州大学
  • 4篇北京语言大学
  • 3篇北京大学
  • 3篇太原理工大学
  • 3篇新疆大学
  • 2篇科技部
  • 2篇北京广利核系...
  • 1篇北京科技大学
  • 1篇桂林电子科技...
  • 1篇北京信息科技...
  • 1篇山西大学
  • 1篇新加坡国立大...
  • 1篇山西省电力公...

作者

  • 72篇王生原
  • 46篇董渊
  • 12篇张素琴
  • 7篇石刚
  • 5篇田金兰
  • 5篇杨萍
  • 5篇骆欢
  • 4篇曹震
  • 4篇杨萍
  • 4篇张丽伟
  • 4篇李叠
  • 3篇戴桂兰
  • 3篇杨斐
  • 3篇苏宏谋
  • 3篇闫鑫
  • 3篇王鹏
  • 3篇张玲波
  • 2篇郑纬民
  • 2篇孙金龙
  • 2篇张伟达

传媒

  • 9篇计算机科学
  • 8篇软件学报
  • 3篇计算机应用与...
  • 3篇兰州大学学报...
  • 3篇小型微型计算...
  • 2篇清华大学学报...
  • 2篇计算机工程
  • 2篇计算机教育
  • 2篇第九届全国数...
  • 1篇太原理工大学...
  • 1篇中国大学教学
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇系统仿真学报
  • 1篇计算机工程与...
  • 1篇信息化纵横
  • 1篇中国科学:信...
  • 1篇第九届全国P...
  • 1篇第十二届全国...
  • 1篇中国计算机学...

年份

  • 3篇2020
  • 2篇2019
  • 1篇2018
  • 2篇2017
  • 1篇2016
  • 4篇2015
  • 9篇2014
  • 10篇2013
  • 2篇2012
  • 1篇2011
  • 7篇2010
  • 6篇2009
  • 1篇2008
  • 2篇2007
  • 4篇2006
  • 4篇2005
  • 4篇2004
  • 1篇2003
  • 1篇2002
  • 1篇2001
72 条 记 录,以下是 1-10
排序方式:
基于指令聚类与指令调度的嵌入式软件功耗优化研究被引量: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汇编器
基于音节字的手持无线通信终端藏文输入法
本发明属于手机用的藏文输入技术领域,其特征在于,首先把藏文中的韵母、生母、辅音、元音及其组合与英文字母建立一一对应关系,构成码表;其次,根据英文字母、符号设计键盘结构,同时,用导航键来选择特殊符号键中的标定符号技数字基本...
董渊王生原林森李挺
文献传递
共8页<12345678>
聚类工具0