咨询与建议

限定检索结果

文献类型

  • 69 篇 会议
  • 1 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 59 篇 工学
    • 57 篇 软件工程
    • 48 篇 计算机科学与技术...
    • 4 篇 控制科学与工程
    • 3 篇 信息与通信工程
    • 1 篇 光学工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 11 篇 理学
    • 8 篇 数学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 7 篇 管理学
    • 5 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 5 篇 design
  • 3 篇 program synthesi...
  • 3 篇 languages
  • 3 篇 probabilistic pr...
  • 3 篇 software design
  • 3 篇 java programming...
  • 3 篇 programming by e...
  • 3 篇 programming lang...
  • 2 篇 object oriented ...
  • 2 篇 experimentation
  • 2 篇 performance
  • 2 篇 compilers
  • 2 篇 modules
  • 2 篇 intel ixa
  • 2 篇 parallel program...
  • 2 篇 java
  • 2 篇 register allocat...
  • 2 篇 bank assignment
  • 2 篇 composition
  • 2 篇 end-user program...

机构

  • 3 篇 univ michigan an...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ penn philad...
  • 2 篇 university of to...
  • 2 篇 kyushu institute...
  • 2 篇 kyushu universit...
  • 2 篇 univ chicago il ...
  • 2 篇 univ calif santa...
  • 2 篇 univ texas austi...
  • 1 篇 programming tool...
  • 1 篇 google ca united...
  • 1 篇 univ wisconsin d...
  • 1 篇 univ southern ca...
  • 1 篇 mpi sws saarbruc...
  • 1 篇 univ wisconsin m...
  • 1 篇 radboud univ nij...
  • 1 篇 network speed te...
  • 1 篇 institute for co...
  • 1 篇 university of ma...
  • 1 篇 university of tw...

作者

  • 2 篇 wang xinyu
  • 2 篇 sherwood timothy
  • 2 篇 fursin grigori
  • 2 篇 chong frederic t...
  • 2 篇 alur rajeev
  • 2 篇 hardekopf ben
  • 2 篇 dillig isil
  • 1 篇 milano matthew
  • 1 篇 blinn andrew
  • 1 篇 tao runzhou
  • 1 篇 kashyap vineeth
  • 1 篇 pailoor shankara
  • 1 篇 campagna giovann...
  • 1 篇 fedorova alexand...
  • 1 篇 collins nick
  • 1 篇 sewe andreas
  • 1 篇 lerner sorin
  • 1 篇 best micah j.
  • 1 篇 f.r.m. barnes
  • 1 篇 ekman torbjorn

语言

  • 71 篇 英文
