咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 805 篇 工学
    • 791 篇 软件工程
    • 528 篇 计算机科学与技术...
    • 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
  • 69 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 41 篇 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

语言

  • 839 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
917 条 记 录,以下是581-590 订阅
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
Cloning-based context-sensitive pointer alias analysis using...
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Whaley, John Lam, Monica S. Computer Science Department Stanford University Stanford CA 94305 United States
This paper presents the first scalable context-sensitive, inclusion-based pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a method for every context of interest, a... 详细信息
来源: 评论
Min-cut program decomposition for thread-level speculation
Min-cut program decomposition for thread-level speculation
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Johnson, Troy A. Eigenmann, Rudolf Vijaykumar, T.N. Sch. of Elec. and Comp. Engineering Purdue University West Lafayette IN 47907 United States
With billion-transistor chips on the horizon, single-chip multiprocessors (CMPs) are likely to become commodity components. Speculative CMPs use hardware to enforce dependence, allowing the compiler to improve perform... 详细信息
来源: 评论
Scalable lock-free dynamic memory allocation
Scalable lock-free dynamic memory allocation
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Michael, Maged M. IBM Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights NY 10598 United States
Dynamic memory allocators (malloc/free) rely on mutual exclusion locks for protecting the consistency of their shared data structures under multithreading. The use of locking has many disadvantages with respect to per... 详细信息
来源: 评论
Prefetch injection based on hardware monitoring and object metadata
Prefetch injection based on hardware monitoring and object m...
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Adl-Tabatabai, Ali-Reza Hudson, Richard L. Serrano, Mauricio J. Subramoney, Sreenivas Programming Systems Laboratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA United States
Cache miss stalls hurt performance because of the large gap between memory and processor speeds - for example, the popular server benchmark SPEC JBB2000 spends 45% of its cycles stalled waiting for memory requests on ... 详细信息
来源: 评论
A cost-driven compilation framework for speculative parallelization of sequential programs
A cost-driven compilation framework for speculative parallel...
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Du, Zhao-Hui Yang, Chen Lim, Chu-Cheow Zhao, Qingyu Li, Xiao-Feng Ngai, Tin-Fook Intel China Research Center Intel China Ltd. Beijing China Programming Systems Lab Intel Corporation Santa Clara California United States
The emerging hardware support for thread-level speculation opens new opportunities to parallelize sequential programs beyond the traditional limits. By speculating that many data dependences are unlikely during runtim... 详细信息
来源: 评论
Parametric analysis for adaptive computation offloading
Parametric analysis for adaptive computation offloading
收藏 引用
conference on programming language design and implementation
作者: Wang, C Li, ZY Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA
Many programs can be invoked under different execution options;input parameters and data files. Such different execution contexts may lead to strikingly different execution instances. The optimal code generation may b... 详细信息
来源: 评论
Mirrors: design principles for meta-level facilities of object-oriented programming languages
Mirrors: Design principles for meta-level facilities of obje...
收藏 引用
19th conference on Object-Oriented programming, Systems, languages, and Applications
作者: Bracha, G Ungar, D Sun Microsyst Inc Santa Clara CA 95054 USA Sun Microsyst Inc Mountain View CA 94043 USA
We identify three design principles for reflection and metaprogramming facilities in object oriented programming languages. Encapsulation: meta-level facilities must encapsulate their implementation. Stratification: m... 详细信息
来源: 评论
The liberty structural specification language: A high-level modeling language for component reuse
The liberty structural specification language: A high-level ...
收藏 引用
conference on programming language design and implementation
作者: Vachharajani, M Vachharajani, N August, DI Princeton Univ Dept Comp Sci & Elect Engn Princeton NJ 08544 USA
Rapid exploration of the design space with simulation models is essential for quality hardware systems research and development. Despite striking commonalities across hardware systems, designers routinely fail to achi... 详细信息
来源: 评论
Concrete syntax for objects - Domain-specific language embedding and assimilation without restrictions
Concrete syntax for objects - Domain-specific language embed...
收藏 引用
19th conference on Object-Oriented programming, Systems, languages, and Applications
作者: Bravenboer, M Visser, E Univ Utrecht Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands
Application programmer's interfaces give access to domain knowledge encapsulated in class libraries without providing the appropriate notation for expressing domain composition. Since object-oriented languages are... 详细信息
来源: 评论
Practical predicate dispatch  04
Practical predicate dispatch
收藏 引用
19th conference on Object-Oriented programming, Systems, languages, and Applications
作者: Millstein, T Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90024 USA
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate gu... 详细信息
来源: 评论