咨询与建议

限定检索结果

文献类型

  • 1,078 篇 会议
  • 132 篇 期刊文献

馆藏范围

  • 1,210 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ washington ...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 univ penn philad...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 stanford univ st...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 8 篇 microsoft res re...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 shao zhong
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 8 篇 gulwani sumit
  • 8 篇 sarkar vivek
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是1141-1150 订阅
排序:
design and implementation of a database design aid using VP-Expert
Design and implementation of a database design aid using VP-...
收藏 引用
proceedings of the IEEE/acm International conference on Developing and Managing Expert System Programs
作者: I.-Y. Song S.D. Strum C. Medsker College of Information Studies Drexel University Philadelphia PA USA
The design and implementation of a database modeling aid called Database designer (DBD) using VP-Expert are discussed. The DBD expert system is intended to help novice users design a proper database by asking question... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Behind Every Great Deep Learning Framework Is an Even Greater programming languages Concept (Keynote)  2018
Behind Every Great Deep Learning Framework Is an Even Greate...
收藏 引用
26th acm Joint Meeting on European Software Engineering conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE)
作者: Meijer, Erik Delft Univ Technol Software Engn Res Grp Cloud Programming Delft Netherlands Facebook Infra Struct Org Menlo Pk CA 94025 USA
In many areas, such as image recognition, natural language processing, search, recommendation, autonomous cars, systems software and infrastructure, and even Software Engineering tools themselves, Software 2.0 (= prog... 详细信息
来源: 评论
CDuce: an XML-centric general-purpose language  03
CDuce: an XML-centric general-purpose language
收藏 引用
proceedings of the eighth acm sigplan international conference on Functional programming
作者: Véronique Benzaken Giuseppe Castagna Alain Frisch Université Paris-Sud Orsay France CNRS Département d'Informatique Paris France
We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of CDuce are a powerful pattern matching, first class functions, overloa... 详细信息
来源: 评论
Taming the IXP network processor  03
收藏 引用
proceedings of the acm sigplan 2003 conference on programming language design and implementation
作者: Lal George Matthias Blume Network Speed Technologies Inc Toyota Technological Institute at Chicago
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal bank assignment, and spills. The compil... 详细信息
来源: 评论
Mechanizing the meta-theory of programming languages  05
Mechanizing the meta-theory of programming languages
收藏 引用
proceedings of the tenth acm sigplan international conference on Functional programming
作者: Robert Harper Carnegie Mellon University Pittsburgh PA
What does it mean for a programming language to exist? Usually languages are defined by an informal description augmented by a reference compiler whose behavior is regarded as normative. This approach works well so lo...
来源: 评论
The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction  03
收藏 引用
proceedings of the acm sigplan 2003 conference on programming language design and implementation
作者: Chung-Hsing Hsu Ulrich Kremer Rutgers The State University of New Jersey
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm identifies program regions where the CP... 详细信息
来源: 评论
An algorithm to support code-skeleton generation for concurrent systems  4
An algorithm to support code-skeleton generation for concurr...
收藏 引用
4th International Workshop on Real-Time Ada Issues, IRTAW 1990
作者: Penedo, Maria Heloisa Berry, Daniel M. Estrin, Gerald Computer Science Department University of California Los Angeles United States
Computers are increasingly being used in engineering systems which could utilize a multiplicity of processors. Computer aided design methods are needed to support the design of inherently complex concurrent software. ... 详细信息
来源: 评论
Efficient and precise datarace detection for multithreaded object-oriented programs  02
Efficient and precise datarace detection for multithreaded o...
收藏 引用
proceedings of the acm sigplan 2002 conference on programming language design and implementation
作者: Jong-Deok Choi Keunwoo Lee Alexey Loginov Robert O'Callahan Vivek Sarkar Manu Sridharan IBM T. J. Watson Research Center Univ. of Washington Univ. of Wisconsin - Madison MIT
We present a novel approach to dynamic datarace detection for multithreaded object-oriented programs. Past techniques for on-the-fly datarace detection either sacrificed precision for performance, leading to many fals... 详细信息
来源: 评论
An implementation of complete, asynchronous, distributed garbage collection  98
An implementation of complete, asynchronous, distributed gar...
收藏 引用
proceedings of the acm sigplan 1998 conference on programming language design and implementation
作者: Fabrice Le Fessant Ian Piumarta Marc Shapiro INRIA Roquencourt B.P. 105 78153 Le Chesnay Cedex France
Most existing reference-based distributed object systems include some kind of acyclic garbage collection, but fail to provide acceptable collection of cyclic garbage. Those that do provide such GC currently suffer fro... 详细信息
来源: 评论