咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
Register allocation by puzzle solving  08
Register allocation by puzzle solving
收藏 引用
2008 acm sigplan conference on programming language design and implementation 2008, pldi'08
作者: Pereira, Fernando Magno Quintão Palsberg, Jens UCLA Computer Science Department University of California Los Angeles United States
We show that register allocation can be viewed as solving a collection of puzzles. We model the register file as a puzzle board and the program variables as puzzle pieces;pre-coloring and register aliasing fit in natu... 详细信息
来源: 评论
Orchestrating the Execution of Stream Programs on Multicore Platforms  08
Orchestrating the Execution of Stream Programs on Multicore ...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Kudlur, Manjunath Mahlke, Scott Univ Michigan Adv Comp Architecture Lab Ann Arbor MI 48109 USA
While multicore hardware has become ubiquitous, explicitly parallel programming models and compiler techniques for exploiting parallelism on these systems have noticeably lagged behind. Stream programming is one model... 详细信息
来源: 评论
Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III  13
Harmonizing Classes, Functions, Tuples, and Type Parameters ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Titzer, Ben L. Google Mountain View CA USA
languages are becoming increasingly multi-paradigm. Subtype polymorphism in statically-typed object-oriented languages is being supplemented with parametric polymorphism in the form of generics. Features like first-cl... 详细信息
来源: 评论
Bamboo: A Data-Centric, Object-Oriented Approach to Many-core Software  10
Bamboo: A Data-Centric, Object-Oriented Approach to Many-cor...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Zhou, Jin Demsky, Brian Univ Calif Irvine Dept Elect Engn & Comp Sci Irvine CA 92697 USA
Traditional data-oriented programming languages such as dataflow languages and stream languages provide a natural abstraction for parallel programming. In these languages, a developer focuses on the flow of data throu... 详细信息
来源: 评论
Incremental Inference for Probabilistic Programs  2018
Incremental Inference for Probabilistic Programs
收藏 引用
39th acm sigplan conference on programming language design and implementation (pldi)
作者: Cusumano-Towner, Marco Bichsel, Benjamin Gehr, Timon Vechev, Martin Mansinghka, Vikash K. MIT 77 Massachusetts Ave Cambridge MA 02139 USA Swiss Fed Inst Technol Zurich Switzerland
We present a novel approach for approximate sampling in probabilistic programs based on incremental inference. The key idea is to adapt the samples for a program P into samples for a program Q, thereby avoiding the ex... 详细信息
来源: 评论
Compiling a high-level language for GPUs: Via language support for architectures and compilers
Compiling a high-level language for GPUs: Via language suppo...
收藏 引用
33rd acm sigplan conference on programming language design and implementation, pldi'12
作者: Dubach, Christophe Cheng, Perry Rabbah, Rodric Bacon, David F. Fink, Stephen J. University of Edinburgh United Kingdom IBM Research United States
languages such as OpenCL and CUDA offer a standard interface for general-purpose programming of GPUs. However, with these languages, programmers must explicitly manage numerous lowlevel details involving communication... 详细信息
来源: 评论
Data flow frequency analysis
Data flow frequency analysis
收藏 引用
acm sigplan 96 conference on programming language design and implementation
作者: Ramalingam, G IBM T.J. Watson Research Cent Yorktown Heights United States
Conventional dataflow analysis computes information about what facts may or will not hold during the execution of a program. Sometimes it is useful, for program optimization, to know how often or with what probability... 详细信息
来源: 评论
Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic  11
Mostly-Automated Verification of Low-Level Programs in Compu...
收藏 引用
32nd acm sigplan conference on programming language design and implementation (pldi 11)
作者: Chlipala, Adam Harvard Univ Cambridge MA 02138 USA
Several recent projects have shown the feasibility of verifying low-level systems software. Verifications based on automated theorem-proving have omitted reasoning about first-class code pointers, which is critical fo... 详细信息
来源: 评论
The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction
The design, implementation, and evaluation of a compiler alg...
收藏 引用
conference on programming language design and implementation
作者: Hsu, CH Kremer, U Rutgers State Univ Dept Comp Sci Piscataway NJ 08855 USA
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm identifies program regions where the CP... 详细信息
来源: 评论
Symbolic Reasoning for Automatic Signal Placement  2018
Symbolic Reasoning for Automatic Signal Placement
收藏 引用
39th acm sigplan conference on programming language design and implementation (pldi)
作者: Ferles, Kostas Van Geffen, Jacob Dillig, Isil Smaragdakis, Yannis Univ Texas Austin Austin TX 78712 USA Univ Athens Athens Greece
Explicit signaling between threads is a perennial cause of bugs in concurrent programs. While there are several runtime techniques to automatically notify threads upon the availability of some shared resource, such te... 详细信息
来源: 评论