咨询与建议

限定检索结果

文献类型

  • 4 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 5 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5 篇 工学
    • 4 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 1 篇 机械工程

主题

  • 5 篇 compiler optimiz...
  • 1 篇 memory managemen...
  • 1 篇 program locality
  • 1 篇 binary file comp...
  • 1 篇 clone detection
  • 1 篇 modified conditi...
  • 1 篇 inter-instance a...
  • 1 篇 data-layout opti...
  • 1 篇 structure data l...
  • 1 篇 intra-instance a...
  • 1 篇 memory hierarchy
  • 1 篇 symbolic executi...
  • 1 篇 stream register ...
  • 1 篇 performance moni...
  • 1 篇 srf coloring
  • 1 篇 graph coloring
  • 1 篇 stream processor
  • 1 篇 optimization rec...

机构

  • 1 篇 pdl school of co...
  • 1 篇 state key labora...
  • 1 篇 department of co...
  • 1 篇 college of compu...
  • 1 篇 department of co...
  • 1 篇 school of comput...

作者

  • 1 篇 张英
  • 1 篇 唐滔
  • 1 篇 陈文光
  • 1 篇 wei dong
  • 1 篇 晏小波
  • 1 篇 yew pen-chung
  • 1 篇 王桂彬
  • 1 篇 汪黎
  • 1 篇 wei-jiang hong
  • 1 篇 闫家年
  • 1 篇 杜静
  • 1 篇 郑纬民
  • 1 篇 杨学军
  • 1 篇 ji wang
  • 1 篇 邓宇
  • 1 篇 yi-jun liu
  • 1 篇 hui chen
  • 1 篇 zhen-bang chen

语言

  • 4 篇 英文
  • 1 篇 中文
检索条件"主题词=Compiler optimization"
5 条 记 录,以下是1-10 订阅
排序:
Modified condition/decision coverage(MC/DC)oriented compiler optimization for symbolic execution
收藏 引用
Frontiers of Information Technology & Electronic Engineering 2020年 第9期21卷 1267-1284页
作者: Wei-jiang HONG Yi-jun LIU Zhen-bang CHEN Wei DONG Ji WANG College of Computer National University of Defense TechnologyChangsha 410073China State Key Laboratory of High Performance Computing National University of Defense TechnologyChangsha 410073China
Symbolic execution is an effective way of systematically exploring the search space of a program,and is often used for automatic software testing and bug *** program to be analyzed is usually compiled into a binary or... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
The Influences of compiler optimization on Binary Files Similarity Detection
The Influences of Compiler Optimization on Binary Files Simi...
收藏 引用
2013教育技术与信息系统国际会议
作者: Hui Chen School of Computer Science and Technology Shandong Yingcai University
Binary files are generated after compilation. To analyze the similarity detection of binary files, the influences of compiler optimization should be considered. We tested generated binary files with similarity detecti... 详细信息
来源: cnki会议 评论
SRF Coloring:Stream Register File Allocation via Graph Coloring
收藏 引用
Journal of Computer Science & Technology 2009年 第1期24卷 152-164页
作者: 杨学军 邓宇 汪黎 晏小波 杜静 张英 王桂彬 唐滔 PDL School of ComputerNational University of Defense Technology
Stream Register File (SRF) is a large on-chip memory of the stream processor and its efficient management is essential for good performance. Current stream programming languages expose the management of SRF to the p... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
ASLOP:A field-access affinity-based structure data layout optimizer
收藏 引用
Science China(Information Sciences) 2011年 第9期54卷 1769-1783页
作者: YEW Pen-Chung Department of Computer Science and Engineering University of Minnesota at Twin-Cities
By rearranging the data,data layout optimizations improve the utilization of a cache line between two of its successive refills,thus reducing the total number of cache line refills and improving the performance of a *... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
PMU Guided Structure Data-Layout optimization
收藏 引用
Tsinghua Science and Technology 2011年 第2期16卷 145-150页
作者: 闫家年 陈文光 郑纬民 Department of Computer Science and Technology Tsinghua University
Existing methods of obtaining runtime feedback for structure data-layout optimization have several drawbacks, such as large overhead and difficulty composing training sets. As a result, structure data-layout optimizat... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论