咨询与建议

限定检索结果

文献类型

  • 1,984 篇 会议
  • 735 篇 期刊文献

馆藏范围

  • 2,719 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,547 篇 工学
    • 2,305 篇 计算机科学与技术...
    • 1,889 篇 软件工程
    • 335 篇 电气工程
    • 159 篇 电子科学与技术(可...
    • 135 篇 信息与通信工程
    • 129 篇 控制科学与工程
    • 38 篇 机械工程
    • 38 篇 生物工程
    • 22 篇 建筑学
    • 20 篇 光学工程
    • 19 篇 材料科学与工程(可...
    • 19 篇 土木工程
    • 19 篇 化学工程与技术
    • 15 篇 动力工程及工程热...
    • 14 篇 仪器科学与技术
    • 12 篇 安全科学与工程
    • 10 篇 力学(可授工学、理...
  • 685 篇 理学
    • 554 篇 数学
    • 77 篇 物理学
    • 41 篇 生物学
    • 40 篇 系统科学
    • 35 篇 统计学(可授理学、...
    • 19 篇 化学
  • 306 篇 管理学
    • 207 篇 管理科学与工程(可...
    • 111 篇 图书情报与档案管...
    • 88 篇 工商管理
  • 22 篇 经济学
    • 21 篇 应用经济学
  • 19 篇 教育学
    • 19 篇 教育学
  • 14 篇 法学
    • 12 篇 社会学
  • 8 篇 医学
  • 3 篇 农学
  • 2 篇 文学
  • 1 篇 艺术学

主题

  • 2,719 篇 program compiler...
  • 58 篇 compilers
  • 42 篇 embedded systems
  • 29 篇 java
  • 27 篇 computer archite...
  • 26 篇 parallel process...
  • 25 篇 c language
  • 23 篇 software enginee...
  • 23 篇 program diagnost...
  • 23 篇 formal specifica...
  • 22 篇 parallel program...
  • 21 篇 parallel archite...
  • 21 篇 formal verificat...
  • 20 篇 software tools
  • 19 篇 multiprocessing ...
  • 19 篇 code generation
  • 18 篇 programming
  • 17 篇 program processo...
  • 16 篇 program verifica...
  • 16 篇 unified modeling...

机构

  • 12 篇 carnegie mellon ...
  • 11 篇 eth zurich
  • 10 篇 inria
  • 9 篇 university of ed...
  • 8 篇 university of ed...
  • 8 篇 purdue universit...
  • 7 篇 microsoft resear...
  • 7 篇 univ nova lisboa...
  • 7 篇 carnegie mellon ...
  • 6 篇 microsoft resear...
  • 6 篇 stanford univers...
  • 6 篇 inria sophia ant...
  • 6 篇 microsoft resear...
  • 6 篇 peking universit...
  • 6 篇 google
  • 5 篇 university of sc...
  • 5 篇 shanghai jiao to...
  • 5 篇 meta ai united s...
  • 5 篇 department of co...
  • 5 篇 syracuse univ sy...

作者

  • 14 篇 amarasinghe sama...
  • 13 篇 eigenmann rudolf
  • 10 篇 patrignani marco
  • 9 篇 hwu wen-mei w.
  • 9 篇 kjolstad fredrik
  • 9 篇 cohen albert
  • 9 篇 gomes luis
  • 8 篇 kandemir m
  • 8 篇 tseng chau-wen
  • 8 篇 hendren laurie j...
  • 8 篇 cummins chris
  • 8 篇 padua david
  • 8 篇 chambers craig
  • 8 篇 kennedy ken
  • 7 篇 leather hugh
  • 7 篇 kasahara hironor...
  • 7 篇 eggers susan j.
  • 7 篇 mowry todd c.
  • 7 篇 banerjee prithvi...
  • 7 篇 nicolau alexandr...

语言

  • 2,537 篇 英文
  • 153 篇 其他
  • 15 篇 中文
  • 6 篇 日文
  • 3 篇 葡萄牙文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 塞尔维亚文
检索条件"主题词=Program compilers"
2719 条 记 录,以下是131-140 订阅
排序:
LR-PARSING DERIVED
收藏 引用
SCIENCE OF COMPUTER programMING 1992年 第2期19卷 171-196页
作者: HESSELINK, WH UNIV GRONINGEN DEPT COMP SCI9700 AV GRONINGENNETHERLANDS
The LR(k)-parsing algorithm is derived, i.e., presented and proved as an interplay between program development and parsing theory. The program development uses invariants and the new concept of weakest angelic precond... 详细信息
来源: 评论
Optimizing Java bytecodes
收藏 引用
CONCURRENCY-PRACTICE AND EXPERIENCE 1997年 第6期9卷 427-444页
作者: Cierniak, M Li, W UNIV ROCHESTER DEPT COMP SCIROCHESTERNY 14627
We have developed a research compiler for Java class files. The compiler, which we call Briki, is designed to test new compilation techniques, We focus on optimizations which are only possible or much easier to perfor... 详细信息
来源: 评论
Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior
收藏 引用
programMING AND COMPUTER SOFTWARE 2022年 第7期48卷 445-454页
作者: Baev, R. V. Skvortsov, L. V. Kudryashov, E. A. Buchatskiy, R. A. Zhuykov, R. A. Russian Acad Sci Ivannikov Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia
Sophisticated optimization in modern compilers can sometimes create vulnerabilities in program code as a result of optimization. The source of these vulnerabilities is in code with undefined behavior. programmers use ... 详细信息
来源: 评论
COMPILING FOR DISTRIBUTED-MEMORY SYSTEMS
收藏 引用
PROCEEDINGS OF THE IEEE 1993年 第2期81卷 264-287页
作者: ZIMA, HP CHAPMAN, BM UNIV BONN W-5300 BONN GERMANY RICE UNIV HOUSTON TX 77251 USA
Distributed-memory systems are potentially scalable to a very large number of processors and promise to be powerful tools for solving large-scale scientific and engineering problems. However, these machines are curren... 详细信息
来源: 评论
MULTITHREADED LANGUAGES FOR SCIENTIFIC AND TECHNICAL COMPUTING
收藏 引用
PROCEEDINGS OF THE IEEE 1993年 第2期81卷 288-304页
作者: PANCAKE, CM AUBURN UNIV FAC COMP SCI & ENGNAUBURNAL 36849
To attract more technical programmers to high-performance computing platforms, vendors have developed programming language extensions designed to exploit parallel processors. This article provides an overview of langu... 详细信息
来源: 评论
A minimum-cost circulation approach to DSP address-code generation
收藏 引用
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 1999年 第6期18卷 726-741页
作者: Gebotys, CH Univ Waterloo Dept Elect & Comp Engn Waterloo ON N2L 3G1 Canada
This paper presents a new approach to solving the DSP address code generation problem. A minimum cost circulation approach is used to efficiently generate high-performance addressing code in polynomial time. Results s... 详细信息
来源: 评论
MULTIPLE-OBJECTIVE OPTIMIZATION IN A BEHAVIORAL SYNTHESIS SYSTEM
收藏 引用
IEE PROCEEDINGS-G CIRCUITS DEVICES AND SYSTEMS 1993年 第4期140卷 253-260页
作者: BAKER, KR CURRIE, AJ NICHOLS, KG Department of Electronics and Computer Science University of Southampton Southampton Hants. SO9 5NH UK
The paper describes the implementation of an 'intelligent' silicon compiler that provides the ability to optimise a design, given as a behavioural description, with respect to multiple objectives. The user sub... 详细信息
来源: 评论
Improving Parallelism in Git and GNU Compiler Collection: Strategies, Difficulties, and Lessons Learned
收藏 引用
IEEE SOFTWARE 2021年 第5期38卷 92-100页
作者: Bernardino, Matheus Tavares Belinassi, Giuliano Meirelles, Paulo Guerra, Eduardo Martins Goldman, Alfredo Univ Sao Paulo Comp Sci Sao Paulo Brazil Univ Fed Sao Paulo Sao Paulo Brazil Free Univ Bozen Bolzano Bolzano Italy Univ Sao Paulo Sao Paulo Brazil
This article presents approaches for performance improvements into two large and well-known open source projects, Git and GNU Compiler Collection, using parallel programming. We share the difficulties faced and the st... 详细信息
来源: 评论
Source level static branch prediction
收藏 引用
COMPUTER JOURNAL 1999年 第2期42卷 142-149页
作者: Wong, WF Natl Univ Singapore Sch Comp Dept Comp Sci Singapore 119260 Singapore
The ability to predict the directions of branches, especially conditional branches, is an important problem in modern computer architecture and advanced compilers. Many static and dynamic techniques have been proposed... 详细信息
来源: 评论
ADA TECHNOLOGY - CURRENT STATUS AND COST IMPACT
收藏 引用
PROCEEDINGS OF THE IEEE 1991年 第1期79卷 22-29页
作者: BHANSALI, PV PFLUG, BK TAYLOR, JA WOOLLEY, JD Boeing Commercial Airplane Group Seattle WA
Ada was developed to become the standard high-order programming language for all U.S. Department of Defense embedded applications. Because of its general purpose nature and the fact that it is based on sound software ... 详细信息
来源: 评论