咨询与建议

限定检索结果

文献类型

  • 491 篇 会议
  • 37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 488 篇 工学
    • 485 篇 软件工程
    • 291 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 4 篇 电子科学与技术(可...
    • 3 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 航空宇航科学与技...
  • 77 篇 理学
    • 71 篇 数学
    • 6 篇 统计学(可授理学、...
    • 5 篇 系统科学
    • 3 篇 化学
    • 1 篇 物理学
    • 1 篇 生物学
  • 35 篇 管理学
    • 25 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 13 篇 图书情报与档案管...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 75 篇 design
  • 66 篇 languages
  • 65 篇 performance
  • 43 篇 computer program...
  • 38 篇 algorithms
  • 36 篇 computer program...
  • 31 篇 experimentation
  • 24 篇 verification
  • 23 篇 reliability
  • 23 篇 program synthesi...
  • 22 篇 probabilistic pr...
  • 20 篇 java programming...
  • 15 篇 functional progr...
  • 13 篇 object oriented ...
  • 12 篇 c (programming l...
  • 11 篇 computer systems...
  • 11 篇 static analysis
  • 11 篇 measurement
  • 11 篇 concurrency
  • 10 篇 compilers

机构

  • 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...
  • 5 篇 univ calif berke...
  • 4 篇 carnegie mellon ...
  • 4 篇 microsoft res re...

作者

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

语言

  • 526 篇 英文
  • 2 篇 其他
检索条件"任意字段=PLDI 2006 - 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation"
528 条 记 录,以下是291-300 订阅
排序:
Type-preserving compilation of end-to-end verification of security enforcement  10
Type-preserving compilation of end-to-end verification of se...
收藏 引用
acm sigplan 2010 conference on programming language design and implementation, pldi 2010
作者: Chen, Juan Chugh, Ravi Swamy, Nikhil Microsoft Research United States University of California San Diego CA United States
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in these languages are compiled without exp... 详细信息
来源: 评论
A Distributed OpenCL Framework using Redundant Computation and Data Replication  16
A Distributed OpenCL Framework using Redundant Computation a...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Kim, Junghyun Jo, Gangwon Jung, Jaehoon Kim, Jungwon Lee, Jaejin Seoul Natl Univ Ctr Manycore Programming Dept Comp Sci & Engn Seoul 08826 South Korea
Applications written solely in OpenCL or CUDA cannot execute on a cluster as a whole. Most previous approaches that extend these programming models to clusters are based on a common idea: designating a centralized hos... 详细信息
来源: 评论
Study of dead data members in C++ applications
Study of dead data members in C++ applications
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, pldi
作者: Sweeney, Peter P. Tip, Frank IBM Thomas J. Watson Research Cent Yorktown Heights United States
Object-oriented applications may contain data members that can be removed from the application without affecting program behavior. Such `dead' data members may occur due to unused functionality in class libraries,... 详细信息
来源: 评论
Teapot: language support for writing memory coherence protocols
Teapot: language support for writing memory coherence protoc...
收藏 引用
Proceedings of the acm sigplan'96 conference on programming language design and implementation, pldi
作者: Chandra, Satish Richards, Brad Larus, James R. Univ of Wisconsin-Madison Madison United States
Recent shared-memory parallel computer systems offer the exciting possibility of customizing memory coherence protocols to fit an application's semantics and sharing patterns. Custom protocols have been used to ac... 详细信息
来源: 评论
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums  16
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Maleki, Sepideh Yang, Annie Burtscher, Martin Texas State Univ Dept Comp Sci San Marcos TX 78666 USA
Prefix sums are an important parallel primitive, especially in massively-parallel programs. This paper discusses two orthogonal generalizations thereof, which we call higher-order and tuple-based prefix sums. Moreover... 详细信息
来源: 评论
Profile guided code positioning  90
Profile guided code positioning
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Pettis, Karl Hansen, Robert C. Hewlett Packard Co California Language Lab Cupertino United States
This paper presents the results of our investigation of code positioning techniques using execution profile data as input into the compilation process. The primary objective of the positioning is to reduce the overhea... 详细信息
来源: 评论
Efficient context-sensitive pointer analysis for c programs  95
Efficient context-sensitive pointer analysis for c programs
收藏 引用
1995 acm sigplan conference on programming language design and implementation, pldi 1995
作者: Wilson, Robert P. Lam, Monica S. Computer Systems Laboratory Stanford University CA94305 United States
This paper proposes an efficient technique for con-extsensitive pointer analysis that is applicable to real C programs. For efficiency, we summarize the effects of procedures using partial tran$er func(ions. A partial... 详细信息
来源: 评论
Event-Driven Network programming  16
Event-Driven Network Programming
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: McClurg, Jedidiah Hojjat, Hossein Foster, Nate Cerny, Pavol CU Boulder Boulder CO 80309 USA Cornell Univ Ithaca NY 14853 USA
Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement ... 详细信息
来源: 评论
Semantic Soundness for language Interoperability  2022
Semantic Soundness for Language Interoperability
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (pldi)
作者: Patterson, Daniel Mushtak, Noble Wagner, Andrew Ahmed, Amal Northeastern Univ Boston MA 02115 USA
Programs are rarely implemented in a single language, and thus questions of type soundness should address not only the semantics of a single language, but how it interacts with others. Even between type-safe languages... 详细信息
来源: 评论
CEAL: A C-Based language for Self-Adjusting Computation  09
CEAL: A C-Based Language for Self-Adjusting Computation
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Hammer, Matthew A. Acar, Umut A. Chen, Yan Toyota Technol Inst Chicago Chicago IL USA
Self-adjusting computation offers a language-centric approach to writing programs that can automatically respond to modifications to their data (e.g., inputs). Except for several domain-specific implementations, howev... 详细信息
来源: 评论