咨询与建议

限定检索结果

文献类型

  • 1,152 篇 会议
  • 135 篇 期刊文献

馆藏范围

  • 1,287 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,112 篇 工学
    • 1,037 篇 软件工程
    • 800 篇 计算机科学与技术...
    • 48 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 安全科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 103 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 49 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 18 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 12 篇 univ washington ...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 univ penn philad...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 stanford univ st...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 microsoft res re...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 9 篇 microsoft resear...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 shao zhong
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 8 篇 gulwani sumit
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 rajan hridesh
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,205 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1287 条 记 录,以下是581-590 订阅
排序:
Fault-tolerant typed assembly language
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 42-53页
作者: 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... 详细信息
来源: 评论
EXOCHI: Architecture and programming environment for a heterogeneous multi-core multithreaded system
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 156-166页
作者: Wang, Perry H. Collins, Jamison D. Chinya, Gautham N. Hong Jiang Xinmin Tian Girkar, Milind Yang, Nick Y. Lueh, Guei-Yuan Wang, Hong Intel Corp Microprocessor Technol Labs Microarchitecture Res Lab Santa Clara CA 95051 USA Intel Corp Chipset Grp Santa Clara CA 95051 USA Intel Corp Software Solut Corp Intel Compiler Lab Santa Clara CA 95051 USA
Future mainstream microprocessors will likely integrate specialized accelerators, such as GPUs, onto a single die to achieve better performance and power efficiency. However, it remains a keen challenge to program suc... 详细信息
来源: 评论
proceedings of the 2005 acm sigplan conference on programming language design and implementation, PLDI'05
Proceedings of the 2005 ACM SIGPLAN Conference on Programmin...
收藏 引用
2005 acm sigplan conference on programming language design and implementation, PLDI 05
The proceedings contain 29 papers. The topic discussed include: a serializability violation detector for shared-memory server programs;path slicing;checking type safety of foreign function calls;permission-based owner... 详细信息
来源: 评论
proceedings of the acm sigplan conference on programming language design and implementation (PLDI): Foreword
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 2005年 iii页
作者: Hall, Mary Sarkar, Vivek USC ISI IBM Research
No abstract available
来源: 评论
Effective static race detection for Java  06
Effective static race detection for Java
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Naik, Mayur Aiken, Alex Whaley, John Computer Science Department Stanford University United States
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses potentially inv... 详细信息
来源: 评论
The ATOMOσ transactional programming language
The ATOMOσ transactional programming language
收藏 引用
PLDI 2006 - 2006 acm sigplan conference on programming language design and implementation
作者: Carlstrom, Brian D. McDonald, Austen Chafi, Hassan Chung, JaeWoong Minh, Chi Cao Kozyrakis, Christos Olukotun, Kunle Computer Systems Laboratory Stanford University
Atomos is the first programming language with implicit transactions, strong atomicity, and a scalable multiprocessor implementation. Atomos is derived from Java, but replaces its synchronization and conditional wailin... 详细信息
来源: 评论
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... 详细信息
来源: 评论
An experimental analysis of self-adjusting computation  06
An experimental analysis of self-adjusting computation
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Acar, Umut A. Blelloch, Guy E. Blume, Matthias Tangwongsan, Kanat Toyota Technological Institute Japan Carnegie Mellon University United States
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining these approaches to effectively dynamize a... 详细信息
来源: 评论
The Atomos ∑ transactional programming language  06
The Atomos ∑ transactional programming language
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Carlstrom, Brian D. McDonald, Austen Chafi, Hassan Chung, Jaewoong Minh, Chi Cao Kozyrakis, Christos Olukotun, Kunle Computer Systems Laboratory Stanford University United States
Atomos is the first programming language with implicit transactions, strong atomicity, and a scalable multiprocessor implementation. Atomos is derived from Java, but replaces its synchronization and conditional waitin... 详细信息
来源: 评论
Fast and flexible instruction selection with on-demand tree-parsing automata  06
Fast and flexible instruction selection with on-demand tree-...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Ertl, M. Anton Casey, Kevin Gregg, David TU Wien Austria Trinity College Dublin Ireland Institut für Computersprachen Technische Universität Wien Argentinierstraße 8 A-1040 Wien Austria
Tree parsing as supported by code generator generators like BEG, burg, iburg, lburg and ml-burg is a popular instruction selection method. There are two existing approaches for implementing tree parsing: dynamic progr... 详细信息
来源: 评论