咨询与建议

限定检索结果

文献类型

  • 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

语言

  • 525 篇 英文
  • 3 篇 其他
检索条件"任意字段=PLDI 2006 - 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation"
528 条 记 录,以下是351-360 订阅
排序:
Proceedings of the acm sigplan 2003 conference on programming language design and implementation (pldi'03)
Proceedings of the ACM SIGPLAN 2003 conference on programmin...
收藏 引用
acm sigplan conference on programming language design and implementation
The proceedings contains 28 papers from the Proceedings of the acm sigplan 2003 conference on programming language design and implementation&reg (pldi'03). The topics discussed include: linear analysis and opt... 详细信息
来源: 评论
Proceedings of the acm sigplan 2003 conference on programming language design and implementation® (pldi'03)
Proceedings of the ACM SIGPLAN 2003 Conference on Programmin...
收藏 引用
Proceedings of the acm sigplan 2003 conference on programming language design and implementation
This Volume 38 Number 5 of the conference proceedings contains 28 papers. Topics discussed include embedded systems, code optimization, power-aware compilation, program analysis, error detection and debugging and type... 详细信息
来源: 评论
Proceedings of the 2004 acm sigplan conference on programming language design and Implentation (pldi'04)
Proceedings of the 2004 ACM SIGPLAN Conference on Programmin...
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
The proceedings contains 35 papers from the Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04). Topics discussed include: effective stream-based and executio... 详细信息
来源: 评论
The set constraint/CFL reachability connection in practice
The set constraint/CFL reachability connection in practice
收藏 引用
conference on programming language design and implementation
作者: Kodumal, J Aiken, A Univ Calif Berkeley EECS Dept Berkeley CA 94720 USA Stanford Univ Dept Comp Sci Stanford CA 94305 USA
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new reduction from Dyck-CFL reachability to se... 详细信息
来源: 评论
The liberty structural specification language: A high-level modeling language for component reuse
The liberty structural specification language: A high-level ...
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Vachharajani, Manish Vachharajani, Neil August, David I. Department of Computer Science Princeton University Princeton NJ 08544 United States
Rapid exploration of the design space with simulation models is essential for quality hardware systems research and development. Despite striking commonalities across hardware systems, designers routinely fail to achi... 详细信息
来源: 评论
Kill-safe synchronization abstractions
Kill-safe synchronization abstractions
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Flatt, Matthew Findler, Robert Bruce University of Utah United States University of Chicago United States
When an individual task can be forcefully terminated at any time, cooperating tasks must communicate carefully. For example, if two tasks share an object, and if one task is terminated while it manipulates the object,... 详细信息
来源: 评论
Region inference for an object-oriented language
Region inference for an object-oriented language
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Chin, Wei-Ngan Craciun, Florin Qin, Shengchao Rinard, Martin Computer Science Programme Singapore-MIT Alliance Singapore Department of Computer Science National University of Singapore Singapore Laboratory for Computer Science Massachusetts Inst. of Technology United States
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient use of limited memory. Researchers have a... 详细信息
来源: 评论
Jedd:: A BDD-based relational extension of Java
Jedd:: A BDD-based relational extension of Java
收藏 引用
conference on programming language design and implementation
作者: Lhoták, O Hendren, L McGill Univ Sch Comp Sci Sable Res Grp Montreal PQ Canada
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as database-style relations and operatio... 详细信息
来源: 评论
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
Cloning-based context-sensitive pointer alias analysis using...
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Whaley, John Lam, Monica S. Computer Science Department Stanford University Stanford CA 94305 United States
This paper presents the first scalable context-sensitive, inclusion-based pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a method for every context of interest, a... 详细信息
来源: 评论
Min-cut program decomposition for thread-level speculation
Min-cut program decomposition for thread-level speculation
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (pldi'04)
作者: Johnson, Troy A. Eigenmann, Rudolf Vijaykumar, T.N. Sch. of Elec. and Comp. Engineering Purdue University West Lafayette IN 47907 United States
With billion-transistor chips on the horizon, single-chip multiprocessors (CMPs) are likely to become commodity components. Speculative CMPs use hardware to enforce dependence, allowing the compiler to improve perform... 详细信息
来源: 评论