咨询与建议

限定检索结果

文献类型

  • 1,099 篇 会议
  • 138 篇 期刊文献

馆藏范围

  • 1,237 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,072 篇 工学
    • 1,005 篇 软件工程
    • 778 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 32 篇 信息与通信工程
    • 12 篇 机械工程
    • 10 篇 电子科学与技术(可...
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 6 篇 生物工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 光学工程
    • 4 篇 航空宇航科学与技...
    • 2 篇 冶金工程
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
  • 138 篇 理学
    • 112 篇 数学
    • 13 篇 系统科学
    • 8 篇 生物学
    • 8 篇 统计学(可授理学、...
    • 7 篇 物理学
    • 5 篇 化学
  • 89 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 29 篇 工商管理
  • 17 篇 教育学
    • 17 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 170 篇 design
  • 157 篇 languages
  • 96 篇 performance
  • 95 篇 computer program...
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 42 篇 java programming...
  • 39 篇 verification
  • 34 篇 reliability
  • 28 篇 java
  • 28 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 compilers
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ washington ...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 univ penn philad...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 stanford univ st...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 8 篇 microsoft res re...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...

作者

  • 12 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 shao zhong
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 8 篇 gulwani sumit
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,156 篇 英文
  • 80 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation"
1237 条 记 录,以下是1131-1140 订阅
排序:
Component NextGen: A sound and expressive component framework for Java
收藏 引用
acm sigplan NOTICES 2007年 第10期42卷 153-170页
作者: Sasitorn, James Cartwright, Robert Rice Univ Houston TX 77251 USA
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across components are common in object-orien... 详细信息
来源: 评论
The design of a parallel graphics interface  98
The design of a parallel graphics interface
收藏 引用
25th Annual conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1998
作者: Igehy, Homan Stoll, Gordon Hanrahan, Pat Computer Science Department Stanford University United States
It has become increasingly difficult to drive a modern high-performance graphics accelerator at full speed with a serial immediate-mode graphics interface. To resolve this problem, retained-mode constructs have been i... 详细信息
来源: 评论
Parallel Architectures and Compilation Techniques - conference proceedings, PACT
Parallel Architectures and Compilation Techniques - Conferen...
收藏 引用
1998 International conference on Parallel Architectures and Compilation Techniques, PACT 1998
The proceedings contain 50 papers. The topics discussed include: integrating loop and data transformations for global optimization;optical versus electronic bus for address-transactions in future SMP architectures;Ori...
来源: 评论
Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language  89
Customization: optimizing compiler technology for SELF, a dy...
收藏 引用
proceedings of the acm sigplan 1989 conference on programming language design and implementation
作者: C. Chambers D. Ungar Stanford University
Dynamically-typed object-oriented languages please programmers, but their lack of static type information penalizes performance. Our new implementation techniques extract static type information from declaration-free ...
来源: 评论
Mdspan in C++: A Case Study in the Integration of Performance Portable Features into International language Standards
Mdspan in C++: A Case Study in the Integration of Performanc...
收藏 引用
2019 IEEE/acm International Workshop on Performance, Portability and Productivity in HPC, P3HPC 2019
作者: Hollman, David Lelbach, Bryce Edwards, H. Carter Hoemmen, Mark Sunderland, Daniel Trott, Christian R. Scalable Modeling and Analysis Sandia National Laboratories LivermoreCA United States NVIDIA Corp. Santa ClaraCA United States Engineering Sciences Sandia National Laboratories AlbuquerqueNM United States Center for Computing Research Sandia National Laboratories AlbuquerqueNM United States
Multi-dimensional arrays are ubiquitous in high-performance computing (HPC), but their absence from the C++ language standard is a long-standing and well-known limitation of their use for HPC. This paper describes the... 详细信息
来源: 评论
Merge: A programming model for heterogeneous multi-core systems
收藏 引用
acm sigplan NOTICES 2008年 第3期43卷 287-296页
作者: Linderman, Michael D. Collins, Jamison D. Wang, Hong Meng, Teresa H. Stanford Univ Dept Elect Engn Stanford CA 94305 USA Intel Corp Microarchitecture Res Lab Santa Cruz CA USA
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to parallel programming on heterogeneous p... 详细信息
来源: 评论
Towards an engineering approach to software design  2
Towards an engineering approach to software design
收藏 引用
2nd International conference on Software Engineering, ICSE 1976
作者: White, John R. Booth, Taylor L. Department of Electrical Engineering and Computer Science University of Connecticut StorrsCT United States
The software design process is discussed from an engineering point of view. Initially, a distinction is made between software design and program design. Software design is then described in terms of evolving a system ... 详细信息
来源: 评论
Fault-tolerant typed assembly language
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 42-53页
作者: Perry, Frances Mackey, Lester Reis, George A. Ligatti, Jay August, David I. Walker, David Princeton Univ Dept Comp Sci & Elect Engn Princeton NJ 08544 USA Univ S Florida Dept Comp Sci & Comp Engn Tampa FL 33620 USA
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. Although transient faults do not permanently damage the hardware, they may corrupt computations by alterin... 详细信息
来源: 评论
An expressive aspect language for system applications with Arachne  05
An expressive aspect language for system applications with A...
收藏 引用
AOSD 2005: 4th International conference on Aspect-Oriented Software Development
作者: Douence, Rémi Fritz, Thomas Loriant, Nicolas Menaud, Jean-Marc Ségura-Devillechaise, Marc Südholt, Mario OBASCO Project E ´Cole des Mines de Mantes INRIA 4 rue Alfred Kastler 44307 Nantes Cedex 3 France
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples of such concerns. While these concerns... 详细信息
来源: 评论
Scalable cross-module optimization  98
Scalable cross-module optimization
收藏 引用
proceedings of the acm sigplan 1998 conference on programming language design and implementation
作者: Andrew Ayers Stuart de Jong John Peyton Richard Schooler Hewlett-Packard Massachusetts Language Laboratory 300 Apollo Drive Chelmsford MA
Large applications are typically partitioned into separately compiled modules. Large performance gains in these applications are available by optimizing across module boundaries. One barrier to applying crossmodule op...
来源: 评论