检索条件"任意字段=Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation"
71 条 记 录,以下是31-40 订阅
排序:
Synchronization via scheduling: Techniques for efficiently managing shared state  11
Synchronization via scheduling: Techniques for efficiently m...
收藏 引用
32nd acm conference on programming language design and implementation, PLDI 2011
作者: Best, Micah J. Mottishaw, Shane Mustard, Craig Roth, Mark Fedorova, Alexandra Brownsword, Andrew University of British Columbia Canada Simon Fraser University Canada Electronic Arts Inc. Canada
Shared state access conflicts are one of the greatest sources of error for fine grained parallelism in any domain. Notoriously hard to debug, these conflicts reduce reliability and increase development time. The stand... 详细信息
来源: 评论
Garbage Collection for Monitoring Parametric Properties  11
Garbage Collection for Monitoring Parametric Properties
收藏 引用
32nd acm sigplan conference on programming language design and implementation (PLDI 11)
作者: Jin, Dongyun Meredith, Patrick O'Neil Griffith, Dennis Rosu, Grigore Univ Illinois Dept Comp Sci Urbana IL USA
Parametric properties are behavioral properties over program events that depend on one or more parameters. Parameters are bound to concrete data or objects at runtime, which makes parametric properties particularly su... 详细信息
来源: 评论
Taming the Wildcards: Combining Definition- and Use-Site Variance  11
Taming the Wildcards: Combining Definition- and Use-Site Var...
收藏 引用
32nd acm sigplan conference on programming language design and implementation (PLDI 11)
作者: Altidor, John Huang, Shan Shan Smaragdakis, Yannis Univ Massachusetts Dept Comp Sci Amherst MA 01003 USA
Variance allows the safe integration of parametric and subtype polymorphism. Two flavors of variance, definition-site versus use-site variance, have been studied and have had their merits hotly debated. Definition-sit... 详细信息
来源: 评论
AARTS: Low overhead online adaptive auto-tuning  11
AARTS: Low overhead online adaptive auto-tuning
收藏 引用
1st acm sigplan International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, Exadapt 2011 - Co-located with 32nd acm sigplan conference on programming language design and implementation, PLDI 2011 at FCRC 2011
作者: Teodoro, George Sussman, Alan Department of Computer Science University of Maryland College Park MD 20742 United States
We present an online lightweight auto-tuning system for shared-memory parallel programs. We employ an online adaptive tuning algorithm that is based on performance measurements, to adapt to performance variability tha... 详细信息
来源: 评论
language-independent sandboxing of just-in-time compilation and self-modifying code  11
Language-independent sandboxing of just-in-time compilation ...
收藏 引用
32nd acm conference on programming language design and implementation, PLDI 2011
作者: Ansel, Jason Marchenko, Petr Erlingsson, Ulfar Taylor, Elijah Chen, Brad Schuff, Derek L. Sehr, David Biffle, Cliff L. Yee, Bennet Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology United States University College London United Kingdom Google Inc. United States
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such specially-designed languages, it is di... 详细信息
来源: 评论
The tao of parallelism in algorithms  11
The tao of parallelism in algorithms
收藏 引用
32nd acm conference on programming language design and implementation, PLDI 2011
作者: Pingali, Keshav Nguyen, Donald Kulkarni, Milind Burtscher, Martin Hassaan, M. Amber Kaleem, Rashid Lee, Tsung-Hsien Lenharth, Andrew Manevich, Roman ndez-Lojo, Mario Prountzos, Dimitrios Sui, Xin Department of Computer Science University of Texas Austin TX United States Electrical and Computer Engineering University of Texas Austin TX United States Institute for Computational Engineering and Sciences University of Texas Austin TX United States Department of Computer Science Texas State University San Marcos TX United States School of Electrical and Computer Engineering Purdue University United States
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in "regular" algorithms that use dense arra... 详细信息
来源: 评论
Session details: Concurrent programming  11
Session details: Concurrent programming
收藏 引用
proceedings of the 32nd acm sigplan conference on programming language design and implementation
作者: Jens Palsberg University of California Los Angeles
No abstract available.
来源: 评论
Session details: Parallel programming notations  11
Session details: Parallel programming notations
收藏 引用
proceedings of the 32nd acm sigplan conference on programming language design and implementation
作者: Michelle Mills Strout Colorado State University
No abstract available.
来源: 评论
Introducing acm sigplan International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era
ACM International Conference Proceeding Series
收藏 引用
acm International conference Proceeding Series 2011年 iii-iv页
作者: Fursin, Grigori Hundt, Robert Mars, Jason Kashnikov, Yuriy UVSQ France Google CA United States University of Virginia United States
来源: 评论
Archface: A contract place where architectural design and code meet together  10
Archface: A contract place where architectural design and co...
收藏 引用
32nd acm/IEEE International conference on Software Engineering, ICSE 2010
作者: Ubayashi, Naoyasu Nomura, Jun Tamai, Tetsuo Kyushu University Fukuoka Japan Kyushu Institute of Technology Fukuoka Japan University of Tokyo Tokyo Japan
This paper proposes Archface, an interface mechanism for bridging the gap between architectural design and its implementation. Archface, which encapsulates design essence based on the component-and-connector architect... 详细信息
来源: 评论