王生原
【姓名】 王生原
【职称】 副教授;
【研究领域】 计算机软件及计算机应用;计算机硬件技术;数学;
【研究方向】 程序设计语言与系统
【发表文献关键词】 继承反常,渐增式继承,CAD,弹箭计算,OpenMP,旋转体,范畴论,特征量,移植,分析,GAS,并发性,汇编器,并发面向对象,面向对象,操作系统,嵌入式微处理器,软硬件协同开发,系统设计方案,型值点...
【工作单位】 清华大学
【曾工作单位】 清华大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/39 31 31 3 219 5814
中国期刊全文数据库    共找到38篇
[1]甘元科;王蕾;王生原;.L2C可信编译器中的时钟分析/检查及其验证框架探讨[J]计算机科学.2026,(06)
[2]胡少儒;王隽伟;王生原;.面向龙芯处理器的一种CompCert可信编译器重定向实现[J]计算机科学.2024,(S2)
[3]李凌;李璜华;王生原;.在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程[J]计算机科学.2020,(06)
[4]李璜华;李凌;赵宇;王生原;李翔宇;.一种包解析器硬件配置描述语言及其编译结构[J]软件学报.2020,(08)
[5]杨萍;王生原;.CompCert编译器目标代码生成机制分析[J]计算机科学.2020,(09)
[6]杨萍;王生原;.同步数据流语言可信编译器的研究进展[J]计算机科学.2019,(05)
[7]康跃馨;甘元科;王生原;.同步数据流语言可信编译器Vélus与L2C的比较[J]软件学报.2019,(07)
[8]尚书;甘元科;石刚;王生原;董渊;.可信编译器L2C的核心翻译步骤及其设计与实现[J]软件学报.2017,(05)
[9]刘洋;甘元科;王生原;董渊;杨斐;石刚;闫鑫;.同步数据流语言高阶运算消去的可信翻译[J]软件学报.2015,(02)
[10]蒋挺宇;王鹏;杨述;褥震;董渊;王生原;嵇智源;.基于中间语言的JNI内存泄漏检查[J]计算机研究与发展.2015,(04)
更多
承担国家科研项目    共找到2个
[1]王生原;.用于目标机描述的元对象Petri网模型[A].清华大学;.项目经费 24万元.2005-03-31.资助文献数 3 篇
[2]王生原.基于有色网的事务型并发编程模型及其验证技术[A].清华大学.项目经费 50万元.2008-06-20.资助文献数 0 篇
更多