咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是161-170 订阅
排序:
Automatic inline allocation of objects  97
Automatic inline allocation of objects
收藏 引用
sigplan 97 conference on programming language design and implementation
作者: Dolby, J Concurrent Systems Architecture Group Department of Computer Science University of Illinois 1304 West Springfield Avenue Urbana IL
Object-oriented languages like Java and Smalltalk provide a uniform object model that simplifies programming by providing a consistent, abstract model of object behavior. But direct implementations introduce overhead,... 详细信息
来源: 评论
Java without the coffee breaks: A nonintrusive multiprocessor garbage collector  01
Java without the coffee breaks: A nonintrusive multiprocesso...
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Bacon, DF Attanasio, CR Lee, HB Rajan, VT Smith, S IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA
The deployment of Java as a concurrent programming language has created a critical need for high-performance, concurrent, and incremental multiprocessor garbage collection. We present the Recycler, a fully concurrent ... 详细信息
来源: 评论
MixT: A language for Mixing Consistency in Geodistributed Transactions  2018
MixT: A Language for Mixing Consistency in Geodistributed Tr...
收藏 引用
39th acm sigplan conference on programming language design and implementation (pldi)
作者: Milano, Matthew Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
programming concurrent, distributed systems is hard-especially when these systems mutate shared, persistent state replicated at geographic scale. To enable high availability and scalability, a new class of weakly cons... 详细信息
来源: 评论
Compiling a high-level language for GPUs: Via language support for architectures and compilers
Compiling a high-level language for GPUs: Via language suppo...
收藏 引用
33rd acm sigplan conference on programming language design and implementation, pldi'12
作者: Dubach, Christophe Cheng, Perry Rabbah, Rodric Bacon, David F. Fink, Stephen J. University of Edinburgh United Kingdom IBM Research United States
languages such as OpenCL and CUDA offer a standard interface for general-purpose programming of GPUs. However, with these languages, programmers must explicitly manage numerous lowlevel details involving communication... 详细信息
来源: 评论
Extended static checking for Java  02
Extended static checking for Java
收藏 引用
Proceedings of the acm sigplan 2002 conference on programming language design and implementation (pldi'02)
作者: Flanagan, Cormac Leino, K. Rustan M. Lillibridge, Mark Nelson, Greg Saxe, James B. Stata, Raymie Compaq Systems Research Center 130 Lytton Ave. Palo Alto CA 94301 United States
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ES... 详细信息
来源: 评论
Data flow frequency analysis
Data flow frequency analysis
收藏 引用
acm sigplan 96 conference on programming language design and implementation
作者: Ramalingam, G IBM T.J. Watson Research Cent Yorktown Heights United States
Conventional dataflow analysis computes information about what facts may or will not hold during the execution of a program. Sometimes it is useful, for program optimization, to know how often or with what probability... 详细信息
来源: 评论
Exploring and Enforcing Security Guarantees via Program Dependence Graphs  15
Exploring and Enforcing Security Guarantees via Program Depe...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Johnson, Andrew Waye, Lucas Moore, Scott Chong, Stephen MIT Lincoln Lab Cambridge MA 02139 USA Harvard Univ Cambridge MA 02138 USA
We present PIDGIN, a program analysis and understanding tool that enables the specification and enforcement of precise application-specific information security guarantees. PIDGIN also allows developers to interactive... 详细信息
来源: 评论
Complete removal of redundant expressions  98
Complete removal of redundant expressions
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, pldi
作者: Bodik, Rastislav Gupta, Rajiv Soffa, Mary Lou Univ of Pittsburgh Pittsburgh PA United States
Partial redundancy elimination (PRE), the most important component of global optimizers, generalizes the removal of common subexpressions and loop-invariant computations. Achieving a complete PRE while incurring an ac... 详细信息
来源: 评论
Quantum Abstract Interpretation  2021
Quantum Abstract Interpretation
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (pldi)
作者: Yu, Nengkun Palsberg, Jens Univ Technol Sydney CQSI FEIT Sydney NSW Australia Univ Calif Los Angeles UCLA Comp Sci Dept Los Angeles CA USA UCLA Challenge Inst Quantum Computat Los Angeles CA USA
In quantum computing, the basic unit of information is a qubit. Simulation of a general quantum program takes exponential time in the number of qubits, which makes simulation infeasible beyond 50 qubits on current sup... 详细信息
来源: 评论
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... 详细信息
来源: 评论