咨询与建议

限定检索结果

文献类型

  • 774 篇 会议
  • 129 篇 期刊文献

馆藏范围

  • 903 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 801 篇 工学
    • 787 篇 软件工程
    • 527 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 100 篇 理学
    • 86 篇 数学
    • 10 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 49 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 164 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 70 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 34 篇 reliability
  • 31 篇 object oriented ...
  • 26 篇 java programming...
  • 25 篇 program synthesi...
  • 25 篇 functional progr...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 theory
  • 19 篇 concurrency
  • 18 篇 type systems
  • 18 篇 domain-specific ...
  • 17 篇 compilers

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 stanford univ st...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 univ washington ...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 aiken alex
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 825 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 96 Conference on Programming Language Design and Implementation"
903 条 记 录,以下是771-780 订阅
排序:
A study of concurrent real-time garbage collectors
收藏 引用
acm sigplan NOTICES 2008年 第6期43卷 33-44页
作者: Pizlo, Filip Petrank, Erez Steensgaard, Bjarne Purdue Univ W Lafayette IN 47907 USA Microsoft Res Redmond WA 98052 USA
Concurrent garbage collection is highly attractive for real-time systems, because offloading the collection effort from the executing threads allows faster response, allowing for extremely short deadlines at the micro... 详细信息
来源: 评论
CML: A higher concurrent language  91
CML: A higher concurrent language
收藏 引用
Proceedings of the acm sigplan 1991 conference on programming language design and implementation
作者: John H. Reppy Cornell University
来源: 评论
Session details: language design  13
Session details: Language design
收藏 引用
Proceedings of the 34th acm sigplan conference on programming language design and implementation
作者: Umut A. Acar Carnegie Mellon University
No abstract available.
来源: 评论
GreenWeb: language Extensions for Energy-Efficient Mobile Web Computing
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 145-160页
作者: Zhu, Yuhao Reddi, Vijay Janapa Univ Texas Austin Dept Elect & Comp Engn Austin TX 78712 USA
Web computing is gradually shifting toward mobile devices, in which the energy budget is severely constrained. As a result, Web developers must be conscious of energy efficiency. However, current Web languages provide... 详细信息
来源: 评论
Load-reuse analysis: design and evaluation
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 64-76页
作者: Bodik, Rastislav Gupta, Rajiv Soffa, Mary Lou Univ of Pittsburgh Pittsburgh United States
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the results of prior memory accesses. This pa... 详细信息
来源: 评论
Reactive Imperative programming with Dataflow Constraints
收藏 引用
acm sigplan NOTICES 2011年 第10期46卷 407-426页
作者: Demetrescu, Camil Finocchi, Irene Ribichini, Andrea Sapienza Univ Rome Dept Comp & Syst Sci Rome Italy Sapienza Univ Rome Dept Comp Sci Rome Italy
Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes of their environment. Researchers have long investigat... 详细信息
来源: 评论
Session details: Probabilistic programming  14
Session details: Probabilistic programming
收藏 引用
Proceedings of the 35th acm sigplan conference on programming language design and implementation
作者: Ben Zorn Microsoft Research
No abstract available.
来源: 评论
A Distributed OpenCL Framework using Redundant Computation and Data Replication
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 553-569页
作者: Kim, Junghyun Jo, Gangwon Jung, Jaehoon Kim, Jungwon Lee, Jaejin Seoul Natl Univ Ctr Manycore Programming Dept Comp Sci & Engn Seoul 08826 South Korea
Applications written solely in OpenCL or CUDA cannot execute on a cluster as a whole. Most previous approaches that extend these programming models to clusters are based on a common idea: designating a centralized hos... 详细信息
来源: 评论
A practical automatic polyhedral parallelizer and locality optimizer
收藏 引用
acm sigplan NOTICES 2008年 第6期43卷 101-113页
作者: Bondhugula, Uday Hartono, Albert Ramanujam, J. Sadayappan, P. Ohio State Univ Dept Comp Sci & Engn Columbus OH 43210 USA Louisiana State Univ Dept Elect & Comp Engn Baton Rouge LA 70803 USA Louisiana State Univ CCT Baton Rouge LA 70803 USA
We present the design and implementation of an automatic polyhedral source-to-source transformation framework that can optimize regular programs ( sequences of possibly imperfectly nested loops) for parallelism and lo... 详细信息
来源: 评论
Disjoint Intersection Types
收藏 引用
acm sigplan NOTICES 2016年 第9期51卷 364-377页
作者: Oliveira, Bruno C. d. S. Shi, Zhiyuan Alpuim, Joao Univ Hong Kong Hong Kong Hong Kong Peoples R China
Dunfield showed that a simply typed core calculus with intersection types and a merge operator is able to capture various programming language features. While his calculus is type-safe, it is not coherent: different d... 详细信息
来源: 评论