咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1181-1190 订阅
排序:
Aggressive inlining  97
Aggressive inlining
收藏 引用
proceedings of the acm sigplan 1997 conference on programming language design and implementation
作者: Andrew Ayers Richard Schooler Robert Gottlieb Hewlett-Packard Massachusetts Language Laboratory 300 Apollo Drive Chelmsford MA
Existing research understates the benefits that can be obtained from inlining and cloning, especially when guided by profile information. Our implementation of inlining and cloning yields excellent results on average ...
来源: 评论
An expert system application in semicustom VLSI design  87
An expert system application in semicustom VLSI design
收藏 引用
proceedings of the 24th acm/IEEE design Automation conference
作者: R. L. Steele NCR Microelectronics 2001 Danfield Court Fort Collins Colorado
This paper describes the implementation of a prototype expert system that provides standard cell design advice in the areas of performance, manufacturability, testability, and overall design quality, from a netlist de...
来源: 评论
Æminium: a permission based concurrent-by-default programming language approach  14
Æminium: a permission based concurrent-by-default programmi...
收藏 引用
proceedings of the 35th acm sigplan conference on programming language design and implementation
作者: Sven Stork Karl Naden Joshua Sunshine Manual Mohr Alcides Fonseca Paulo Marques Jonathan Aldrich Carnegie Mellon University Karlsruhe Institute of Technology University of Coimbra
The aim of ÆMINIUM is to study the implications of having a concurrent-by-default programming language. This includes language design, runtime system, performance and software engineering *** conduct our study th... 详细信息
来源: 评论
Ownership types for flexible alias protection  98
Ownership types for flexible alias protection
收藏 引用
proceedings of the 13th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: David G. Clarke John M. Potter James Noble Microsoft Research Institute Macquarie University Sydney Australia
Object-oriented programming languages allow inter-object aliasing. Although necessary to construct linked data structures and networks of interacting objects, aliasing is problematic in that an aggregate object's ... 详细信息
来源: 评论
Efficient and precise datarace detection for multithreaded object-oriented programs  02
Efficient and precise datarace detection for multithreaded o...
收藏 引用
proceedings of the acm sigplan 2002 conference on programming language design and implementation
作者: Jong-Deok Choi Keunwoo Lee Alexey Loginov Robert O'Callahan Vivek Sarkar Manu Sridharan IBM T. J. Watson Research Center Univ. of Washington Univ. of Wisconsin - Madison MIT
We present a novel approach to dynamic datarace detection for multithreaded object-oriented programs. Past techniques for on-the-fly datarace detection either sacrificed precision for performance, leading to many fals... 详细信息
来源: 评论
Teapot: language support for writing memory coherence protocols  96
Teapot: language support for writing memory coherence protoc...
收藏 引用
proceedings of the acm sigplan 1996 conference on programming language design and implementation
作者: Satish Chandra Brad Richards James R. Larus Computer Sciences Department University of Wisconsin-Madison 1210 West Dayton St. Madison WI
Recent shared-memory parallel computer systems offer the exciting possibility of customizing memory coherence protocols to fit an application's semantics and sharing patterns. Custom protocols have been used to ac...
来源: 评论
Lightweight object-oriented shared variables for distributed applications on the Internet  98
Lightweight object-oriented shared variables for distributed...
收藏 引用
proceedings of the 13th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Jacob Harris Vivek Sarkar Massachusetts Institute of Technology IBM T. J. Watson Research Center
This paper describes a lightweight yet powerful approach for writing distributed applications using shared variables. Our approach, called SHAREHOLDER, is inspired by the flexible and intuitive model of information ac... 详细信息
来源: 评论
pHluid: the design of a parallel functional language implementation on workstations  96
pHluid: the design of a parallel functional language impleme...
收藏 引用
proceedings of the first acm sigplan international conference on Functional programming
作者: Cormac Flanagan Rishiyur S. Nikhil Rice University Department of Computer Science Houston Texas Digital Equipment Corp. Cambridge Research Laboratory One Kendall Square Bldg. 700 Cambridge Massachusetts
This paper describes the distributed memory implementation of a shared memory parallel functional language. The language is Id, an implicitly parallel, mostly functional language that is currently evolving into a dial... 详细信息
来源: 评论
Compiler support for garbage collection in a statically typed language  92
Compiler support for garbage collection in a statically type...
收藏 引用
proceedings of the acm sigplan 1992 conference on programming language design and implementation
作者: Amer Diwan Eliot Moss Richard Hudson
We consider the problem of supporting compacting garbage collection in the presence of modern compiler optimizations. Since our collector may move any heap object, it must accurately locate, follow, and update all poi...
来源: 评论
A logic programming tool for qualitative system design  86
A logic programming tool for qualitative system design
收藏 引用
proceedings of the international conference on APL
作者: Gert L. Moller Bang & Olufsen DK - 7600 Struer Denmark
Introducing a geometrical approach to propositional divalent logic with the truth-tables of the Boolean connectives as the geometrical objects, we can make a simple operational implementation in APL of basic inference...
来源: 评论