咨询与建议

限定检索结果

文献类型

  • 2,280 篇 会议
  • 299 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 2,581 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,283 篇 工学
    • 2,149 篇 软件工程
    • 1,705 篇 计算机科学与技术...
    • 85 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 23 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 14 篇 建筑学
    • 14 篇 土木工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 生物工程
    • 10 篇 光学工程
    • 9 篇 安全科学与工程
    • 8 篇 化学工程与技术
    • 5 篇 动力工程及工程热...
    • 5 篇 生物医学工程(可授...
    • 4 篇 力学(可授工学、理...
  • 278 篇 理学
    • 217 篇 数学
    • 30 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 16 篇 物理学
    • 16 篇 生物学
    • 8 篇 化学
    • 6 篇 地质学
  • 207 篇 管理学
    • 112 篇 图书情报与档案管...
    • 107 篇 管理科学与工程(可...
    • 48 篇 工商管理
  • 22 篇 教育学
    • 22 篇 教育学
  • 17 篇 法学
    • 15 篇 社会学
  • 9 篇 经济学
    • 9 篇 应用经济学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 390 篇 design
  • 369 篇 languages
  • 187 篇 computer program...
  • 182 篇 performance
  • 162 篇 object oriented ...
  • 89 篇 algorithms
  • 88 篇 java programming...
  • 81 篇 experimentation
  • 79 篇 functional progr...
  • 71 篇 theory
  • 70 篇 computer program...
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 49 篇 semantics
  • 47 篇 software design
  • 45 篇 domain-specific ...
  • 38 篇 parallel program...
  • 37 篇 concurrency
  • 35 篇 measurement

机构

  • 25 篇 carnegie mellon ...
  • 22 篇 univ washington ...
  • 18 篇 univ penn philad...
  • 17 篇 princeton univ p...
  • 17 篇 stanford univ st...
  • 16 篇 univ texas austi...
  • 15 篇 harvard univ cam...
  • 14 篇 purdue univ w la...
  • 13 篇 microsoft res re...
  • 13 篇 microsoft resear...
  • 13 篇 rice univ housto...
  • 12 篇 univ wisconsin m...
  • 12 篇 mit cambridge ma...
  • 12 篇 cornell univ ith...
  • 12 篇 microsoft res ca...
  • 11 篇 univ michigan an...
  • 11 篇 swiss fed inst t...
  • 11 篇 univ calif berke...
  • 10 篇 microsoft res re...
  • 10 篇 yale univ new ha...

作者

  • 19 篇 hirschfeld rober...
  • 16 篇 walker david
  • 15 篇 visser eelco
  • 15 篇 felleisen matthi...
  • 14 篇 findler robert b...
  • 13 篇 grossman dan
  • 13 篇 bacon david f.
  • 12 篇 chlipala adam
  • 11 篇 flatt matthew
  • 11 篇 sarkar vivek
  • 11 篇 myers andrew c.
  • 11 篇 mezini mira
  • 11 篇 morrisett greg
  • 10 篇 mckinley kathryn...
  • 10 篇 bockisch christo...
  • 10 篇 adl-tabatabai al...
  • 10 篇 van der storm ti...
  • 10 篇 de moor oege
  • 10 篇 dillig isil
  • 9 篇 lumsdaine a

语言

  • 2,350 篇 英文
  • 226 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2581 条 记 录,以下是401-410 订阅
design Automation for Quantum Architectures  20
Design Automation for Quantum Architectures
收藏 引用
20th conference and Exhibition on design, Automation and Test in Europe (DATE)
作者: Roetteler, Martin Svore, Krysta M. Wecker, Dave Wiebe, Nathan Microsoft Res Redmond WA 98052 USA
We survey recent strides made towards building a software framework that is capable of compiling quantum algorithms from a high-level description down to physical gates that can be implemented on a fault-tolerant quan... 详细信息
来源: 评论
Occurrence Typing Modulo Theories  16
Occurrence Typing Modulo Theories
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Kent, Andrew M. Kempe, David Tobin-Hochstadt, Sam Indiana Univ Bloomington IN 47405 USA
We present a new type system combining occurrence typing- a technique previously used to type check programs in dynamically-typed languages such as Racket, Clojure, and JavaScript-with dependent refinement types. We d... 详细信息
来源: 评论
Event-Driven Network programming  16
Event-Driven Network Programming
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: McClurg, Jedidiah Hojjat, Hossein Foster, Nate Cerny, Pavol CU Boulder Boulder CO 80309 USA Cornell Univ Ithaca NY 14853 USA
Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement ... 详细信息
来源: 评论
Gamification for teaching Java  17
Gamification for teaching Java
收藏 引用
10th EAI International conference on Simulation Tools and Techniques, SIMUTOOLS 2017
作者: Çubukçu, Çagrı Goodman, Lizbeth Wang, Bo Mangina, Eleni University College Dublin Belfield Dublin Ireland
The term 'gamification' refers to the use of game elements in non-game environments like education, business, sales and marketing. The method of 'gamifying' has been applied in many different contexts ... 详细信息
来源: 评论
Latte: A language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks  16
Latte: A Language, Compiler, and Runtime for Elegant and Eff...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Truong, Leonard Barik, Rajkishore Totoni, Ehsan Liu, Hai Markley, Chick Fox, Armando Shpeisman, Tatiana Univ Calif Berkeley Intel Labs Berkeley CA USA Intel Labs Berkeley CA USA Univ Calif Berkeley Berkeley CA USA
Deep neural networks (DNNs) have undergone a surge in popularity with consistent advances in the state of the art for tasks including image recognition, natural language processing, and speech recognition. The computa... 详细信息
来源: 评论
GreenWeb: language Extensions for Energy-Efficient Mobile Web Computing  16
GreenWeb: Language Extensions for Energy-Efficient Mobile We...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: 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... 详细信息
来源: 评论
A Web Application Is a Domain-Specific language
A Web Application Is a Domain-Specific Language
收藏 引用
acm sigplan International conference on Systems, programming, languages and Applications: Software for Humanity (SPLASH Companion)
作者: Lorenz, David H. Rosenan, Boaz Open Univ IL-43107 Raanana Israel Technion Israel Inst Technol IL-32000 Haifa Israel Univ Haifa IL-31905 Haifa Israel
We introduce a correspondence between the design space of web applications and that of domain-specific languages (DSLs). We note that while most web applications today are implemented in ways that correspond to extern... 详细信息
来源: 评论
Abstract modelling: Towards a typed declarative language for the conceptual modelling phase  17
Abstract modelling: Towards a typed declarative language for...
收藏 引用
8th International Workshop on Equation-Based Object-Oriented Modeling languages and Tools, EOOLT 2017
作者: Legatiuk, Dmitrii Nilsson, Henrik DFG Research Training Group 1462 Bauhaus-Universität Weimar Weimar Germany Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom
The growing complexity of modern engineering tasks necessitates improved tool support for modelling, in particular tools allowing early detection of modelling errors. Broadly, there are two classes of modelling errors... 详细信息
来源: 评论
LLVM Compiler implementation for explicit parallelization and SIMD vectorization  4
LLVM Compiler implementation for explicit parallelization an...
收藏 引用
4th Workshop on the LLVM Compiler Infrastructure in HPC, LLVM-HPC 2017 - Held in conjunction with the International conference for High Performance Computing, Networking, Storage and Analysis, SC 2017
作者: Tian, Xinmin Saito, Hideki Su, Ernesto Lin, Jin Guggilla, Satish Caballero, Diego Masten, Matt Savonichev, Andrew Rice, Michael Demikhovsky, Elena Zaks, Ayal Rapaport, Gil Gaba, Abhinav Porpodas, Vasileios Garcia, Eric Intel Corporation 3600 Juliette Lane Santa ClaraCA95054 United States
With advances of modern multi-core processors and accelerators, many modern applications are increasingly turning to compilerassisted parallel and vector programming models such as OpenMP, OpenCL, Halide, Python and T... 详细信息
来源: 评论
A design and Verification Methodology for Secure Isolated Regions  16
A Design and Verification Methodology for Secure Isolated Re...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Sinha, Rohit Costa, Manuel Lal, Akash Lopes, Nuno P. Rajamani, Sriram Seshia, Sanjit A. Vaswani, Kapil Univ Calif Berkeley Berkeley CA 94720 USA Microsoft Res London England Microsoft Res Bengaluru Karnataka India
Hardware support for isolated execution (such as Intel SGX) enables development of applications that keep their code and data confidential even while running on a hostile or compromised host. However, automatically ve... 详细信息
来源: 评论