咨询与建议

限定检索结果

文献类型

  • 515 篇 会议
  • 52 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 524 篇 工学
    • 521 篇 软件工程
    • 325 篇 计算机科学与技术...
    • 25 篇 控制科学与工程
    • 7 篇 信息与通信工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 生物医学工程(可授...
  • 80 篇 理学
    • 73 篇 数学
    • 7 篇 统计学(可授理学、...
    • 5 篇 系统科学
    • 3 篇 化学
    • 1 篇 物理学
    • 1 篇 地质学
    • 1 篇 生物学
  • 36 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 18 篇 工商管理
    • 16 篇 图书情报与档案管...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 87 篇 design
  • 74 篇 languages
  • 66 篇 performance
  • 50 篇 computer program...
  • 38 篇 algorithms
  • 37 篇 computer program...
  • 31 篇 experimentation
  • 24 篇 reliability
  • 24 篇 verification
  • 23 篇 program synthesi...
  • 22 篇 probabilistic pr...
  • 19 篇 java programming...
  • 17 篇 object oriented ...
  • 15 篇 functional progr...
  • 12 篇 c (programming l...
  • 11 篇 computer systems...
  • 11 篇 static analysis
  • 11 篇 language
  • 11 篇 measurement
  • 11 篇 programming lang...

机构

  • 12 篇 carnegie mellon ...
  • 9 篇 univ michigan an...
  • 9 篇 univ wisconsin m...
  • 9 篇 princeton univ p...
  • 8 篇 univ penn philad...
  • 8 篇 purdue univ w la...
  • 8 篇 stanford univ st...
  • 8 篇 univ washington ...
  • 8 篇 univ texas austi...
  • 7 篇 mit cambridge ma...
  • 6 篇 microsoft res re...
  • 6 篇 swiss fed inst t...
  • 6 篇 yale univ new ha...
  • 6 篇 harvard univ cam...
  • 6 篇 cornell univ ith...
  • 5 篇 ibm research
  • 5 篇 microsoft resear...
  • 4 篇 carnegie mellon ...
  • 4 篇 microsoft res re...
  • 4 篇 univ calif davis...

作者

  • 7 篇 dillig isil
  • 6 篇 august david i.
  • 6 篇 gulwani sumit
  • 5 篇 grossman dan
  • 5 篇 aiken alex
  • 5 篇 vechev martin
  • 5 篇 bacon david f.
  • 5 篇 su zhendong
  • 5 篇 lam monica s.
  • 5 篇 chlipala adam
  • 5 篇 myers andrew c.
  • 5 篇 walker david
  • 5 篇 mansinghka vikas...
  • 4 篇 mckinley kathryn...
  • 4 篇 wang xinyu
  • 4 篇 nakatani t
  • 4 篇 cheng perry
  • 4 篇 adl-tabatabai al...
  • 4 篇 gehr timon
  • 4 篇 lueh guei-yuan

语言

  • 547 篇 英文
  • 20 篇 其他
检索条件"任意字段=2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 05"
567 条 记 录,以下是131-140 订阅
排序:
A General Constraint-centric Scheduling Framework for Spatial Architectures
A General Constraint-centric Scheduling Framework for Spatia...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Nowatzki, Tony Sartin-Tarm, Michael De Carli, Lorenzo Sankaralingam, Karthikeyan Estan, Cristian Robatmili, Behnam Univ Wisconsin Madison WI 53706 USA
Specialized execution using spatial architectures provides energy efficient computation, but requires effective algorithms for spatially scheduling the computation. Generally, this has been solved with architecture-sp... 详细信息
来源: 评论
Dynamic Enforcement of Determinism in a Parallel Scripting language  14
Dynamic Enforcement of Determinism in a Parallel Scripting L...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Lu, Li Ji, Weixing Scott, Michael L. Univ Rochester Rochester NY 14627 USA Beijing Inst Technol Beijing Peoples R China
Determinism is an appealing property for parallel programs, as it simplifies understanding, reasoning and debugging. It is particularly appealing in dynamic (scripting) languages, where ease of programming is a domina... 详细信息
来源: 评论
FAST: a Transducer-Based language for Tree Manipulation  14
FAST: a Transducer-Based Language for Tree Manipulation
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: D'Antoni, Loris Veanes, Margus Livshits, Benjamin Molnar, David Univ Penn Philadelphia PA 19104 USA
Tree automata and tree transducers are used in a wide range of applications in software engineering, from XML processing to language type-checking. While these formalisms are of immense practical use, they can only mo... 详细信息
来源: 评论
Guaranteed Bounds for Posterior Inference in Universal Probabilistic programming  2022
Guaranteed Bounds for Posterior Inference in Universal Proba...
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (pldi)
作者: Beutner, Raven Ong, C-H Luke Zaiser, Fabian CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany Univ Oxford Oxford England
We propose a new method to approximate the posterior distribution of probabilistic programs by means of computing guaranteed bounds. The starting point of our work is an interval-based trace semantics for a recursive,... 详细信息
来源: 评论
SPPL: Probabilistic programming with Fast Exact Symbolic Inference  2021
SPPL: Probabilistic Programming with Fast Exact Symbolic Inf...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Saad, Feras A. Rinard, Martin C. Mansinghka, Vikash K. MIT 77 Massachusetts Ave Cambridge MA 02139 USA
We present the Sum-Product Probabilistic language (SPPL), a new probabilistic programming language that automatically delivers exact solutions to a broad range of probabilistic inference queries. SPPL translates proba... 详细信息
来源: 评论
programming Model for a Heterogeneous x86 Platform  09
Programming Model for a Heterogeneous x86 Platform
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Saha, Bratin Zhou, Xiaocheng Chen, Hu Gao, Ying Yan, Shoumeng Rajagopalan, Mohan Fang, Jesse Zhang, Peinan Ronen, Ronny Mendelson, Avi Intel Corp Santa Clara CA 95051 USA
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented cores. The throughput oriented cores (e... 详细信息
来源: 评论
A Decision Procedure for Subset Constraints over Regular languages  09
A Decision Procedure for Subset Constraints over Regular Lan...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Hooimeijer, Pieter Weimer, Westley Univ Virginia Charlottesville VA 22903 USA
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings, and are often manipulated using high... 详细信息
来源: 评论
Adaptive, Efficient, Parallel Execution of Parallel Programs  14
Adaptive, Efficient, Parallel Execution of Parallel Programs
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Sridharan, Srinath Gupta, Gagan Sohi, Gurindar S. Univ Wisconsin Madison WI 53706 USA
Future multicore processors will be heterogeneous, be increasingly less reliable, and operate in dynamically changing operating conditions. Such environments will result in a constantly varying pool of hardware resour... 详细信息
来源: 评论
Gen: A General-Purpose Probabilistic programming System with Programmable Inference  2019
Gen: A General-Purpose Probabilistic Programming System with...
收藏 引用
40th acm sigplan conference on programming language design and implementation (pldi) part of acm's Federated Computing Research conference (FCRC)
作者: Cusumano-Towner, Marco F. Saad, Feras A. Lew, Alexander K. Mansinghka, Vikash K. MIT Cambridge MA 02139 USA
Although probabilistic programming is widely used for some restricted classes of statistical models, existing systems lack the flexibility and efficiency needed for practical use with more challenging models arising i... 详细信息
来源: 评论
Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
Static Analysis for Probabilistic Programs: Inferring Whole ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Sankaranarayanan, Sriram Chakarov, Aleksandar Gulwani, Sumit Univ Colorado Boulder CO 80309 USA Microsoft Res Redmond WA USA
We propose an approach for the static analysis of probabilistic programs that sense, manipulate, and control based on uncertain data. Examples include programs used in risk analysis, medical decision making and cyber-... 详细信息
来源: 评论