咨询与建议

限定检索结果

文献类型

  • 491 篇 会议
  • 37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 488 篇 工学
    • 485 篇 软件工程
    • 291 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 4 篇 电子科学与技术(可...
    • 3 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 航空宇航科学与技...
  • 77 篇 理学
    • 71 篇 数学
    • 6 篇 统计学(可授理学、...
    • 5 篇 系统科学
    • 3 篇 化学
    • 1 篇 物理学
    • 1 篇 生物学
  • 35 篇 管理学
    • 25 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 75 篇 design
  • 66 篇 languages
  • 65 篇 performance
  • 43 篇 computer program...
  • 38 篇 algorithms
  • 36 篇 computer program...
  • 31 篇 experimentation
  • 24 篇 verification
  • 23 篇 reliability
  • 23 篇 program synthesi...
  • 22 篇 probabilistic pr...
  • 20 篇 java programming...
  • 15 篇 functional progr...
  • 13 篇 object oriented ...
  • 12 篇 c (programming l...
  • 11 篇 computer systems...
  • 11 篇 static analysis
  • 11 篇 measurement
  • 11 篇 concurrency
  • 10 篇 compilers

机构

  • 12 篇 carnegie mellon ...
  • 9 篇 univ michigan an...
  • 9 篇 univ wisconsin m...
  • 9 篇 princeton univ p...
  • 8 篇 univ penn philad...
  • 8 篇 purdue univ w la...
  • 8 篇 stanford univ st...
  • 8 篇 univ washington ...
  • 8 篇 univ texas austi...
  • 7 篇 mit cambridge ma...
  • 6 篇 microsoft res re...
  • 6 篇 swiss fed inst t...
  • 6 篇 yale univ new ha...
  • 6 篇 harvard univ cam...
  • 6 篇 cornell univ ith...
  • 5 篇 ibm research
  • 5 篇 microsoft resear...
  • 5 篇 univ calif berke...
  • 4 篇 carnegie mellon ...
  • 4 篇 microsoft res re...

作者

  • 7 篇 dillig isil
  • 6 篇 august david i.
  • 6 篇 gulwani sumit
  • 5 篇 mckinley kathryn...
  • 5 篇 grossman dan
  • 5 篇 aiken alex
  • 5 篇 vechev martin
  • 5 篇 bacon david f.
  • 5 篇 su zhendong
  • 5 篇 solar-lezama arm...
  • 5 篇 myers andrew c.
  • 5 篇 millstein todd
  • 5 篇 walker david
  • 5 篇 mansinghka vikas...
  • 4 篇 wang xinyu
  • 4 篇 nakatani t
  • 4 篇 cheng perry
  • 4 篇 adl-tabatabai al...
  • 4 篇 gehr timon
  • 4 篇 lueh guei-yuan

语言

  • 526 篇 英文
  • 2 篇 其他
检索条件"任意字段=PLDI 2006 - 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation"
528 条 记 录,以下是371-380 订阅
排序:
Dynamic program slicing  90
Dynamic program slicing
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Agrawal, Hiralal Horgan, Joseph R. Purdue Univ West Lafayette United States
Program slices are useful in debugging, testing, maintenance, and understanding of programs. The conventional notion of a program slice, the static slice, is the set of all statements that might affect the value of a ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
How to read floating point numbers accurately  90
How to read floating point numbers accurately
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Clinger, William D. Univ of Oregon
Consider the problem of converting decimal scientific notation for a number into the best binary floating point approximation to that number, for some fixed precision. This problem cannot be solved using arithmetic of... 详细信息
来源: 评论
Slicing Probabilistic Programs  14
Slicing Probabilistic Programs
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Hur, Chung-Kil Nori, Aditya V. Rajamani, Sriram K. Samuel, Selva Seoul Natl Univ Seoul 151 South Korea
Probabilistic programs use familiar notation of programming languages to specify probabilistic models. Suppose we are interested in estimating the distribution of the return expression r of a probabilistic program P. ... 详细信息
来源: 评论
Garbage Collection for Monitoring Parametric Properties  11
Garbage Collection for Monitoring Parametric Properties
收藏 引用
32nd acm sigplan conference on programming language design and implementation (pldi 11)
作者: Jin, Dongyun Meredith, Patrick O'Neil Griffith, Dennis Rosu, Grigore Univ Illinois Dept Comp Sci Urbana IL USA
Parametric properties are behavioral properties over program events that depend on one or more parameters. Parameters are bound to concrete data or objects at runtime, which makes parametric properties particularly su... 详细信息
来源: 评论
Supporting Speculative Parallelization in the Presence of Dynamic Data Structures  10
Supporting Speculative Parallelization in the Presence of Dy...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Tian, Chen Feng, Min Gupta, Rajiv Univ Calif Riverside CSE Dept Riverside CA 92521 USA
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative state from non-speculative state forms t... 详细信息
来源: 评论
Speculative Separation for Privatization and Reductions  12
Speculative Separation for Privatization and Reductions
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Johnson, Nick P. Kim, Hanjun Prabhu, Prakash Zaks, Ayal August, David I. Princeton Univ Princeton NJ 08544 USA Intel Corp Haifa Israel
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structures introduce artificial constraints th... 详细信息
来源: 评论
Proceedings of the acm sigplan '93 conference on programming language design and implementation
Proceedings of the ACM SIGPLAN '93 Conference on Programming...
收藏 引用
acm sigplan '93 conference on programming language design and implementation, pldi 1993
This conference proceedings contains 29 papers on the design, development, implementation and use of programming languages, with emphasis on experimental results and practical experience. Topics discussed include the ... 详细信息
来源: 评论
Backtracking without trailing in CLP (RLin)  94
Backtracking without trailing in CLP (RLin)
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (pldi)
作者: Van Hentenryck, Pascal Ramachandran, Viswanath Brown Univ Providence United States
Constraint logic programming (CLP) is a generalization of logic programming where unification is replaced by constraint solving as the basic operation of the language. The combination of constraint solving and nondete... 详细信息
来源: 评论
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... 详细信息
来源: 评论