咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,271 篇 工学
    • 2,139 篇 软件工程
    • 1,693 篇 计算机科学与技术...
    • 83 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 22 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 建筑学
    • 13 篇 土木工程
    • 13 篇 生物工程
    • 10 篇 光学工程
    • 9 篇 安全科学与工程
    • 8 篇 化学工程与技术
    • 5 篇 动力工程及工程热...
    • 5 篇 生物医学工程(可授...
    • 4 篇 力学(可授工学、理...
  • 280 篇 理学
    • 218 篇 数学
    • 32 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 16 篇 物理学
    • 16 篇 生物学
    • 8 篇 化学
    • 6 篇 地质学
  • 209 篇 管理学
    • 112 篇 图书情报与档案管...
    • 109 篇 管理科学与工程(可...
    • 50 篇 工商管理
  • 22 篇 教育学
    • 22 篇 教育学
  • 17 篇 法学
    • 15 篇 社会学
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 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,348 篇 英文
  • 213 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2566 条 记 录,以下是2401-2410 订阅
排序:
CLAP: Recording Local Executions to Reproduce Concurrency Failures  13
CLAP: Recording Local Executions to Reproduce Concurrency Fa...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Jeff Huang Charles Zhang Julian Dolby Hong Kong University of Science and Technology IBM Thomas J. Watson Research Center
We present CLAP, a new technique to reproduce concurrency bugs. CLAP has two key steps. First, it logs thread local execution paths at runtime. Second, offline, it computes memory dependencies that accord with the log... 详细信息
来源: 评论
design a game of charged particles moving in a uniform magnetic field based on unity 3D-Take "the wise snake through the pass" as an example  2021
Design a game of charged particles moving in a uniform magne...
收藏 引用
6th International conference on Distance Education and Learning, ICDEL 2021
作者: Qiu, Shuang Zhang, Feng Peng, Zhao-Yang College of Physics and Electronic Information Yunnan Normal University Kunmming650500 China
Educational games are hot spots in the field of education, and they are widely concerned by scholars. Educational games can prompt students to understand and grasp knowledge in the process of participating in the game... 详细信息
来源: 评论
Tradeoffs in transactional memory virtualization
Tradeoffs in transactional memory virtualization
收藏 引用
12th International conference on Architectural Support for programming languages and Operating Systems
作者: Chung, JaeWoong Minh, Chi Cao McDonald, Austen Skare, Travis Chafi, Hassan Carlstrom, Brian D. Kozyrakis, Christos Olukotun, Kunle Stanford Univ Comp Syst Lab Stanford CA 94305 USA
For transactional memory (TM) to achieve widespread acceptance, transactions should not be limited to the physical resources of any specific hardware implementation. TM systems should guarantee correct execution even ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Parametric polymorphism for Java: a reflective solution  98
Parametric polymorphism for Java: a reflective solution
收藏 引用
Proceedings of the 13th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Jose H. Solorzano Suad Alagić Computer Science Department Wichita State University Wichita KS
A number of inadequacies of existing implementation techniques for extending Java™ with parametric polymorphism are revealed. Homogeneous translations are the most space-efficient but they are not compatible... 详细信息
来源: 评论
Tales from the Jungle  12
Tales from the Jungle
收藏 引用
acm Special Interest Group on programming languages International conference on Functional programming
作者: Peter Sewell University of Cambridge
We rely on a computational infrastructure that is a densely inter-wined mass of software and hardware: programming languages, network protocols, operating systems, and processors. It has accumulated great complexity, ... 详细信息
来源: 评论
Scalable Address Spaces Using RCU Balanced Trees
Scalable Address Spaces Using RCU Balanced Trees
收藏 引用
17th International conference on Architectural Support for programming languages and Operating Systems
作者: Clements, Austin T. Kaashoek, M. Frans Zeldovich, Nickolai MIT CSAIL Cambridge MA USA
Software developers commonly exploit multicore processors by building multithreaded software in which all threads of an application share a single address space. This shared address space has a cost: kernel virtual me... 详细信息
来源: 评论
Inter-Core Cooperative TLB Prefetchers for Chip Multiprocessors
收藏 引用
acm sigplan NOTICES 2010年 第3期45卷 359-370页
作者: Bhattacharjee, Abhishek Martonosi, Margaret Princeton Univ Dept Elect Engn Princeton NJ 08544 USA
Translation Lookaside Buffers (TLBs) are commonly employed in modern processor designs and have considerable impact on overall system performance. A number of past works have studied TLB designs to lower access times ... 详细信息
来源: 评论
The design and implementation of a certifying compiler  98
The design and implementation of a certifying compiler
收藏 引用
Proceedings of the acm sigplan 1998 conference on programming language design and implementation
作者: George C. Necula Peter Lee School of Computer Science Carnegie Mellon University Pittsburgh Pennsylvania
This paper presents the design and implementation of a compiler that translates programs written in a type-safe subset of the C programming language into highly optimized DEC Alpha assembly language programs, and a ce...
来源: 评论
The transformational government framework  11
The transformational government framework
收藏 引用
5th International conference on Theory and Practice of Electronic Governance, ICEGOV 2011
作者: Borras, John A. OASIS TGF Technical Committee Wendron Close Woking Surrey United Kingdom
The Transformational Government Framework (TGF) is the first practical "how to" standard for the design and implementation of an effective program of technology-enabled change at national, state or local gov... 详细信息
来源: 评论