咨询与建议

限定检索结果

文献类型

  • 1,078 篇 会议
  • 132 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 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...

作者

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

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是1111-1120 订阅
排序:
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Making the future safe for the past: adding genericity to the Java programming language  98
Making the future safe for the past: adding genericity to th...
收藏 引用
proceedings of the 13th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Gilad Bracha Martin Odersky David Stoutamire Philip Wadler Sun Microsystems University of South Australia Bell Labs Lucent Technologies
We present GJ, a design that extends the Java programming language with generic types and methods. These are both explained and implemented by translation into the unextended language. The translation closely mimics t...
来源: 评论
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... 详细信息
来源: 评论
EXOCHI: Architecture and programming environment for a heterogeneous multi-core multithreaded system
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 156-166页
作者: Wang, Perry H. Collins, Jamison D. Chinya, Gautham N. Hong Jiang Xinmin Tian Girkar, Milind Yang, Nick Y. Lueh, Guei-Yuan Wang, Hong Intel Corp Microprocessor Technol Labs Microarchitecture Res Lab Santa Clara CA 95051 USA Intel Corp Chipset Grp Santa Clara CA 95051 USA Intel Corp Software Solut Corp Intel Compiler Lab Santa Clara CA 95051 USA
Future mainstream microprocessors will likely integrate specialized accelerators, such as GPUs, onto a single die to achieve better performance and power efficiency. However, it remains a keen challenge to program suc... 详细信息
来源: 评论
CAPSULE: language and system support for efficient state sharing in distributed stream processing systems  12
CAPSULE: Language and system support for efficient state sha...
收藏 引用
6th acm International conference on Distributed Event-Based Systems, DEBS'12
作者: Losa, Giuliano Kumar, Vibhore Andrade, Henrique Gedik, Buǧra Hirzel, Martin Soulé, Robert Wu, Kun-Lung Ecole Polytechnique Fédérale de Lausanne Lausanne Switzerland Thomas J. Watson Research Center IBM Research 19 Skyline Drive Hawthorne NY 10532 United States Department of Computer Engineering Bilkent University Bilkent Ankara 06800 Turkey
Data stream processing applications are often expressed as data flow graphs, composed of operators connected via streams. This structured representation provides a simple yet powerful paradigm for building large-scale... 详细信息
来源: 评论