咨询与建议

限定检索结果

文献类型

  • 783 篇 会议
  • 135 篇 期刊文献

馆藏范围

  • 918 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 806 篇 工学
    • 792 篇 软件工程
    • 529 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 12 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
  • 99 篇 理学
    • 84 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地质学
  • 52 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 20 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 164 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 70 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 34 篇 reliability
  • 32 篇 object oriented ...
  • 27 篇 probabilistic pr...
  • 26 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 22 篇 java
  • 19 篇 theory
  • 19 篇 concurrency
  • 18 篇 domain-specific ...
  • 17 篇 compilers
  • 17 篇 type systems

机构

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

作者

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

语言

  • 841 篇 英文
  • 76 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是661-670 订阅
排序:
Facile: A language and compiler for high-performance processor simulators  01
Facile: A language and compiler for high-performance process...
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Schnarr, EC Hill, MD Larus, JR QUIQ Inc Madison WI 53711 USA Univ Wisconsin Madison WI 53706 USA Microsoft Corp Res Redmond WA 98052 USA
Architectural simulators are essential tools for computer architecture and systems research and development. Simulators, however, are becoming frustratingly slow, because they must now model increasingly complex micro... 详细信息
来源: 评论
Java without the coffee breaks: A nonintrusive multiprocessor garbage collector  01
Java without the coffee breaks: A nonintrusive multiprocesso...
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Bacon, DF Attanasio, CR Lee, HB Rajan, VT Smith, S IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA
The deployment of Java as a concurrent programming language has created a critical need for high-performance, concurrent, and incremental multiprocessor garbage collection. We present the Recycler, a fully concurrent ... 详细信息
来源: 评论
Proceedings of the acm sigplan '00 conference on programming language design and implementation (pldi)
Proceedings of the ACM SIGPLAN '00 Conference on Programming...
收藏 引用
acm sigplan 2000 conference on programming language design and implementation (pldi)
The proceedings contains 30 papers. Topics discussed include runtime techniques, pointer analysis, program correctness, compilation for parallel hardware, high level transforms, java programs and java optimization.
来源: 评论
Demand-driven pointer analysis  01
Demand-driven pointer analysis
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Heintze, N Tardieu, O Ecole Mines Paris France
Known algorithms for pointer analysis are "global" in the sense that-they perform an exhaustive analysis of a program or program component. In this paper we introduce a demand-driven approach for pointer ana... 详细信息
来源: 评论
On the importance of points-to analysis and other memory disambiguation methods for C programs  01
On the importance of points-to analysis and other memory dis...
收藏 引用
acm sigplan'01 conference on programming language design and implementation (pldi)
作者: Ghiya, R. Lavery, D. Sehr, D. Intel Corporation 2200 Mission College Blvd Santa Clara CA 95052 United States
In this paper, we evaluate the benefits achievable from pointer analysis and other memory disambiguation techniques for C/C++ programs, using the framework of the production compiler for the Intel &reg Itanium™ pr... 详细信息
来源: 评论
Extensible algebraic datatypes with defaults  01
Extensible algebraic datatypes with defaults
收藏 引用
6th International conference on Functional programming (ICFP 2001)
作者: Zenger, M Odersky, M Swiss Fed Inst Technol INR Ecublens CH-1015 Lausanne Switzerland
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existing code. This paper introduces Extensi... 详细信息
来源: 评论
Developing a stage lighting system for scratch
Developing a stage lighting system for scratch
收藏 引用
6th acm sigplan Internatinal conference on Functional programming (ICFP'01)
作者: Sperber, M. Wilhelm-Schickard-Institut fur Info. Universität Tübingen Tübingen Germany
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvements of historic concepts. Lula repres... 详细信息
来源: 评论
A dynamic optimization framework for a Java just-in-time compiler  01
A dynamic optimization framework for a Java just-in-time com...
收藏 引用
acm sigplan conference on Object-oriented programming, Systems, languages, and Applications
作者: Toshio Suganuma Toshiaki Yasue Motohiro Kawahito Hideaki Komatsu Toshio Nakatani IBM Tokyo Research Laboratory 1623-14 Shimoturuma Yamato-shi Kanagawa 242-8502 Japan
The high performance implementation of Java Virtual Machines (JVM) and just-in-time (JIT) compilers is directed toward adaptive compilation optimizations on the basis of online runtime profile information. This paper ... 详细信息
来源: 评论
Effective synchronization removal for Java  00
Effective synchronization removal for Java
收藏 引用
acm sigplan' 00 conference on programming language design and implementation (pldi)
作者: Ruf, E Miscosoft Res Redmond WA 98025 USA
We present a new technique for removing unnecessary synchronization operations from statically compiled Java programs. Our approach improves upon current efforts based on escape analysis, as it can eliminate synchroni... 详细信息
来源: 评论
Functional reactive programming from first principles  00
Functional reactive programming from first principles
收藏 引用
acm sigplan' 00 conference on programming language design and implementation (pldi)
作者: Wan, ZY Hudak, P Yale Univ Dept Comp Sci New Haven CT 06520 USA
Functional Reactive programming, or FRP. is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behaviors and events. Behaviors are time-vary... 详细信息
来源: 评论