咨询与建议

限定检索结果

文献类型

  • 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

语言

  • 548 篇 英文
  • 19 篇 其他
检索条件"任意字段=2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 05"
567 条 记 录,以下是521-530 订阅
Dynamic scheduling method for irregular parallel programs
Dynamic scheduling method for irregular parallel programs
收藏 引用
acm sigplan '92 conference on programming language design and implementation, pldi 1992
作者: Lucco, Steven UC Berkeley Berkeley CA United States
This paper develops a methodology for compiling and executing irregular parallel programs. Such programs implement parallel operations whose size and work distribution depend on input data. We show a fundamental relat... 详细信息
来源: 评论
Ercatons and Organic programming: Say Good-Bye to Planned Economy
Ercatons and Organic Programming: Say Good-Bye to Planned Ec...
收藏 引用
OOPSLA'05 - 20th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications
作者: Imbusch, Oliver Langhammer, Falk Von Walter, Guido Living Pages Research GmbH Kolosseumstrasse 1a Munich80469 Germany
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-oriented programming (OOP) i... 详细信息
来源: 评论
Aspectual Caml: an aspect-oriented functional language
收藏 引用
acm sigplan NOTICES 2005年 第9期40卷 320-330页
作者: Masuhara, H Tatsuzawa, H Yonezawa, A Univ Tokyo Grad Sch Arts & Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml with two AOP mechanisms similar to those in AspectJ language. This paper desc... 详细信息
来源: 评论
Essential language support for generic programming
收藏 引用
acm sigplan NOTICES 2005年 第6期40卷 73-84页
作者: Siek, J Lumsdaine, A Indiana Univ Open Syst Lab Bloomington IN 47405 USA
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, enable systematic organization of proble... 详细信息
来源: 评论
Introducing acm sigplan International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era
ACM International Conference Proceeding Series
收藏 引用
acm International conference Proceeding Series 2011年 iii-iv页
作者: Fursin, Grigori Hundt, Robert Mars, Jason Kashnikov, Yuriy UVSQ France Google CA United States University of Virginia United States
来源: 评论
X10: An object-oriented approach to Non-Uniform Cluster Computing
X10: An object-oriented approach to Non-Uniform Cluster Comp...
收藏 引用
OOPSLA'05 - 20th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications
作者: Charles, Philippe Grothoff, Christian Saraswat, Vijay Donawa, Christopher Kielstra, Allan Ebcioglu, Kemal Von Praun, Christoph Sarkar, Vivek IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights NY 10598 United States UCLA Computer Science Department Boelter Hall Los Angeles CA 90095 United States IBM Toronto Laboratory 8200 Warden Avenue Markham ON L6G 1C7 Canada
It is now well established that the device scaling predicted by Moore's Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the rate that had been sustained during... 详细信息
来源: 评论
Reliable and efficient programming abstractions for wireless sensor networks
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 200-210页
作者: Kothari, Nupur Gummadi, Ramakrishna Millstein, Todd Govindan, Ramesh Univ So Calif Los Angeles CA 90089 USA Univ Calif Los Angeles Los Angeles CA 90024 USA
It is currently difficult to build practical and reliable programming systems out of distributed and resource-constrained sensor devices. The state of the art in today's sensornet programming is centered around a ... 详细信息
来源: 评论
Quipper: A Scalable Quantum programming language  13
Quipper: A Scalable Quantum Programming Language
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoit Valiron Dalhousie University Institute of Advanced Studies University of Pennsylvania
The field of quantum algorithms is vibrant. Still, there is currently a lack of programming languages for describing quantum computation on a practical scale, i.e., not just at the level of toy problems. We address th... 详细信息
来源: 评论
A race-free hardware modeling language
A race-free hardware modeling language
收藏 引用
3rd acm and IEEE International conferenceon Formal Methods and Models for Co-design, MEMOCODE'05
作者: Schaumont, Patrick Shukla, Sandeep Verbauwhede, Ingrid UCLA Virginia Tech UCLA KUL
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We derive a set of four rules under which a... 详细信息
来源: 评论
Finding Optimum Abstractions in Parametric Dataflow Analysis  13
Finding Optimum Abstractions in Parametric Dataflow Analysis
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Xin Zhang Mayur Naik Hongseok Yang Georgia Institute of Technology University of Oxford
We propose a technique to efficiently search a large family of abstractions in order to prove a query using a parametric dataflow analysis. Our technique either finds the cheapest such abstraction or shows that none e... 详细信息
来源: 评论