咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,210 篇 电子文献
  • 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,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是141-150 订阅
排序:
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... 详细信息
来源: 评论
Advanced Automata-Based Algorithms for Program Termination Checking  2018
Advanced Automata-Based Algorithms for Program Termination C...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Chen, Yu-Fang Heizmann, Matthias Lengal, Ondrej Li, Yong Tsai, Ming-Hsien Turrini, Andrea Zhang, Lijun Acad Sinica Taipei Taiwan Natl Taipei Univ New Taipei Taiwan Univ Freiburg Freiburg Germany Brno Univ Technol FIT IT4Innovat Ctr Excellence Brno Czech Republic Chinese Acad Sci Univ Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China
In 2014, Heizmann et al. proposed a novel framework for program termination analysis. The analysis starts with a termination proof of a sample path. The path is generalized to a Buchi automaton (BA) whose language (by... 详细信息
来源: 评论
Mdspan in C++: A Case Study in the Integration of Performance Portable Features into International language Standards
Mdspan in C++: A Case Study in the Integration of Performanc...
收藏 引用
2019 IEEE/acm International Workshop on Performance, Portability and Productivity in HPC, P3HPC 2019
作者: Hollman, David Lelbach, Bryce Edwards, H. Carter Hoemmen, Mark Sunderland, Daniel Trott, Christian R. Scalable Modeling and Analysis Sandia National Laboratories LivermoreCA United States NVIDIA Corp. Santa ClaraCA United States Engineering Sciences Sandia National Laboratories AlbuquerqueNM United States Center for Computing Research Sandia National Laboratories AlbuquerqueNM United States
Multi-dimensional arrays are ubiquitous in high-performance computing (HPC), but their absence from the C++ language standard is a long-standing and well-known limitation of their use for HPC. This paper describes the... 详细信息
来源: 评论