咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,075 篇 工学
    • 1,008 篇 软件工程
    • 778 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 35 篇 信息与通信工程
    • 34 篇 电气工程
    • 10 篇 机械工程
    • 9 篇 电子科学与技术(可...
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 农业工程
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 轻工技术与工程
  • 131 篇 理学
    • 111 篇 数学
    • 12 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 5 篇 生物学
    • 4 篇 物理学
    • 4 篇 化学
  • 88 篇 管理学
    • 51 篇 管理科学与工程(可...
    • 40 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 3 篇 农学
    • 3 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 96 篇 performance
  • 95 篇 computer program...
  • 60 篇 object oriented ...
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 27 篇 program synthesi...
  • 27 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 compilers
  • 18 篇 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 篇 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 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,172 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation"
1251 条 记 录,以下是131-140 订阅
排序:
Renaissance: Benchmarking Suite for Parallel Applications on the JVM  2019
Renaissance: Benchmarking Suite for Parallel Applications on...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Prokopec, Aleksandar Rosa, Andrea Leopoldseder, David Duboscq, Gilles Tuma, Petr Studener, Martin Bulej, Lubomir Zheng, Yudi Villazon, Alex Simon, Doug Wurthinger, Thomas Binder, Walter Oracle Labs Zurich Switzerland Univ Svizzera Italiana Lugano Switzerland Johannes Kepler Univ Linz Linz Austria Charles Univ Prague Prague Czech Republic Univ Privada Boliviana Colcapirhua Bolivia
Established benchmark suites for the Java Virtual Machine (JVM), such as DaCapo, ScalaBench, and SPECjvm2008, lack workloads that take advantage of the parallel programming abstractions and concurrency primitives offe... 详细信息
来源: 评论
A Simpler, Safer programming and Execution Model for Intermittent Systems  15
A Simpler, Safer Programming and Execution Model for Intermi...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Lucia, Brandon Ransford, Benjamin Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Washington Seattle WA 98195 USA
Energy harvesting enables novel devices and applications without batteries, but intermittent operation under energy harvesting poses new challenges to memory consistency that threaten to leave applications in failed s... 详细信息
来源: 评论
Adoption and focus:: Practical linear types for imperative programming  02
Adoption and focus:: Practical linear types for imperative p...
收藏 引用
conference on programming language design and implementation (PLDI 02)
作者: Fähndrich, M DeLine, R Microsoft Res Redmond WA 98052 USA
A type system with linearity is useful for checking software protocols and resource management at compile time. Linearity provides powerful reasoning about state changes, but at the price of restrictions on aliasing. ... 详细信息
来源: 评论
A compiler approach to fast hardware design space exploration in FPGA-based systems
A compiler approach to fast hardware design space exploratio...
收藏 引用
conference on programming language design and implementation (PLDI 02)
作者: So, B Hall, MW Diniz, PC Univ So Calif Inst Informat Sci Marina Del Rey CA 90292 USA
This paper describes an automated approach to hardware design space exploration, through a collaboration between parallelizing compiler technology and high-level synthesis tools. We present a compiler algorithm that a... 详细信息
来源: 评论
Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs  2019
Incremental Precision-Preserving Symbolic Inference for Prob...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Zhang, Jieyuan Xue, Jingling UNSW Sydney Sch Comp Sci & Engn Sydney NSW Australia
We present ISymb, an incremental symbolic inference framework for probabilistic programs in situations when some loop-manipulated array data, upon which their probabilistic models are conditioned, undergoes small chan... 详细信息
来源: 评论
Search, Align, and Repair: Data-Driven Feedback Generation for Introductory programming Exercises  2018
Search, Align, and Repair: Data-Driven Feedback Generation f...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Wang, Ke Singh, Rishabh Su, Zhendong Univ Calif Davis Davis CA 95616 USA Microsoft Res Redmond WA USA
This paper introduces the "Search, Align, and Repair" data-driven program repair framework to automate feedback generation for introductory programming exercises. Distinct from existing techniques, our goal ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
DOC: A practical approach to source-level debugging of globally optimized code  88
DOC: A practical approach to source-level debugging of globa...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Coutant, Deborah S. Meloy, Sue Ruscetta, Michelle Hewlett-Packard 19447 Pruneridge Ave CupertinoCA95014 United States
As optimizing compilers become more sophisticated, the problem of debugging the source code of an application becomes more difficult. In order to investigate this problem, we implemented DOC, a prototype solution for ... 详细信息
来源: 评论
Karp: A language for NP Reductions  2022
Karp: A Language for NP Reductions
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Zhang, Chenhao Hartline, Jason D. Dimoulas, Christos Northwestern Univ Evanston IL 60208 USA
In CS theory courses, NP reductions are a notorious source of pain for students and instructors alike. Invariably, students use pen and paper to write down reductions that "work" in many but not all cases. W... 详细信息
来源: 评论
Thread-modular shape analysis  07
Thread-modular shape analysis
收藏 引用
conference on programming language design and implementation
作者: Gotsman, Alexey Berdine, Josh Cook, Byron Sagiv, Mooly Univ Cambridge Cambridge CB2 1TN England Microsoft Corp Redmond WA 98052 USA
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource invariant associated with each lock tha... 详细信息
来源: 评论