咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 gulwani sumit
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是261-270 订阅
排序:
On slicing programs with jump statements  94
On slicing programs with jump statements
收藏 引用
Proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
作者: Agrawal, Hiralal Bellcore Morristown United States
Program slices have potential uses in many software engineering applications. Traditional slicing algorithms, however, do not work correctly on programs that contain explicit jump statements. Two similar algorithms we... 详细信息
来源: 评论
Linear analysis and optimization of stream programs  03
收藏 引用
conference on programming language design and implementation
作者: Lamb, AA Thies, W Amarasinghe, S MIT Comp Sci Lab Cambridge MA 02139 USA
As more complex DSP algorithms are realized in practice, there is an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this end, we present a set of aggress... 详细信息
来源: 评论
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... 详细信息
来源: 评论
And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware  12
And Then There Were None: A Stall-Free Real-Time Garbage Col...
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Bacon, David F. Cheng, Perry Shukla, Sunil IBM Research Hawthorne NY USA
Programmers are turning to radical architectures such as reconfigurable hardware (FPGAs) to achieve performance. But such systems, programmed at a very low level in languages with impoverished abstractions, are orders... 详细信息
来源: 评论
Bounded Expectations: Resource Analysis for Probabilistic Programs  2018
Bounded Expectations: Resource Analysis for Probabilistic Pr...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Van Chan Ngo Carbonneaux, Quentin Hoffmann, Jan Carnegie Mellon Univ Pittsburgh PA 15213 USA Yale Univ New Haven CT 06520 USA
This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symbolic bounds that are multivariate pol... 详细信息
来源: 评论
Deterministic Parallelism via Liquid Effects  12
Deterministic Parallelism via Liquid Effects
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Kawaguchi, Ming Rondon, Patrick Bakst, Alexander Jhala, Ranjit Univ Calif San Diego San Diego CA 92103 USA
Shared memory multithreading is a popular approach to parallel programming, but also fiendishly hard to get right. We present Liquid Effects, a type-and-effect system based on refinement types which allows for fine-gr... 详细信息
来源: 评论
Pure and Declarative Syntax Definition: Paradise Lost and Regained  10
Pure and Declarative Syntax Definition: Paradise Lost and Re...
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: Kats, Lennart C. L. Visser, Eelco Wachsmuth, Guido Delft Univ Technol NL-2600 AA Delft Netherlands
Syntax definitions are pervasive in modern software systems, and serve as the basis for language processing tools like parsers and compilers. Mainstream parser generators pose restrictions on syntax definitions that f... 详细信息
来源: 评论
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism  2018
Heartbeat Scheduling: Provable Efficiency for Nested Paralle...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Acar, Umut A. Chargueraud, Arthur Guatto, Adrien Rainey, Mike Sieczkowski, Filip Carnegie Mellon Univ Pittsburgh PA 15213 USA INRIA Rocquencourt France Univ Strasbourg ICube Strasbourg France CREST Bloomington IN USA
A classic problem in parallel computing is to take a high-level parallel program written, for example, in nested-parallel style with fork-join constructs and run it efficiently on a real machine. The problem could be ... 详细信息
来源: 评论
A new perspective on processing-in-memory architecture design  13
A new perspective on processing-in-memory architecture desig...
收藏 引用
acm sigplan Workshop on Memory Systems Performance and Correctness, MSPC 2013, co-located with the 34th annual acm sigplan conference on programming language design and implementation, PLDI
作者: Zhang, Dong Ping Jayasena, Nuwan Lyashevsky, Alexander Greathouse, Joseph Meswani, Mitesh Nutter, Mark Ignatowski, Mike Research Group AMD CA United States
As computation becomes increasingly limited by data movement and energy consumption, exploiting locality throughout the memory hierarchy becomes critical for maintaining the performance scaling that many have come to ... 详细信息
来源: 评论
Automatic inversion generates divide-and-conquer parallel programs  07
Automatic inversion generates divide-and-conquer parallel pr...
收藏 引用
conference on programming language design and implementation
作者: Morita, Kazutaka Morihata, Akimasa Matsuzaki, Kiminori Hu, Zhenjiang Takeichi, Masato Univ Tokyo Grad Sch Informat Sci & Technol Tokyo Japan
Divide-and-conquer algorithms are suitable for modern parallel machines, tending to have large amounts of inherent parallelism and working well with caches and deep memory hierarchies. Among others, list homomorphisms... 详细信息
来源: 评论