您的位置： 专家智库 > >

张丽伟

作品数：6 被引量：5H指数：1
供职机构：清华大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 5个自动化与计算...
  • 3个电子电信
  • 3个文化科学
  • 2个石油与天然气...
  • 2个电气工程
  • 2个建筑科学
  • 2个交通运输工程
  • 2个一般工业技术
  • 2个自然科学总论
  • 1个经济管理
  • 1个天文地球
  • 1个机械工程
  • 1个水利工程
  • 1个医药卫生
  • 1个理学

主题

  • 5个字节
  • 5个字节码
  • 5个逻辑系统
  • 4个代码
  • 4个多核
  • 4个多核处理
  • 4个多核处理器
  • 3个导航
  • 3个调度
  • 3个形式化
  • 3个形式化验证
  • 3个虚拟机
  • 2个导航键
  • 2个道岔
  • 2个调试器
  • 2个调用图
  • 2个定理
  • 2个定理证明
  • 2个信息处理
  • 2个信息描述

机构

  • 4个清华大学
  • 1个北京大学
  • 1个北京语言大学
  • 1个兰州大学

资助

  • 5个国家高技术研...
  • 5个国家自然科学...
  • 3个国家科技重大...
  • 2个国家科技支撑...
  • 1个甘肃省自然科...
  • 1个国家社会科学...
  • 1个国家重点基础...
  • 1个山西省自然科...
  • 1个中国石油天然...
  • 1个广西壮族自治...
  • 1个“八五”国家...
  • 1个“九五”国家...
  • 1个广西教育厅科...
  • 1个国家教育振兴...
  • 1个中国学位与研...
  • 1个中国石油天然...

传媒

  • 5个软件学报
  • 4个电子学报
  • 4个计算机科学
  • 3个计算机研究与...
  • 3个清华大学学报...
  • 3个计算机工程
  • 3个计算机应用与...
  • 3个小型微型计算...
  • 3个计算机工程与...
  • 3个计算机教育
  • 3个中国计算机学...
  • 2个系统仿真学报
  • 2个中国科学：信...
  • 2个第十二届全国...
  • 2个第十二届全国...
  • 1个内蒙古大学学...
  • 1个太原理工大学...
  • 1个中国大学教学
  • 1个计算机学报
  • 1个武汉大学学报...

地区

  • 5个北京市
共 5 条 记 录，以下是 1-5
王生原
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：编译器 形式化验证 字节码 PETRI网 COQ
发表作品相关人物供职机构所获资助研究领域
董渊
供职机构：清华大学
研究主题：字节码 软件工程 编译器 形式化验证 操作系统
发表作品相关人物供职机构所获资助研究领域
朱允敏
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：并行程序验证 多核处理器 自旋锁 逻辑系统 字节码
发表作品相关人物供职机构所获资助研究领域
张素琴
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：编译器 面向对象 类库 LINUX C++
发表作品相关人物供职机构所获资助研究领域
杨萍
供职机构：北京语言大学信息科学学院
研究主题：编译器 重定向 LUSTRE 翻译 SIGNAL
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0