咨询与建议

限定检索结果

文献类型

  • 1,991 篇 会议
  • 766 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2,586 篇 工学
    • 2,346 篇 计算机科学与技术...
    • 1,926 篇 软件工程
    • 317 篇 电气工程
    • 158 篇 电子科学与技术(可...
    • 136 篇 信息与通信工程
    • 129 篇 控制科学与工程
    • 40 篇 生物工程
    • 39 篇 机械工程
    • 25 篇 建筑学
    • 23 篇 光学工程
    • 22 篇 材料科学与工程(可...
    • 22 篇 土木工程
    • 19 篇 化学工程与技术
    • 15 篇 动力工程及工程热...
    • 14 篇 仪器科学与技术
    • 13 篇 安全科学与工程
    • 10 篇 力学(可授工学、理...
  • 689 篇 理学
    • 554 篇 数学
    • 77 篇 物理学
    • 44 篇 生物学
    • 40 篇 系统科学
    • 35 篇 统计学(可授理学、...
    • 19 篇 化学
  • 305 篇 管理学
    • 202 篇 管理科学与工程(可...
    • 113 篇 图书情报与档案管...
    • 86 篇 工商管理
  • 21 篇 经济学
    • 20 篇 应用经济学
  • 20 篇 教育学
    • 20 篇 教育学
  • 14 篇 法学
    • 12 篇 社会学
  • 8 篇 医学
  • 3 篇 农学
  • 2 篇 文学
  • 1 篇 艺术学

主题

  • 2,757 篇 program compiler...
  • 47 篇 compilers
  • 43 篇 embedded systems
  • 30 篇 computer archite...
  • 27 篇 parallel process...
  • 27 篇 java
  • 24 篇 formal specifica...
  • 22 篇 program diagnost...
  • 21 篇 software enginee...
  • 21 篇 c language
  • 21 篇 formal verificat...
  • 20 篇 compilers, inter...
  • 19 篇 parallel archite...
  • 18 篇 programming
  • 18 篇 software tools
  • 18 篇 multiprocessing ...
  • 17 篇 parallel program...
  • 17 篇 unified modeling...
  • 17 篇 code generation
  • 16 篇 runtime

机构

  • 12 篇 carnegie mellon ...
  • 11 篇 eth zurich
  • 10 篇 inria
  • 9 篇 university of ed...
  • 9 篇 university of ed...
  • 8 篇 purdue universit...
  • 7 篇 stanford univers...
  • 7 篇 microsoft resear...
  • 7 篇 univ nova lisboa...
  • 7 篇 microsoft resear...
  • 7 篇 peking universit...
  • 6 篇 shanghai jiao to...
  • 6 篇 tsinghua univers...
  • 6 篇 microsoft resear...
  • 6 篇 google
  • 5 篇 university of sc...
  • 5 篇 penn state univ ...
  • 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 篇 cohen albert
  • 9 篇 gomes luis
  • 8 篇 kandemir m
  • 8 篇 tseng chau-wen
  • 8 篇 hendren laurie j...
  • 8 篇 cummins chris
  • 8 篇 padua david
  • 8 篇 kjolstad fredrik
  • 8 篇 chambers craig
  • 8 篇 kennedy ken
  • 7 篇 leather hugh
  • 7 篇 kasahara hironor...
  • 7 篇 eggers susan j.
  • 7 篇 kandemir m.
  • 7 篇 banerjee prithvi...
  • 7 篇 nicolau alexandr...

语言

  • 2,442 篇 英文
  • 289 篇 其他
  • 12 篇 中文
  • 6 篇 日文
  • 3 篇 葡萄牙文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 塞尔维亚文
检索条件"主题词=Program compilers"
2757 条 记 录,以下是2751-2760 订阅
排序:
An algorithmic search procedure for program generation
An algorithmic search procedure for program generation
收藏 引用
1967 Spring Joint Computer Conference, AFIPS 1967
作者: Halstead, M.H. Uber, G.T. Gielow, K.R. Lockheed Missiles and Space Company SunnyvaleCA United States
A programmer in writing and checking out an arithmetic computer program provides both a procedural description of the program and a set of numeric test cases. Similarly, a student of elementary physics is often given ... 详细信息
来源: 评论
A mathematical language compiler  56
A mathematical language compiler
收藏 引用
11th ACM National Meeting, ACM 1956
作者: Chipps, J. Koschmann, M. Orgel, S. Perlis, A. Smith, J. Purdue University United States
来源: 评论
ADAM - A problem-oriented symbol processor
ADAM - A problem-oriented symbol processor
收藏 引用
1963 Spring Joint Computer Conference, AFIPS 1963
作者: Mullery, A.P. Schauer, R.F. Rice, R. Thomas J. Watson Research Center International Business Machines Corporation Yorktown HeightsNY United States International Business Machines Corporation PoughkeepsieNY United States
Digital computers have evolved in their own technical environment, and to a large degree independently of the problem environment. Thus it was necessary to have computing centers with staffs of programmers as intermed... 详细信息
来源: 评论
There's still a place for interpreters  61
There's still a place for interpreters
收藏 引用
16th ACM National Meeting, ACM 1961
作者: Machol, Robert E. Eccles, William J. Bays, J. Carter School of Electrical Engineering Purdue University LafayetteIN United States Conductron Corp. Ann ArborMI United States
The emphasis is on compilers. There is no mention of the lowly nearly-machine-language interpreter which requires the user to write a program on a computer code. Three reasons are usually advanced for the employment o... 详细信息
来源: 评论
Intrinsic multiprocessing
Intrinsic multiprocessing
收藏 引用
1967 Spring Joint Computer Conference, AFIPS 1967
作者: Aschenbrenner, Richard A. Flynn, MichaelJ. Robinson, George A. Argonne National Laboratory ArgonneIL United States Northwestern University EvanstonIL United States University of Wisconsin MadisonWI United States
This independent organization of arithmetic, sequence control, and memory units give IMP the capacity for Intrinsic Multiprocessing, which can now be characterized by the following properties. (1) Since ACU's are ... 详细信息
来源: 评论
Parallel program schemata: A mathematical model for parallel computation  8
Parallel program schemata: A mathematical model for parallel...
收藏 引用
8th Annual Symposium on Switching and Automata Theory, SWAT 1967
作者: Karp, Richard M. Miller, Raymond E. IBM Watson Research Center Yorktown Heights NY10598 United States
Many recent design proposals for highperformance computer systems are based on an organization in which many programs, procedures within a program, or instances of the same procedure applied to different data, can sim... 详细信息
来源: 评论
MACRO INSTRUCTION EXTENSIONS OF COMPILER LANGUAGES
收藏 引用
COMMUNICATIONS OF THE ACM 1960年 第4期3卷 214-220页
作者: MCILROY, MD Bell Telephone Lab Inc. Murray Hill NJ
Macroinstruction compilers constructed from a small set of functions can be made extremely powerful. In particular, conditional assembly, nested definitions, and parenthetical notation serve to make a compiler capable... 详细信息
来源: 评论