咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是391-400 订阅
排序:
pldi 2006 Foreword
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (pldi) 2006年 2006卷 iii-iv页
作者: Ball, Thomas Schwartzbach, Michael
No abstract available
来源: 评论
Trace-based Just-in-Time Type Specialization for Dynamic languages  09
Trace-based Just-in-Time Type Specialization for Dynamic Lan...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Gal, Andreas Eich, Brendan Shaver, Mike Anderson, David Mandelin, David Haghighat, Mohammad R. Kaplan, Blake Hoare, Graydon Zbarsky, Boris Orendorff, Jason Ruderman, Jesse Smith, Edwin Reitmaier, Rick Bebenita, Michael Chang, Mason Franz, Michael Intel Corp Santa Clara CA 95051 USA Univ Calif Irvine Irvine CA USA
Dynamic languages such as JavaScript are more difficult to compile than statically typed ones. Since no concrete type information is available, traditional compilers need to emit generic code that can handle all possi... 详细信息
来源: 评论
It's Alive! Continuous Feedback in UI programming
It's Alive! Continuous Feedback in UI Programming
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Burckhardt, Sebastian Faehndrich, Manuel de Halleux, Peli McDirmid, Sean Moskal, Michal Tillmann, Nikolai Kato, Jun Univ Tokyo Tokyo 1138654 Japan
Live programming allows programmers to edit the code of a running program and immediately see the effect of the code changes. This tightening of the traditional edit-compile-run cycle reduces the cognitive gap between... 详细信息
来源: 评论
Logical Inference Techniques for Loop Parallelization  12
Logical Inference Techniques for Loop Parallelization
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Oancea, Cosmin E. Rauchwerger, Lawrence Univ Copenhagen HIPERFIT Dept Comp Sci DK-1168 Copenhagen Denmark Texas A&M Univ Parasol Lab College Stn TX 77843 USA
This paper presents a fully automatic approach to loop parallelization that integrates the use of static and run-time analysis and thus overcomes many known difficulties such as nonlinear and indirect array indexing a... 详细信息
来源: 评论
Parcae: A System for Flexible Parallel Execution  12
Parcae: A System for Flexible Parallel Execution
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Raman, Arun Zaks, Ayal Lee, Jae W. August, David I. Intel Res Santa Clara CA USA Intel Corp Haifa Israel Sungkyunkwan Univ Suwon South Korea Princeton Univ Princeton NJ 08544 USA
Workload, platform, and available resources constitute a parallel program's execution environment. Most parallelization efforts statically target an anticipated range of environments, but performance generally deg... 详细信息
来源: 评论
Adaptive Input-aware Compilation for Graphics Engines  12
Adaptive Input-aware Compilation for Graphics Engines
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Samadi, Mehrzad Hormati, Amir Mehrara, Mojtaba Lee, Janghaeng Mahlke, Scott Univ Michigan Ann Arbor MI 48109 USA Microsoft Res Redmond WA USA NVIDIA Res Santa Clara CA USA
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required to optimize applications is an obstacl... 详细信息
来源: 评论
DRFx: A Simple and Efficient Memory Model for Concurrent programming languages  10
DRFx: A Simple and Efficient Memory Model for Concurrent Pro...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Marino, Daniel Singh, Abhayendra Millstein, Todd Musuvathi, Madanlal Narayanasamy, Satish Univ Calif Los Angeles Los Angeles CA 90095 USA
The most intuitive memory model for shared-memory multi-threaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations thereby impacting performance. Data-rac... 详细信息
来源: 评论
Exploiting hardware performance counters with flow and context sensitive profiling  97
Exploiting hardware performance counters with flow and conte...
收藏 引用
Proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, pldi
作者: Ammons, Glenn Ball, Thomas Larus, James R. Univ of Wisconsin-Madison Madison WI United States
A program profile attributes run-time costs to portions of a program's execution. Most profiling systems suffer from two major deficiencies: first, they only apportion simple metrics, such as execution frequency o... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Smooth Interpretation  10
Smooth Interpretation
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Chaudhuri, Swarat Solar-Lezama, Armando Penn State Univ University Pk PA 16802 USA MIT Cambridge MA 02139 USA
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of numerical search techniques like gradi... 详细信息
来源: 评论