咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

  • 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 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是351-360 订阅
排序:
Reagents: Expressing and Composing Fine-grained Concurrency  12
Reagents: Expressing and Composing Fine-grained Concurrency
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Turon, Aaron Northeastern Univ Boston MA 02115 USA
Efficient communication and synchronization is crucial for fine-grained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often cannot be tailored or composed to meet the... 详细信息
来源: 评论
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines  13
Halide: a language and compiler for optimizing parallelism, ...
收藏 引用
proceedings of the 34th acm sigplan conference on programming language design and implementation
作者: Jonathan Ragan-Kelley Connelly Barnes Andrew Adams Sylvain Paris Frédo Durand Saman Amarasinghe Massachusetts Institute of Technology Cambridge MA USA Adobe Cambridge MA USA
Image processing pipelines combine the challenges of stencil computations and stream programs. They are composed of large graphs of different stencil stages, as well as complex reductions, and stages with global or da... 详细信息
来源: 评论
PLDI'11 - proceedings of the 2011 acm conference on programming language design and implementation
PLDI'11 - Proceedings of the 2011 ACM Conference on Programm...
收藏 引用
32nd acm conference on programming language design and implementation, PLDI 2011
The proceedings contain 55 papers. The topics discussed include: commutative set: a language extension for implicit parallel programming;the Tao of parallelism in algorithms;data representation synthesis;synthesizing ... 详细信息
来源: 评论
language-Based Control and Mitigation of Timing Channels  12
Language-Based Control and Mitigation of Timing Channels
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Zhang, Danfeng Askarov, Aslan Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA Harvard Univ Sch Engn & Comp Sci Cambridge MA 02138 USA
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through external timing channels. By incorpora... 详细信息
来源: 评论
Synthesising Graphics Card Programs from DSLs  12
Synthesising Graphics Card Programs from DSLs
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Cartey, Luke Lyngsoe, Rune de Moor, Oege Univ Oxford Oxford OX1 2JD England
Over the last five years, graphics cards have become a tempting target for scientific computing, thanks to unrivaled peak performance, often producing a runtime speed-up of x10 to x25 over comparable CPU solutions. Ho... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Static Analysis and Compiler design for Idempotent Processing  12
Static Analysis and Compiler Design for Idempotent Processin...
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: de Kruijf, Marc Sankaralingam, Karthikeyan Jha, Somesh Univ Wisconsin Madison WI 53706 USA
Recovery functionality has many applications in computing systems, from speculation recovery in modern microprocessors to fault recovery in high-reliability systems. Modern systems commonly recover using checkpoints. ... 详细信息
来源: 评论
design and implementation of Sparse Global Analyses for C-like languages  12
Design and Implementation of Sparse Global Analyses for C-li...
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Oh, Hakjoo Heo, Kihong Lee, Wonchan Lee, Woosuk Yi, Kwangkeun Seoul Natl Univ Seoul 151 South Korea
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques on top of the abstract interpretation... 详细信息
来源: 评论
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... 详细信息
来源: 评论