咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations  2021
Scooter & Sidecar: A Domain-Specific Approach to Writing Sec...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Renner, John Sanchez-Stern, Alex Brown, Fraser Lerner, Sorin Stefan, Deian Univ Calif San Diego La Jolla CA 92093 USA
Web applications often handle large amounts of sensitive user data. Modern secure web frameworks protect this data by (1) using declarative languages to specify security policies alongside database schemas and (2) aut... 详细信息
来源: 评论
programming Ad-hoc Networks of mobile and resource-constrained devices
Programming Ad-hoc Networks of mobile and resource-constrain...
收藏 引用
conference on programming language design and implementation
作者: Ni, Y Kremer, U Stere, A Iftode, L Rutgers State Univ Dept Comp Sci Piscataway NJ 08854 USA
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architecture poses new design challenges in pr... 详细信息
来源: 评论
Termination proofs for systems code  06
Termination proofs for systems code
收藏 引用
pldi 2006 - 2006 acm sigplan conference on programming language design and implementation
作者: Cook, Byron Podelski, Andreas Rybalchenko, Andrey Microsoft Research Max-Planck-Institut für Informatik Germany Max-Planck-Institut für Informatik EPFL Germany
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and context-sensitive program analysis and prov... 详细信息
来源: 评论
Improving JavaScript Performance by Deconstructing the Type System  14
Improving JavaScript Performance by Deconstructing the Type ...
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Ahn, Wonsun Choi, Jiho Shull, Thomas Garzaran, Maria J. Torrellas, Josep Univ Illinois Champaign IL 61820 USA
Increased focus on Java Script performance has resulted in vast performance improvements for many benchmarks. However, for actual code used in websites, the attained improvements often lag far behind those for popular... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Memory management with explicit regions
Memory management with explicit regions
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, pldi
作者: Gay, David Aiken, Alex Univ of California Berkeley United States
Much research has been devoted to studies of and algorithms for memory management based on garbage collection or explicit allocation and deallocation. An alternative approach, region-based memory management, has been ... 详细信息
来源: 评论
Unfold/fold transformations and loop optimization of logic programs  88
Unfold/fold transformations and loop optimization of logic p...
收藏 引用
acm sigplan conference on programming language design and implementation, pldi 1988
作者: Debray, Saumya K. Department of Computer Science University of Arizona TucsonAZ85721 United States
Programs typically spend much of their execution time in loops. This makes the generation of efficient code for loops essential for good performance. Loop optimization of logic programming languages is complicated by ... 详细信息
来源: 评论
Test-Driven Synthesis  14
Test-Driven Synthesis
收藏 引用
35th acm sigplan conference on programming language design and implementation (pldi)
作者: Perelman, Daniel Gulwani, Sumit Grossman, Dan Provost, Peter Univ Washington Seattle WA 98195 USA Microsoft Corp Mountain View CA USA
programming-by-example technologies empower end-users to create simple programs merely by providing input/output examples. Existing systems are designed around solvers specialized for a specific set of data types or d... 详细信息
来源: 评论
Reticle: A Virtual Machine for programming Modern FPGAs  2021
Reticle: A Virtual Machine for Programming Modern FPGAs
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Vega, Luis McMahan, Joseph Sampson, Adrian Grossman, Dan Ceze, Luis Univ Washington Seattle WA 98195 USA Cornell Univ Ithaca NY 14853 USA
Modern field-programmable gate arrays (FPGAs) have recently powered high-profile efficiency gains in systems from datacenters to embedded devices by offering ensembles of heterogeneous, reconfigurable hardware units. ... 详细信息
来源: 评论
VESTA: Power Modeling with language Runtime Events
收藏 引用
PROCEEDINGS OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 621-646页
作者: Raskind, Joseph Babakol, Timur Mahmoud, Khaled Liu, Yu David SUNY Binghamton Binghamton NY 13902 USA
Power modeling is an essential building block for computer systems in support of energy optimization, energy profiling, and energy-aware application development. We introduce VESTA, a novel approach to modeling the po... 详细信息
来源: 评论