咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Declarative programming over Eventually Consistent Data Stores  15
Declarative Programming over Eventually Consistent Data Stor...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Sivaramakrishnan, K. C. Kaki, Gowtham Jagannathan, Suresh Univ Cambridge Cambridge CB2 1TN England Purdue Univ W Lafayette IN 47907 USA
User-facing online services utilize geo-distributed data stores to minimize latency and tolerate partial failures, with the intention of providing a fast, always-on experience. However, geo-distribution does not come ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
programming Ad-hoc Networks of mobile and resource-constrained devices
Programming Ad-hoc Networks of mobile and resource-constrain...
收藏 引用
conference on programming language design and implementation
作者: Ni, Y Kremer, U Stere, A Iftode, L Rutgers State Univ Dept Comp Sci Piscataway NJ 08854 USA
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architecture poses new design challenges in pr... 详细信息
来源: 评论
On the Principles of Differentiable Quantum programming languages  2020
On the Principles of Differentiable Quantum Programming Lang...
收藏 引用
41st acm sigplan conference on programming language design and implementation (pldi)
作者: Zhu, Shaopeng Hung, Shih-Han Chakrabarti, Shouvanik Wu, Xiaodi Univ Maryland College Pk MD 20742 USA
Variational Quantum Circuits (VQCs), or the so-called quantum neural-networks, are predicted to be one of the most important near-term quantum applications, not only because of their similar promises as classical neur... 详细信息
来源: 评论
Profile-directed optimization of event-based programs  02
Profile-directed optimization of event-based programs
收藏 引用
Proceedings of the acm sigplan 2002 conference on programming language design and implementation (pldi'02)
作者: Rajagopalan, Mohan Debray, Saumya K. Hiltunen, Matti A. Schlichting, Richard D. Department of Computer Science University of Arizona Tucson AZ 85721 United States
Events are used as a fundamental abstraction in programs ranging from graphical user interfaces (GUIs) to systems for building customized network protocols. While providing a flexible structuring and execution paradig... 详细信息
来源: 评论
A type-based compiler for standard ML  95
A type-based compiler for standard ML
收藏 引用
1995 acm sigplan conference on programming language design and implementation, pldi 1995
作者: Shao, Zhong Appelt, Andrew W. Yale University United States Princeton University United States
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation work in real compilers, and how much per... 详细信息
来源: 评论
Proceedings of the acm sigplan Workshop on Memory Systems Performance and Correctness, MSPC 2013
Proceedings of the ACM SIGPLAN Workshop on Memory Systems Pe...
收藏 引用
acm sigplan Workshop on Memory Systems Performance and Correctness, MSPC 2013, co-located with the 34th annual acm sigplan conference on programming language design and implementation, pldi
The proceedings contain 12 papers. The topics discussed include: APE: accelerator processor extensions to optimize data-compute co-location;a study of data structures with a deep heap shape;introducing kernel-level pa... 详细信息
来源: 评论
SEMCLUSTER: Clustering of Imperative programming Assignments Based on Quantitative Semantic Features  2019
SEMCLUSTER: Clustering of Imperative Programming Assignments...
收藏 引用
40th acm sigplan conference on programming language design and implementation (pldi) part of acm's Federated Computing Research conference (FCRC)
作者: Perry, David M. Kim, Dohyeong Samanta, Roopsha Zhang, Xiangyu Purdue Univ W Lafayette IN 47907 USA
A fundamental challenge in automated reasoning about programming assignments at scale is clustering student submissions based on their underlying algorithms. State-of-the-art clustering techniques are sensitive to con... 详细信息
来源: 评论
FlumeJava: Easy, Efficient Data-Parallel Pipelines  10
FlumeJava: Easy, Efficient Data-Parallel Pipelines
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Chambers, Craig Raniwala, Ashish Perry, Frances Adams, Stephen Henry, Robert R. Bradshaw, Robert Weizenbaum, Nathan Google Seattle WA USA
MapReduce and similar systems significantly ease the task of writing data-parallel code. However, many real-world computations require a pipeline of Map Reduces, and programming and managing such pipelines can be diff... 详细信息
来源: 评论
Fine-grain multithreading with minimal compiler support - A cost effective approach to implementing efficient multithreading languages
Fine-grain multithreading with minimal compiler support - A ...
收藏 引用
sigplan 97 conference on programming language design and implementation
作者: Taura, K Yonezawa, A Univ of Tokyo Tokyo Japan
It is difficult to map the execution model of multithreading languages (languages which support fine-grain dynamic thread creation) onto the single stack execution model of C. Consequently, previous work on efficient ... 详细信息
来源: 评论