咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,280 篇 工学
    • 2,147 篇 软件工程
    • 1,702 篇 计算机科学与技术...
    • 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
  • 186 篇 computer program...
  • 182 篇 performance
  • 162 篇 object oriented ...
  • 89 篇 algorithms
  • 88 篇 java programming...
  • 81 篇 experimentation
  • 78 篇 functional progr...
  • 71 篇 theory
  • 69 篇 computer program...
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 48 篇 semantics
  • 47 篇 software design
  • 45 篇 domain-specific ...
  • 38 篇 parallel program...
  • 37 篇 concurrency
  • 35 篇 measurement

机构

  • 24 篇 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 篇 de moor oege
  • 10 篇 dillig isil
  • 9 篇 lumsdaine a
  • 9 篇 van der storm ti...

语言

  • 2,349 篇 英文
  • 222 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2576 条 记 录,以下是1061-1070 订阅
排序:
Considerate Reasoning and the Composite design Pattern  10
收藏 引用
11th International conference on Verification, Model Checking, and Abstract Interpretation
作者: Summers, Alexander J. Drossopoulou, Sophia Imperial Coll London London England
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations which follow the pattern of breaking pr... 详细信息
来源: 评论
Classifying Java Class Transformations for Pervasive Virtualized Access
Classifying Java Class Transformations for Pervasive Virtual...
收藏 引用
8th International conference on Generative programming and Component Engineering
作者: McGachey, Phil Hosking, Antony L. Moss, J. Eliot B. Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA Univ Massachusetts Dept Comp Sci Amherst MA 01003 USA
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to fields and methods (by redirecting cal... 详细信息
来源: 评论
design of a model-generated repository as a service for USDL  10
Design of a model-generated repository as a service for USDL
收藏 引用
Proceedings of the 12th International conference on Information Integration and Web-based Applications & Services
作者: Duddy, Keith Henderson, Michael Metke-Jimenez, Alejandro Steel, Jim Queensland University of Technology 2 George St Brisbane QLD 4000 Australia
SAP and its research partners have been developing a language for describing details of Services from various viewpoints called the Unified Service Description language (USDL [12]. At the time of writing, version 3.0 ... 详细信息
来源: 评论
MapCG: Writing Parallel Program Portable between CPU and GPU  10
MapCG: Writing Parallel Program Portable between CPU and GPU
收藏 引用
19th International conference on Parallel Architectures and Compilation Techniques
作者: Hong, Chuntao Chen, Dehao Chen, Wenguang Zheng, Weimin Lin, Haibo Tsinghua Univ Tsinghua Natl Lab Informat Sci & Technol Beijing 100084 Peoples R China
Graphics Processing Units (GPU) have been playing an important role in the general purpose computing market recently. The common approach to program GPU today is to write GPU specific code with low level GPU APIs such... 详细信息
来源: 评论
An Asymmetric Distributed Shared Memory Model for Heterogeneous Parallel Systems
收藏 引用
acm sigplan NOTICES 2010年 第3期45卷 347-358页
作者: Gelado, Isaac Cabezas, Javier Navarro, Nacho Stone, John E. Patel, Sanjay Hwu, Wen-mei W. Univ Politecn Cataluna E-08028 Barcelona Spain Univ Illinois Chicago IL 60680 USA
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existing programming models for heterogeneous ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Functional parallel algorithms  10
Functional parallel algorithms
收藏 引用
Proceedings of the 15th acm sigplan international conference on Functional programming
作者: Guy E. Blelloch Carnegie Mellon University Pittsburgh PA USA
Functional programming presents several important advantages in the design, analysis and implementation of parallel algorithms: It discourages iteration and encourages *** supports persistence and hence easy *** encou... 详细信息
来源: 评论
CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution
收藏 引用
acm sigplan NOTICES 2010年 第3期45卷 53-64页
作者: Bergan, Tom Anderson, Owen Devietti, Joseph Ceze, Luis Grossman, Dan Univ Washington Seattle WA 98195 USA
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in the execution of multithreaded programs... 详细信息
来源: 评论
Archface: a contract place where architectural design and code meet together
Archface: a contract place where architectural design and co...
收藏 引用
International conference on Software Engineering (ICSE)
作者: Naoyasu Ubayashi Jun Nomura Tetsuo Tamai Kyushu University Fukuoka Japan Kyushu Institute of Technology Fukuoka Japan University of Tokyo Tokyo Japan
This paper proposes Archface, an interface mechanism for bridging the gap between architectural design and its implementation. Archface, which encapsulates design essence based on the component-and-connector architect... 详细信息
来源: 评论
Application specific processor design: Architectures, design methods and tools  10
Application specific processor design: Architectures, design...
收藏 引用
IEEE International conference on Computer-Aided design
作者: Achim Nohl Frank Schirrmeister Drew Taussig System Level Solutions Solution Architect-Synopsys Inc. Herzogenrath Germany System Level Solutions Marketing Director-Synopsys Inc. Mountain View CA USA System Level Solutions Specialist-Synopsys Inc. Chandler AZ USA
In this tutorial paper, we will outline a solution for prototyping, programming and implementing Application Specific Instruction-set Processors (ASIPs). A general introduction into this class of processor architectur... 详细信息
来源: 评论