咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2471-2480 订阅
排序:
Understanding the propagation of hard errors to software and implications for resilient system design
收藏 引用
acm sigplan NOTICES 2008年 第3期43卷 265-276页
作者: Li, Man-Lap Ramachandran, Pradeep Sahoo, Swarup K. Adve, Sarita V. Adve, Vikram S. Zhou, Yuanyuan Univ Illinois Dept Comp Sci Urbana IL 61801 USA
With continued CMOS scaling, future shipped hardware will be increasingly vulnerable to in-the-field faults. To be broadly deployable, the hardware reliability solution must incur low overheads, precluding use of expe... 详细信息
来源: 评论
Practical program analysis using general purpose logic programming systems—a case study  96
Practical program analysis using general purpose logic progr...
收藏 引用
Proceedings of the acm sigplan 1996 conference on programming language design and implementation
作者: Steven Dawson C. R. Ramakrishnan David S. Warren SRI International 333 Ravenswood Ave. Menlo Park CA and Department of Computer Science SUNY at Stony Brook Stony Brook NY Department of Computer Science SUNY at Stony Brook Stony Brook NY
Many analysis problems can be cast in the form of evaluating minimal models of a logic program. Although such formulations are appealing due to their simplicity and declarativeness, they have not been widely used in p...
来源: 评论
On embedding a microarchitectural design language within Haskell  99
On embedding a microarchitectural design language within Has...
收藏 引用
Proceedings of the fourth acm sigplan international conference on Functional programming
作者: John Launchbury Jeffrey R. Lewis Byron Cook Oregon Graduate Institute of Science & Technology
Based on our experience with modelling and verifying microarchitectural designs within Haskell, this paper examines our use of Haskell as host for an embedded language. In particular, we highlight our use of Haskell&#...
来源: 评论
Compiler support for garbage collection in a statically typed language  92
Compiler support for garbage collection in a statically type...
收藏 引用
Proceedings of the acm sigplan 1992 conference on programming language design and implementation
作者: Amer Diwan Eliot Moss Richard Hudson
We consider the problem of supporting compacting garbage collection in the presence of modern compiler optimizations. Since our collector may move any heap object, it must accurately locate, follow, and update all poi...
来源: 评论
Building block shaders
收藏 引用
Computer Graphics (acm) 1990年 第4期24卷 283-288页
作者: Abram, Gregory D. Whitted, Turner Numerical Design Ltd Chapel Hill United States
This paper describes an implementation of Cook's 'shade trees' in which shaders are described as networks of modules, building blocks, whose connections can be defined interactively. The high level interfa... 详细信息
来源: 评论
A provable time and space efficient implementation of NESL  96
A provable time and space efficient implementation of NESL
收藏 引用
Proceedings of the first acm sigplan international conference on Functional programming
作者: Guy E. Blelloch John Greiner Carnegie Mellon University
In this paper we prove time and space bounds for the implementation of the programming language NESL on various parallel machine models. NESL is a sugared typed λ-calculus with a set of array primitives and...
来源: 评论
distributed Objects  99
distributed Objects
收藏 引用
1999 International conference on Softeare Engineering
作者: Wolfgang Emmerich Neil Roodyn Dept. of Computer Science University College London London WC1E 6BT UK Cognitech Ltd. City Cloisters 188-194 Old Street London EC1V 9FR UK
This tutorial motivates the need for, and discusses the principles of object-oriented distribution middleware. We will give an overview how these principles are supported by the major incarnations of object-oriented m... 详细信息
来源: 评论
Understanding prediction-based partial redundant threading for low-overhead, high-coverage fault tolerance
Understanding prediction-based partial redundant threading f...
收藏 引用
12th International conference on Architectural Support for programming languages and Operating Systems
作者: Reddy, Vimal K. Parthasarathy, Sailashri Rotenberg, Eric N Carolina State Univ Dept Elect & Comp Engn Raleigh NC 27695 USA Intel Corp Architecture Modeling Infrastruct Grp Hudson MA 01749 USA
Redundant threading architectures duplicate all instructions to detect and possibly recover from transient faults. Several lighter weight Partial Redundant Threading (PRT) architectures have been proposed recently. (i... 详细信息
来源: 评论
Architectural Framework Modelingin Telecommunication Domain  99
Architectural Framework Modelingin Telecommunication Domain
收藏 引用
1999 International conference on Softeare Engineering
作者: Giulio Fregonese Alessandro Zorer Giovanni Cortese Research & Technology Dept. Sodalia SpA Via V. Zambra 1 Trento TN 38100 Italy Research & Technology Dept. Sodalia SpA Via V. Zambra 1 Trento TN 38100 Italy
Architectural frameworks have shown to increase the design reusability in large-scale object-oriented systems. Drawing on experience in complex software systems development in telecommunication domain, we present conc... 详细信息
来源: 评论
Adding trace matching with free variables to AspectJ  05
Adding trace matching with free variables to AspectJ
收藏 引用
Proceedings of the 20th annual acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Chris Allan Pavel Avgustinov Aske Simon Christensen Laurie Hendren Sascha Kuzins Ondřej Lhoták Oege de Moor Damien Sereni Ganesh Sittampalam Julian Tibble University of Oxford United Kingdom University of Aarhus Denmark McGill University Montreal Canada
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspect can make are confined to the current... 详细信息
来源: 评论