咨询与建议

限定检索结果

文献类型

  • 1,094 篇 会议
  • 132 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 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 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 8 篇 microsoft res re...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...

作者

  • 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 篇 foster nate
  • 6 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是501-510 订阅
排序:
Developing a stage lighting system for scratch
Developing a stage lighting system for scratch
收藏 引用
6th acm sigplan Internatinal conference on Functional programming (ICFP'01)
作者: Sperber, M. Wilhelm-Schickard-Institut fur Info. Universität Tübingen Tübingen Germany
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvements of historic concepts. Lula repres... 详细信息
来源: 评论
Synchronization via scheduling: Techniques for efficiently managing shared state  11
Synchronization via scheduling: Techniques for efficiently m...
收藏 引用
32nd acm conference on programming language design and implementation, PLDI 2011
作者: Best, Micah J. Mottishaw, Shane Mustard, Craig Roth, Mark Fedorova, Alexandra Brownsword, Andrew University of British Columbia Canada Simon Fraser University Canada Electronic Arts Inc. Canada
Shared state access conflicts are one of the greatest sources of error for fine grained parallelism in any domain. Notoriously hard to debug, these conflicts reduce reliability and increase development time. The stand... 详细信息
来源: 评论
Improving on the Experience of Hand-Assembling Programs for Application-Specific Architectures  21
Improving on the Experience of Hand-Assembling Programs for ...
收藏 引用
5th International conference on the Art, Science, and Engineering of programming (programming)
作者: Piumarta, Ian Kyoto Univ Adv Sci Kyoto Japan
Creating an application-specific processor is an effective and popular way to solve many problems in embedded hardware design using FPGAs, ASICs, or custom silicon. programming these processors is complicated by the l... 详细信息
来源: 评论
Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages  8
Highly efficient and encapsulated re-use of synchronization ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Matsuoka, Satoshi Taura, Kenjiro Yonezawa, Akinori Department of Information Science University of Tokyo Japan
Re-use of synchronization code in concurrent 00-languages has been considered difficult due to inheritance anomaly, which we minimize with our new proposal. designed with high practicality in mind, we propose language... 详细信息
来源: 评论
SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED languageS  95
SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED LANGUAGES
收藏 引用
acm sigplan 95 conference on programming language design and implementation
作者: DEAN, J CHAMBERS, C GROVE, D Department of Computer Science and Engineering University of Washington Seattle WA
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing other optimizations. To reduce this overhe... 详细信息
来源: 评论
Acute: High-level programming language design for distributed computation  05
Acute: High-level programming language design for distribute...
收藏 引用
10th acm sigplan International conference on Functional programming (ICFP)
作者: Sewell, Peter Leifer, James J. Wansbrough, Keith Nardelli, Francesco Zappa Allen-Williams, Mair Habouzit, Pierre Vafeiadis, Viktor Univ Cambridge Cambridge England INRIA Rocquencourt Le Chesnay France
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (b... 详细信息
来源: 评论
Practical dynamic software updating for C  06
Practical dynamic software updating for C
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Neamtiu, Iulian Hicks, Michael Stoyle, Gareth Oriol, Manuel University of Maryland United States University of Cambridge United Kingdom ETH Zurich Switzerland
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) addresses this difficulty by permittin... 详细信息
来源: 评论
Dynamic feedback: An effective technique for adapting computing
Dynamic feedback: An effective technique for adapting comput...
收藏 引用
proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Diniz, Pedro Rinard, Martin Univ of California Santa Barbara Santa Barbara United States
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produces several different versions of the sa... 详细信息
来源: 评论
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores  2018
SWOOP: Software-Hardware Co-design for Non-speculative, Exec...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Tran, Kim-Anh Jimborean, Alexandra Carlson, Trevor E. Koukos, Konstantinos Sjalander, Magnus Kaxiras, Stefanos Uppsala Univ Uppsala Sweden Natl Univ Singapore Singapore Singapore Norwegian Univ Sci & Technol NTNU Trondheim Norway
Increasing demands for energy eiciency constrain emerging hardware. These new hardware trends challenge the established assumptions in code generation and force us to rethink existing software optimization techniques.... 详细信息
来源: 评论
A compiler framework for speculative analysis and optimizations  03
收藏 引用
conference on programming language design and implementation
作者: Lin, J Chen, T Hsu, WC Ju, RDC Ngai, TF Yew, PC Chan, S Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA Intel Corp Microproc Res Lab Santa Clara CA 95052 USA
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristic rules, existing compiler frameworks ... 详细信息
来源: 评论