咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 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 washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

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

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是711-720 订阅
排序:
Thin locks: Featherweight synchronization for Java
Thin locks: Featherweight synchronization for Java
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Bacon, David F. Konuru, Ravi Murthy, Chet Serrano, Mauricio IBM T.J. Watson Research Cent Yorktown Heights United States
language-supported synchronization is a source of serious performance problems in many Java programs. Even single-threaded applications may spend up to half their time performing useless synchronization due to the thr... 详细信息
来源: 评论
Fast, effective code generation in a just-in-time Java compiler  98
Fast, effective code generation in a just-in-time Java compi...
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Adl-Tabatabai, Ali-Reza Cierniak, Michal Lueh, Guei-Yuan Parikh, Vishesh M. Stichnoth, James M. Intel Corp Santa Clara CA United States
A `Just-In-Time' (JIT) Java compiler produces native code from Java byte code instructions during program execution. As such, compilation speed is more important in a Java JIT compiler than in a traditional compil... 详细信息
来源: 评论
Memory management with explicit regions
Memory management with explicit regions
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Gay, David Aiken, Alex Univ of California Berkeley United States
Much research has been devoted to studies of and algorithms for memory management based on garbage collection or explicit allocation and deallocation. An alternative approach, region-based memory management, has been ... 详细信息
来源: 评论
implementation of the Cilk-5 multithreaded language
Implementation of the Cilk-5 multithreaded language
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Frigo, Matteo Leiserson, Charles E. Randall, Keith H. MIT Lab for Computer Science Cambridge MA United States
The fifth release of the multithreaded language Cilk uses a provably good `work-stealing' scheduling algorithm similar to the first system, but the language has been completely redesigned and the runtime system co... 详细信息
来源: 评论
Automatically closing open reactive programs
Automatically closing open reactive programs
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Colby, Christopher Godefroid, Patrice Jagadeesan, Lalita Jategaonkar Loyola Univ Chicago Chicago United States
We study in this paper the problem of analyzing implementations of open systems - systems in which only some of the components are present. We present an algorithm for automatically dosing an open concurrent reactive ... 详细信息
来源: 评论
implementation and evaluation of fusion and contraction in array languages
Implementation and evaluation of fusion and contraction in a...
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Lewis, E.Christopher Lin, Calvin Snyder, Lawrence Univ of Washington Seattle WA United States
Array languages such as Fortran 90, HPF and ZPL have many benefits in simplifying array-based computations and expressing data parallelism. However, they can suffer large performance penalties because they introduce i... 详细信息
来源: 评论
A portable implementation of the distributed systems Annex in Java  98
A portable implementation of the distributed systems Annex i...
收藏 引用
1998 Annual acm SIGAda International conference on Ada, SIGAda 1998
作者: Tzruya, Yoav Ben-Ari, Mordechai Department of Computer Science Tel-Aviv University Ramat-Aviv69978 Israel Department of Science Teaching Weizmann Institute of Science Rehovot76100 Israel
This paper describes an implementation of the Distributed Systems Annex of Ada95. The use of Java to build the Partition Communication Subsystem provides portability and Internet compatibility of distributed applicati... 详细信息
来源: 评论
Study of dead data members in C++ applications
Study of dead data members in C++ applications
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Sweeney, Peter P. Tip, Frank IBM Thomas J. Watson Research Cent Yorktown Heights United States
Object-oriented applications may contain data members that can be removed from the application without affecting program behavior. Such `dead' data members may occur due to unused functionality in class libraries,... 详细信息
来源: 评论
Communication optimizations for parallel C programs  98
Communication optimizations for parallel C programs
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Zhu, Yingchun Hendren, Laurie J. McGill Univ Montreal Que Canada
This paper presents algorithms for reducing the communication overhead for parallel C programs that use dynamically-allocated data structures. The framework consists of an analysis phase called possible-placement anal... 详细信息
来源: 评论
Run-time code generation and modal-ML  98
Run-time code generation and modal-ML
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Wickline, Philip Lee, Peter Pfenning, Frank Carnegie Mellon Univ Pittsburgh PA United States
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML, extends ML with modal operators in the style of the Mini-MLe language of Davies and Pfenning. ML all... 详细信息
来源: 评论