咨询与建议

限定检索结果

文献类型

  • 1,094 篇 会议
  • 132 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

  • 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 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...
  • 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,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是451-460 订阅
排序:
Near-optimal intraprocedural branch alignment  97
Near-optimal intraprocedural branch alignment
收藏 引用
proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Young, Cliff Johnson, David S. Karger, David R. Smith, Michael D. Harvard Univ Cambridge MA United States
Branch alignment reorders the basic blocks of a program to minimize pipeline penalties due to control-transfer instructions. Prior work in branch alignment has produced useful heuristic methods. We present a branch al... 详细信息
来源: 评论
Advanced programming language design in enterprise software - A lambda-calculus theorist wanders into a datacenter  07
Advanced programming language design in enterprise software ...
收藏 引用
34th acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Murthy, Chet IBM Research
Enterprise software systems automate the business processes of most nontrivial organizations in the world economy. These systems are immensely complex, and their function is critical to our living standards and everyd... 详细信息
来源: 评论
Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation  16
Input Responsiveness: Using Canary Inputs to Dynamically Ste...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Laurenzano, Michael A. Hill, Parker Samadi, Mehrzad Mahlke, Scott Mars, Jason Tang, Lingjia Univ Michigan Dept Elect Engn & Comp Sci Ann Arbor MI 48109 USA
This paper introduces Input Responsive Approximation ( IRA), an approach that uses a canary input - a small program input carefully constructed to capture the intrinsic properties of the original input - to automatica... 详细信息
来源: 评论
Enforcing isolation and ordering in STM  07
Enforcing isolation and ordering in STM
收藏 引用
conference on programming language design and implementation
作者: Shpeisman, Tatiana Menon, Vijay Adl-Tabatabai, Ali-Reza Balensiefer, Steven Grossman, Dan Hudson, Richard L. Moore, Katherine F. Saha, Bratin Intel Corp Programming Syst Lab Santa Clara CA 95054 USA Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA
Transactional memory provides a new concurrency control mechanism that avoids many of the pitfalls of lock-based synchronization. High-performance software transactional memory (STM) implementations thus far provide w... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Debugging concurrent processes: A case study  88
Debugging concurrent processes: A case study
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Stone, Janice M. IBM Research Division T. J. Watson Research Center Yorktown HeightsNY10598 United States
We present a case study that illustrates a method of debugging concurrent processes in a parallel programming eminmmen~ It uses a new approach called specularirp rrpkay to reconstruct tbe behavior of a program from th... 详细信息
来源: 评论
Maximal Sound Predictive Race Detection with Control Flow Abstraction  14
Maximal Sound Predictive Race Detection with Control Flow Ab...
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Huang, Jeff Meredith, Patrick O'Neil Rosu, Grigore Univ Illinois Dept Comp Sci Urbana IL 61801 USA
Despite the numerous static and dynamic program analysis techniques in the literature, data races remain one of the most common bugs in modern concurrent software. Further, the techniques that do exist either have lim... 详细信息
来源: 评论
PADS/ML: A functional data description language  07
PADS/ML: A functional data description language
收藏 引用
34th acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Mandelbaum, Yitzhak Fisher, Kathleen Walker, David Fernandez, Mary Gleyzer, Artem Princeton Univ Princeton NJ 08544 USA
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily available. In this paper, we explain the des... 详细信息
来源: 评论
Expressing and Verifying Probabilistic Assertions  14
Expressing and Verifying Probabilistic Assertions
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Sampson, Adrian Panchekha, Pavel Mytkowicz, Todd McKinley, Kathryn S. Grossman, Dan Ceze, Luis Univ Washington Seattle WA 98195 USA
Traditional assertions express correctness properties that must hold on every program execution. However, many applications have probabilistic outcomes and consequently their correctness properties are also probabilis... 详细信息
来源: 评论
LaminarIR: Compile-Time Queues for Structured Streams  15
LaminarIR: Compile-Time Queues for Structured Streams
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Ko, Yousun Burgstaller, Bernd Scholz, Bernhard Yonsei Univ Seoul 120749 South Korea Univ Sydney Sydney NSW 2006 Australia
Stream programming languages employ FIFO (first-in, first-out) semantics to model data channels between producers and consumers. A FIFO data channel stores tokens in a buffer that is accessed indirectly via read-and w... 详细信息
来源: 评论