咨询与建议

限定检索结果

文献类型

  • 2,274 篇 会议
  • 296 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,275 篇 工学
    • 2,144 篇 软件工程
    • 1,697 篇 计算机科学与技术...
    • 84 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 21 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 建筑学
    • 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
  • 78 篇 functional progr...
  • 71 篇 computer program...
  • 71 篇 theory
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 48 篇 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,356 篇 英文
  • 211 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2572 条 记 录,以下是151-160 订阅
排序:
Guard the Cache: Dispatch Optimization in a Contextual Role-oriented language  14
Guard the Cache: Dispatch Optimization in a Contextual Role-...
收藏 引用
14th International Workshop on Context-Oriented programming and Advanced Modularity, COP 2022 - Co-located with ECOOP 2022
作者: Schütze, Lars Kummer, Cornelius Castrillon, Jeronimo Technische Universität Dresden Compiler Construction Dresden Germany Technische Universität Dresden Dresden Germany
Adaptive programming models are increasingly important as context-dependent software conquers more domains. One such a model is role-oriented programming where behavioral changes are implemented by objects playing and... 详细信息
来源: 评论
SOAP 2021 - Proceedings of the 10th acm sigplan International Workshop on the State of the Art in Program Analysis, co-located with PLDI 2021
SOAP 2021 - Proceedings of the 10th ACM SIGPLAN Internationa...
收藏 引用
10th acm sigplan International Workshop on the State Of the Art in Program Analysis, SOAP 2021, co-located with the 42nd acm sigplan International conference on programming language design and implementation, PLDI 2021
The proceedings contain 8 papers. The topics discussed include: static analysis for dummies: experiencing LiSA;security and quality: two sides of the same coin?;program analysis for reversible languages;PerfLens: a da...
来源: 评论
A Full-Stack Search Technique for Domain Optimized Deep Learning Accelerators  27
A Full-Stack Search Technique for Domain Optimized Deep Lear...
收藏 引用
27th acm International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Zhang, Dan Huda, Safeen Songhori, Ebrahim Prabhu, Kartik Quoc Le Goldie, Anna Mirhoseini, Azalia Google Brain Mountain View CA 94043 USA Google Sunnyvale CA USA Stanford Univ Stanford CA 94305 USA
The rapidly-changing deep learning landscape presents a unique opportunity for building inference accelerators optimized for specific datacenter-scale workloads. We propose Full-stack Accelerator Search Technique (FAS... 详细信息
来源: 评论
design and implementation of an IoT-Based Surveillance System using Raspberry Pi, Camera, and Motion Sensor  23
Design and Implementation of an IoT-Based Surveillance Syste...
收藏 引用
7th International conference on E-Commerce, E-Business and E-Government, ICEEG 2023
作者: Chaichana, Kaveepon Netinant, Paniti Pukdesree, Sorapak College of Digital Innovation Technology Rangsit University Thailand Faculty of Digital Innovation Technology Bangkok University Thailand
Integrating the internet of things (IoT) technology has played a crucial role in developing smart devices such as smartphones, automobiles, smart homes, and artificial intelligence. As a result, researchers have inves... 详细信息
来源: 评论
The W-CALCULUS: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms  9
The W-CALCULUS: A Synchronous Framework for the Verified Mod...
收藏 引用
9th acm sigplan International Workshop on Functional Art, Music, Modelling, and design (FARM)
作者: Arias, Emilio Jesus Gallego Jouvelot, Pierre Ribstein, Sylvain Desblancs, Dorian Inria Paris Equipe R2 Paris France PSL Univ MINES ParisTech Paris France Ecole Normale Super Paris Saclay Paris France
We introduce the W-CALCULUS, an extension of the call-by-value lambda-calculus with synchronous semantics, designed to be flexible enough to capture different implementation forms of Digital Signal Processing algorith... 详细信息
来源: 评论
HACCLE: Metaprogramming for Secure Multi-Party Computation  2021
HACCLE: Metaprogramming for Secure Multi-Party Computation
收藏 引用
20th acm sigplan International conference on Generative programming: Concepts and Experiences (GPCE)
作者: Bao, Yuyan Sundararajah, Kirshanthan Malik, Raghav Ye, Qianchuan Wagner, Christopher Jaber, Nouraldin Wang, Fei Ameri, Mohammad Hassan Lu, Donghang Seto, Alexander Delaware, Benjamin Samanta, Roopsha Kate, Aniket Garman, Christina Blocki, Jeremiah Letourneau, Pierre-David Meister, Benoit Springer, Jonathan Rompf, Tiark Kulkarni, Milind Univ Waterloo Waterloo ON Canada Purdue Univ W Lafayette IN 47907 USA Reservoir Labs New York NY USA
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An important class of such cryptographi... 详细信息
来源: 评论
MARCER: Multimodal Augmented Reality for Composing and Executing Robot Tasks  25
MARCER: Multimodal Augmented Reality for Composing and Execu...
收藏 引用
acm/IEEE International conference on Human-Robot Interaction (HRI)
作者: Bryce Ikeda Maitrey Gramopadhye LillyAnn Nekervis Daniel Szafir Department of Computer Science University of North Carolina at Chapel Hill Chapel Hill NC USA
In this work, we combine the strengths of humans and robots by developing MARCER, a novel interactive and multimodal end-user robot programming system. MARCER utilizes a Large language Model to translate users' na... 详细信息
来源: 评论
WasmAndroid: A Cross-Platform Runtime for Native programming languages on Android (WIP Paper)  2021
WasmAndroid: A Cross-Platform Runtime for Native Programming...
收藏 引用
22nd acm sigplan/SIGBED International conference on languages, Compilers, and Tools for Embedded Systems (LCTES)
作者: Wen, Elliott Weber, Gerald Nanayakkara, Suranga Univ Auckland Auckland New Zealand
Open-source hardware such as RISC-V has been gaining substantial momentum. Recently, they have begun to embrace Google's Android operating system to leverage its software ecosystem. Despite the encouraging progres... 详细信息
来源: 评论
***: (A)Synchronous Reactive Web programming  2020
***: (A)Synchronous Reactive Web Programming
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Berry, Gerard Serrano, Manuel Coll France Paris France UCA INRIA Sophia Antipolis France
We present ***, a synchronous reactive language that adds synchronous concurrency and preemption to JavaScript. Inspired from Esterel, *** simplifies the programming of non-trivial temporal behaviors as found in compl... 详细信息
来源: 评论
design and implementation of VSTO-based Online Compilation Teaching System for C language  22
Design and Implementation of VSTO-based Online Compilation T...
收藏 引用
5th International conference on Computer Science and Software Engineering, CSSE 2022
作者: Yu, Xiya Zhang, Xuetao Shi, Yuanyuan Wu, Changping Li, Xianhe Academic Staff Office Tongda College of Nanjing University of Posts & Telecommunications China College of Computer Engineering Tongda College of Nanjing University of Posts & Telecommunications China
C programming is a compulsory general education course for science and technology majors in colleges and universities, and its importance is self-evident. At present, the teaching mode of C language in colleges and un... 详细信息
来源: 评论