咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Task Parallel Assembly language for Uncompromising Parallelism  2021
Task Parallel Assembly Language for Uncompromising Paralleli...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Rainey, Mike Newton, Ryan R. Hale, Kyle Hardavellas, Nikos Campanoni, Simone Dinda, Peter Acar, Umut A. Carnegie Mellon Univ Pittsburgh PA 15213 USA Facebook New York NY USA IIT Chicago IL 60616 USA Northwestern Univ Chicago IL 60611 USA
Achieving parallel performance and scalability involves making compromises between parallel and sequential computation. If not contained, the overheads of parallelism can easily outweigh its benefits, sometimes by ord... 详细信息
来源: 评论
Wire Sorts: A language Abstraction for Safe Hardware Composition  2021
Wire Sorts: A Language Abstraction for Safe Hardware Composi...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Christensen, Michael Sherwood, Timothy Balkind, Jonathan Hardekopf, Ben Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
Effective digital hardware design fundamentally requires decomposing a design into a set of interconnected modules, each a distinct unit of computation and state. However, naively connecting hardware modules leads to ... 详细信息
来源: 评论
Can programming be liberated from the two-level style?: Multi-level programming with DeepJava  07
Can programming be liberated from the two-level style?: Mult...
收藏 引用
22nd International conference on Object-Oriented programming, Systems, languages and Applications
作者: Kuehne, Thomas Schreiber, Daniel Tech Univ Darmstadt Darmstadt Germany
Since the introduction of object-oriented programming few programming languages have attempted to provide programmers with more than objects and classes, i.e., more than two levels. Those that did, almost exclusively ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types  2021
RefinedC: Automating the Foundational Verification of C Code...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Sammler, Michael Lepigre, Rodolphe Krebbers, Robbert Memarian, Kayvan Dreyer, Derek Garg, Deepak MPI SWS Saarbrucken Germany Radboud Univ Nijmegen Nijmegen Netherlands Univ Cambridge Cambridge England
Given the central role that C continues to play in systems software, and the difficulty of writing safe and correct C code, it remains a grand challenge to develop effective formal methods for verifying C programs. In... 详细信息
来源: 评论
Hancock: A language for processing very large-scale data  99
Hancock: A language for processing very large-scale data
收藏 引用
2nd conference on Domain-Specific languages (DSL 99)
作者: Bonachea, D Fisher, K Rogers, A Smith, F AT&T Labs Res Shannon Lab Florham Park NJ 07932 USA
A signature is an evolving customer profile computed from call records. AT&T uses signatures to detect fraud and to target marketing. Code to compute signatures can be difficult to write and maintain because of th... 详细信息
来源: 评论
Filling Typed Holes with Live GUIs  2021
Filling Typed Holes with Live GUIs
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Omar, Cyrus Moon, David Blinn, Andrew Voysey, Ian Collins, Nick Chugh, Ravi Univ Michigan Ann Arbor MI 48109 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Chicago Chicago IL 60637 USA
Text editing is powerful, but some types of expressions are more naturally represented and manipulated graphically. Examples include expressions that compute colors, music, animations, tabular data, plots, diagrams, a... 详细信息
来源: 评论
Gleipnir: Toward Practical Error Analysis for Quantum Programs  2021
Gleipnir: Toward Practical Error Analysis for Quantum Progra...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Tao, Runzhou Shi, Yunong Yao, Jianan Hui, John Chong, Frederic T. Gu, Ronghui Columbia Univ New York NY 10027 USA Univ Chicago Chicago IL 60637 USA Amazon New York NY USA Supertech Chicago IL USA Quantum Circuits Inc Chicago IL USA
Practical error analysis is essential for the design, optimization, and evaluation of Noisy Intermediate-Scale Quantum(NISQ) computing. However, bounding errors in quantum programs is a grand challenge, because the ef... 详细信息
来源: 评论
proceedings - 2024 32nd IEEE/acm International conference on Program Comprehension, ICPC 2024
Proceedings - 2024 32nd IEEE/ACM International Conference on...
收藏 引用
32nd IEEE/acm International conference on Program Comprehension, ICPC 2024
The proceedings contain 46 papers. The topics discussed include: exploring and improving code completion for test code;on the generalizability of deep learning-based code completion across programming language version...
来源: 评论
The JastAdd Extensible Java Compiler  07
The JastAdd Extensible Java Compiler
收藏 引用
22nd International conference on Object-Oriented programming, Systems, languages and Applications
作者: Ekman, Torbjorn Hedin, Gorel Univ Oxford Programming Tools Grp Oxford England Lund Univ Dept Comp Sci S-22100 Lund Sweden
The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend in order to build static analysis tools for Java, and to extend Java with new language constructs. It is built modularly, wit... 详细信息
来源: 评论