咨询与建议

限定检索结果

文献类型

  • 1,118 篇 会议
  • 137 篇 期刊文献

馆藏范围

  • 1,255 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,082 篇 工学
    • 1,011 篇 软件工程
    • 776 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 42 篇 电气工程
    • 40 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 132 篇 理学
    • 112 篇 数学
    • 13 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 生物学
    • 4 篇 物理学
    • 4 篇 化学
  • 88 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 40 篇 图书情报与档案管...
    • 29 篇 工商管理
  • 13 篇 教育学
    • 13 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 185 篇 design
  • 173 篇 languages
  • 102 篇 performance
  • 96 篇 computer program...
  • 62 篇 algorithms
  • 50 篇 computer program...
  • 47 篇 object oriented ...
  • 46 篇 experimentation
  • 43 篇 java programming...
  • 40 篇 verification
  • 35 篇 reliability
  • 32 篇 functional progr...
  • 31 篇 java
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 21 篇 domain-specific ...
  • 20 篇 measurement
  • 20 篇 concurrency
  • 19 篇 theory
  • 19 篇 c (programming l...

机构

  • 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 篇 mit cambridge ma...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 northeastern uni...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 shao zhong
  • 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,173 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation"
1255 条 记 录,以下是941-950 订阅
排序:
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 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Proper tail recursion and space efficiency  98
Proper tail recursion and space efficiency
收藏 引用
proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Clinger, William D. Northeastern Univ Boston MA United States
The IEEE/ANSI standard for Scheme requires implementations to be properly tail recursive. This ensures that portable code can rely upon the space efficiency of continuation-passing style and other idioms. On its face,... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Using integer sets for data-parallel program analysis and optimization
Using integer sets for data-parallel program analysis and op...
收藏 引用
proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Adve, Vikram Mellor-Crummey, John Rice Univ Houston United States
In this paper, we describe our experience with using an abstract integer-set framework to develop the Rice dHPF compiler, a compiler for High Performance Fortran. We present simple, yet general formulations of the maj... 详细信息
来源: 评论
Improving performance by branch reordering  98
Improving performance by branch reordering
收藏 引用
proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Yang, Minghui Uh, Gang-Ryung Whalley, David B. Florida State Univ Tallahassee FL United States
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on deeper pipelines and higher multiple iss... 详细信息
来源: 评论
Scalable cross-module optimization
Scalable cross-module optimization
收藏 引用
proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Ayers, Andrew de Jong, Stuart Peyton, John Schooler, Richard Hewlett-Packard Massachusetts Language Lab Chelmsford United States
Large applications are typically partitioned into separately compiled modules. Large performance gains in these applications are available by optimizing across module boundaries. One barrier to applying cross-module o... 详细信息
来源: 评论