咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1191-1200 订阅
排序:
Exploiting parallelism in the implementation of AGNA, a persistent programming system
Exploiting parallelism in the implementation of AGNA, a pers...
收藏 引用
International conference on Data Engineering
作者: R.S. Nikhil M.L. Heytens MIT Laboratory for Computer Science Cambridge MA USA Massachusetts Institute of Technology Cambridge MA USA
A design for AGNA, a persistent object system that utilizes parallelism in a fundamental way to enhance performance, is presented. The underlying thesis is that fine-grained parallelism is essential for achieving scal... 详细信息
来源: 评论
A generational on-the-fly garbage collector for Java  00
A generational on-the-fly garbage collector for Java
收藏 引用
proceedings of the acm sigplan 2000 conference on programming language design and implementation
作者: Tamar Domani Elliot K. Kolodner Erez Petrank IBM Haifa Research Lab. Computer Science Dept. Technion - Israel Institute of Technology
An on-the-fly garbage collector does not stop the program threads to perform the collection. Instead, the collector executes in a separate thread (or process) in parallel to the program. On-the-fly collectors are usef... 详细信息
来源: 评论
Use object-oriented paradigm to design and implement an algorithm for object-oriented class-level testing
Use object-oriented paradigm to design and implement an algo...
收藏 引用
IEEE International conference on Systems, Man and Cybernetics
作者: Yu Xia Sun Huo Yan Chen Department of Computer Science Jinan University Guangzhou China
One of the means to enhance software reliability and quality is testing. The testing for object-oriented software is more complex and difficult than that for traditional programming. For object-oriented class-level an... 详细信息
来源: 评论
Analysis and design of latch-controlled synchronous digital circuits  90
Analysis and design of latch-controlled synchronous digital ...
收藏 引用
proceedings of the 27th acm/IEEE design Automation conference
作者: Karem A. Sakallah Trevor N. Mudge Oyekunle A. Olukotun Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI
We present a succinct formulation of the timing constraints for latch-controlled synchronous digital circuits. We show that the constraints are mildly nonlinear, and prove the equivalence of the nonlinear optimal cycl...
来源: 评论
Load-reuse analysis: design and evaluation  99
Load-reuse analysis: design and evaluation
收藏 引用
proceedings of the acm sigplan 1999 conference on programming language design and implementation
作者: Rastislav Bodík Rajiv Gupta Mary Lou Soffa Dept. of Computer Science University of Pittsburgh Pittsburgh PA
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the results of prior memory accesses. This pa... 详细信息
来源: 评论
Structured programming: From theory to practice  76
Structured Programming: From theory to practice
收藏 引用
proceedings of the 2nd international conference on Software engineering
作者: John C. Carrow
One of the more controversial topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. With respect ... 详细信息
来源: 评论
Object versioning in Ode
Object versioning in Ode
收藏 引用
International conference on Data Engineering
作者: R. Agrawal S. Buroff N. Gehani D. Shasha IBM Almaden Research Center San Jose CA USA AT and T Bell Laboratories Inc. NJ USA New York University New York NY USA
In designing the versioning facility in Ode, a few but semantically sound and powerful concepts are introduced that allow implementation of a wide variety of paradigms. Some of the salient features of these versioning... 详细信息
来源: 评论
Java-through-C compilation: an enabling technology for Java in embedded systems  04
Java-through-C compilation: an enabling technology for Java ...
收藏 引用
design, Automation and Test in Europe conference and Exhibition
作者: A. Varma S.S. Bhattacharyya University of Maryland College Park USA
The Java programming language is acheiving greater acceptance in high-end embedded systems such as cellphones and PDAs. However, current embedded implementations of Java impose tight constraints on functionality, whil... 详细信息
来源: 评论
A randomized implementation of multiple functional arrays  94
A randomized implementation of multiple functional arrays
收藏 引用
proceedings of the 1994 acm conference on LISP and functional programming
作者: Tyng-Ruey Chuang
The array update problem in the implementation of a purely functional language is the following: once an array is updated, both the original array and the newly updated one must be preserved to maintain referential tr...
来源: 评论
An expert tutor in the SLAW programming environment (abstract only)  87
An expert tutor in the SLAW programming environment (abstrac...
收藏 引用
proceedings of the 15th annual conference on Computer Science
作者: Michael V. Doran Tulane University Department of Computer Science
SLAW is a language free programming environment based on structure chart techniques presented in the department's introductory courses [LAW83] [LAW86]. The current implementation, which was developed on the IBM-PC...
来源: 评论