咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是511-520 订阅
排序:
Rank 2 Intersection Types for Modules  03
Rank 2 Intersection Types for Modules
收藏 引用
Fifth acm sigplan conference on Principle and Practice of Declarative programming
作者: Damiani, Ferruccio Dipartimento di Informatica Università di Torino Corso Svizzera 185 10149 Torino Italy
We propose a rank 2 intersection type system for a language of modules built on a core ML-like language. The principal typing property of the rank 2 intersection type system for the core language plays a crucial role ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Extending Arbitrary Solvers with Constraint Handling Rules  03
Extending Arbitrary Solvers with Constraint Handling Rules
收藏 引用
Fifth acm sigplan conference on Principle and Practice of Declarative programming
作者: Duck, Gregory J. Stuckey, Peter J. De la Banda, Maria Garcia Holzbaur, Christian Dept. of Computer Science University of Melbourne 3010 Australia Sch. of Comp. Sci./Software Eng. Monash University 3800 Australia Dept. of Medical Cybernetics University of Vienna Austria
Constraint Handling Rules (CHRs) are a high-level committed choice programming language commonly used to write constraint solvers. While the semantic basis of CHRs allows them to extend arbitrary underlying constraint... 详细信息
来源: 评论
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... 详细信息
来源: 评论
language-independent aspect-oriented programming
Language-independent aspect-oriented programming
收藏 引用
18th Annual conference on Object-Oriented programming, Systems, languages and Applications (OOPSLA 2003)
作者: Lafferty, D Cahill, V Univ Dublin Trinity Coll Dept Comp Sci Distributed Syst Grp Dublin 2 Ireland
The term aspect-oriented programming (AOP) has come to describe the set of programming mechanisms developed specifically to express crosscutting concerns. Since crosscutting concerns cannot be properly modularized wit... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A comparison of empirical and model-driven optimization  03
收藏 引用
acm sigplan conference on programming language design and implementation
作者: K., Yotov X., Li G., Ren M., Cibulskis G., DeJong M., Garzaran D., Padua K., Pingali P., Stodghill P., Wu Univ. Illinois at Urbana-Champaign Urbana-Champaign IL United States IBM T.J. Watson Research Center Yorktown Heights NY United States
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which values give the best performance. In ... 详细信息
来源: 评论
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... 详细信息
来源: 评论