咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 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
  • 8 篇 sarkar vivek
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,134 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1212 条 记 录,以下是141-150 订阅
排序:
Persistency for Synchronization-Free Regions  2018
Persistency for Synchronization-Free Regions
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Gogte, Vaibhav Diestelhorst, Stephan Wang, William Narayanasamy, Satish Chen, Peter M. Wenisch, Thomas F. Univ Michigan Ann Arbor MI 48109 USA Arm Res Cambridge England
Nascent persistent memory (PM) technologies promise the performance of DRAM with the durability of disk, but how best to integrate them into programming systems remains an open question. Recent work extends language m... 详细信息
来源: 评论
To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries  2018
To-Many or To-One? All-in-One! Efficient Purely Functional M...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Steindorfer, Michael J. Vinju, Jurgen J. Delft Univ Technol Delft Netherlands Ctr Wiskunde & Informat Amsterdam Netherlands TU Eindhoven Eindhoven Netherlands
An immutable multi-map is a many-to-many map data structure with expected fast insert and lookup operations. This data structure is used for applications processing graphs or many-to-many relations as applied in compi... 详细信息
来源: 评论
Symbolic Reasoning for Automatic Signal Placement  2018
Symbolic Reasoning for Automatic Signal Placement
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Ferles, Kostas Van Geffen, Jacob Dillig, Isil Smaragdakis, Yannis Univ Texas Austin Austin TX 78712 USA Univ Athens Athens Greece
Explicit signaling between threads is a perennial cause of bugs in concurrent programs. While there are several runtime techniques to automatically notify threads upon the availability of some shared resource, such te... 详细信息
来源: 评论
A Domain-Specific language for Exploratory Data Visualization  2018
A Domain-Specific Language for Exploratory Data Visualizatio...
收藏 引用
17th acm sigplan International conference on Generative programming - Concepts and Experiences (GPCE) part of the SPLASH Collection of conferences and Workshops
作者: Smeltzer, Karl Erwig, Martin Oregon State Univ Corvallis OR 97331 USA
With an ever-growing amount of collected data, the importance of visualization as an analysis component is growing in concert. The creation of good visualizations often doesn't happen in one step but is rather an ... 详细信息
来源: 评论
Polyhedral Auto-transformation with No Integer Linear programming  2018
Polyhedral Auto-transformation with No Integer Linear Progra...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Acharya, Aravind Bondhugula, Uday Cohen, Albert Indian Inst Sci Dept Comp Sci & Automat Bangalore Karnataka India INRIA Paris France DI Ecole Normale Super Paris France
State-of-the-art algorithms used in automatic polyhedral transformation for parallelization and locality optimization typically rely on Integer Linear programming (ILP). This poses a scalability issue when scaling to ... 详细信息
来源: 评论
proceedings of the acm sigplan conference on programming language design and implementation (PLDI)
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
36th acm sigplan conference on programming language design and implementation, PLDI 2015
The proceedings contain 59 papers. The topics discussed include: automatic error elimination by horizontal code transfer across multiple applications;mechanized verification of fine-grained concurrent programs;algorit...
来源: 评论
A Domain-Specific language for Microservices  9
A Domain-Specific Language for Microservices
收藏 引用
9th acm sigplan International Symposium on Scala (Scala) as part of the acm sigplan International conference on Functional programming (ICFP)
作者: Donham, Jacob Twitter Inc San Francisco CA 94103 USA
A common architectural pattern for complex online systems is a collection of "microservices" communicating via RPC interfaces. A service architecture provides autonomy for teams to develop, deploy, and opera... 详细信息
来源: 评论
PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs  2018
PMAF: An Algebraic Framework for Static Analysis of Probabil...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Wang, Di Hoffmann, Jan Reps, Thomas Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Wisconsin Madison WI 53706 USA GrammaTech Inc Ithaca NY USA
Automatically establishing that a probabilistic program satisfies some property phi is a challenging problem. While a sampling-based approach-which involves running the program repeatedly-can suggest that phi holds, t... 详细信息
来源: 评论
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.... 详细信息
来源: 评论
MORBIG: A Static Parser for POSIX Shell  11
MORBIG: A Static Parser for POSIX Shell
收藏 引用
11th acm sigplan International conference on Software language Engineering (SLE) part of SPLASH conference
作者: Regis-Gianas, Yann Jeannerod, Nicolas Treinen, Ralf Univ Paris Diderot CNRS INRIA IRIFPI R2 Paris France Univ Paris Diderot CNRS IRIF Ecole Normale Super Paris France Univ Paris Diderot CNRS IRIF Paris France
The POSIX shell language defies conventional wisdom of compiler construction on several levels: The shell language was not designed for static parsing, but with an intertwining of syntactic analysis and execution by e... 详细信息
来源: 评论