咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是631-640 订阅
排序:
MaJIC:: Compiling MATLAB for speed and responsiveness  02
MaJIC:: Compiling MATLAB for speed and responsiveness
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Almási, G Padua, D Univ Illinois Dept Comp Sci Champaign IL 60680 USA
This paper presents and evaluates techniques to improve the execution performance of MATLAB. Previous efforts concentrated on source to source translation and batch compilation;MaJIC provides an interactive frontend t... 详细信息
来源: 评论
Proceedings of the acm sigplan conference on programming language design and implementation (pldi)
Proceedings of the ACM SIGPLAN conference on programming lan...
收藏 引用
acm sigplan'01 conference on programming language design and implementation (pldi)
The proceedings contains 30 papers from the Proceedings of the acm sigplan conference on programming language and implementation (pldi). Topics discussed include: design and implementation of generics for the .NET com... 详细信息
来源: 评论
Efficient and precise datarace detection for multithreaded object-oriented programs
Efficient and precise datarace detection for multithreaded o...
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Choi, JD Lee, KW Loginov, A O'Callahan, R Sarkar, V Sridharan, M IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA Univ Washington Seattle WA 98195 USA Univ Wisconsin Madison WI 53706 USA MIT Cambridge MA 02139 USA
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... 详细信息
来源: 评论
Adoption and focus:: Practical linear types for imperative programming  02
Adoption and focus:: Practical linear types for imperative p...
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Fähndrich, M DeLine, R Microsoft Res Redmond WA 98052 USA
A type system with linearity is useful for checking software protocols and resource management at compile time. Linearity provides powerful reasoning about state changes, but at the price of restrictions on aliasing. ... 详细信息
来源: 评论
A compiler approach to fast hardware design space exploration in FPGA-based systems
A compiler approach to fast hardware design space exploratio...
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: So, B Hall, MW Diniz, PC Univ So Calif Inst Informat Sci Marina Del Rey CA 90292 USA
This paper describes an automated approach to hardware design space exploration, through a collaboration between parallelizing compiler technology and high-level synthesis tools. We present a compiler algorithm that a... 详细信息
来源: 评论
Effective sign extension elimination  02
Effective sign extension elimination
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Kawahito, M Komatsu, H Nakatani, T IBM Tokyo Res Lab Kanagawa 2428502 Japan
Computer designs are shifting from 32-bit architectures to 64-bit architectures, while most of the programs available today are still designed for 32-bit architectures, Java(TM), for example, specifies the frequently ... 详细信息
来源: 评论
Extended static checking for Java  02
Extended static checking for Java
收藏 引用
Proceedings of the acm sigplan 2002 conference on programming language design and implementation (pldi'02)
作者: Flanagan, Cormac Leino, K. Rustan M. Lillibridge, Mark Nelson, Greg Saxe, James B. Stata, Raymie Compaq Systems Research Center 130 Lytton Ave. Palo Alto CA 94301 United States
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ES... 详细信息
来源: 评论
A system and language for building system-specific, static analyses  02
A system and language for building system-specific, static a...
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Hallem, S Chelf, B Xie, YC Engler, D Stanford Univ Stanford CA 94305 USA
This paper presents a novel approach to bug-finding analysis and an implementation of that approach. Our goal is to find as many serious bugs as possible. To do so, we designed a flexible, easy-to-use extension langua... 详细信息
来源: 评论
Efficient discovery of regular stride patterns in irregular programs and its use in compiler prefetching
Efficient discovery of regular stride patterns in irregular ...
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Wu, YF Intel Labs Programming Syst Res Santa Clara CA 95052 USA
Irregular data references are difficult to prefetch, as the future memory address of a load instruction is hard to anticipate by a compiler. However, recent studies as well as our experience indicate that some importa... 详细信息
来源: 评论
Post-pass binary adaptation for software-based speculative precomputation
Post-pass binary adaptation for software-based speculative p...
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Liao, SSW Wang, PH Wang, H Hoflehner, G Lavery, D Shen, JP
Recently, a number of thread-based prefetching techniques have been proposed. These techniques aim at improving the latency of single-threaded applications by leveraging multithreading resources to perform memory pref... 详细信息
来源: 评论