咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是401-410 订阅
排序:
Light: Replay via Tightly Bounded Recording  15
Light: Replay via Tightly Bounded Recording
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Liu, Peng Zhang, Xiangyu Tripp, Omer Zheng, Yunhui Purdue Univ W Lafayette IN 47907 USA
Reproducing concurrency bugs is a prominent challenge. Existing techniques either rely on recording very fine grained execution information and hence have high runtime overhead, or strive to log as little information ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
implementation of the Memory-safe Full ANSI-C Compiler  09
Implementation of the Memory-safe Full ANSI-C Compiler
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Oiwa, Yutaka Natl Inst Adv Ind Sci & Technol Res Ctr Informat Secur RCIS Tokyo Japan
This paper describes a completely memory-safe compiler for C language programs that is fully compatible with the ANSI C specification. Programs written in C often suffer from nasty errors due to dangling pointers and ... 详细信息
来源: 评论
The exo VM system for automatic VM and application reduction  07
The exo VM system for automatic VM and application reduction
收藏 引用
conference on programming language design and implementation
作者: Titzer, Ben L. Auerbach, Joshua Bacon, David F. Palsberg, Jens Univ Calif Los Angeles Compilers Grp Los Angeles CA 90025 USA
Embedded systems pose unique challenges to Java application developers and virtual machine designers. Chief among these challenges is the memory footprint of both the virtual machine and the applications that run with... 详细信息
来源: 评论
A region-based compilation technique for a Java just-in-time compiler  03
收藏 引用
conference on programming language design and implementation
作者: Suganuma, T Yasue, T Nakatani, T IBM Japan Ltd Tokyo Res Lab Yamato 2428502 Japan
Method inlining and data flow analysis are two major optimization components for effective program transformations, however they often suffer from the existence of rarely or never executed code contained in the target... 详细信息
来源: 评论
Advanced Automata-Based Algorithms for Program Termination Checking  2018
Advanced Automata-Based Algorithms for Program Termination C...
收藏 引用
39th acm sigplan conference on programming language design and implementation (pldi)
作者: Chen, Yu-Fang Heizmann, Matthias Lengal, Ondrej Li, Yong Tsai, Ming-Hsien Turrini, Andrea Zhang, Lijun Acad Sinica Taipei Taiwan Natl Taipei Univ New Taipei Taiwan Univ Freiburg Freiburg Germany Brno Univ Technol FIT IT4Innovat Ctr Excellence Brno Czech Republic Chinese Acad Sci Univ Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China
In 2014, Heizmann et al. proposed a novel framework for program termination analysis. The analysis starts with a termination proof of a sample path. The path is generalized to a Buchi automaton (BA) whose language (by... 详细信息
来源: 评论
Dynamic feedback: An effective technique for adapting computing
Dynamic feedback: An effective technique for adapting comput...
收藏 引用
Proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, pldi
作者: Diniz, Pedro Rinard, Martin Univ of California Santa Barbara Santa Barbara United States
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produces several different versions of the sa... 详细信息
来源: 评论
PetaBricks: A language and Compiler for Algorithmic Choice  09
PetaBricks: A Language and Compiler for Algorithmic Choice
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Ansel, Jason Chan, Cy Wong, Yee Lok Olszewski, Marek Zhao, Qin Edelman, Alan Amarasinghe, Saman MIT Comp Sci & Artificial Intelligence Lab Cambridge MA 02139 USA
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformations, and blocking. The best solution to... 详细信息
来源: 评论
Fault-tolerant typed assembly language  07
Fault-tolerant typed assembly language
收藏 引用
conference on programming language design and implementation
作者: Perry, Frances Mackey, Lester Reis, George A. Ligatti, Jay August, David I. Walker, David Princeton Univ Dept Comp Sci & Elect Engn Princeton NJ 08544 USA Univ S Florida Dept Comp Sci & Comp Engn Tampa FL 33620 USA
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. Although transient faults do not permanently damage the hardware, they may corrupt computations by alterin... 详细信息
来源: 评论
A Context-free Markup language for Semi-structured Text  10
A Context-free Markup Language for Semi-structured Text
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Xi, Qian Walker, David Princeton Univ Princeton NJ 08544 USA
An ad hoc data format is any nonstandard, semi-structured data format for which robust data processing tools are not easily available. In this paper, we present ANNE, a new kind of markup language designed to help use... 详细信息
来源: 评论