咨询与建议

限定检索结果

文献类型

  • 1,100 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,058 篇 工学
    • 998 篇 软件工程
    • 761 篇 计算机科学与技术...
    • 47 篇 控制科学与工程
    • 38 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 137 篇 理学
    • 113 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 化学
    • 4 篇 物理学
    • 2 篇 地质学
  • 86 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 30 篇 工商管理
  • 11 篇 教育学
    • 11 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 98 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 55 篇 object oriented ...
  • 49 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 28 篇 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
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 lam monica s.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,153 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation"
1231 条 记 录,以下是1001-1010 订阅
排序:
ET++SWAPSMANAGER - USING OBJECT TECHNOLOGY IN THE FINANCIAL ENGINEERING DOMAIN
ET++SWAPSMANAGER - USING OBJECT TECHNOLOGY IN THE FINANCIAL ...
收藏 引用
7th conference on Object-Oriented programming Systems, languages, and Applications (OOPSLA 92)
作者: EGGENSCHWILER, T GAMMA, E UNION BANK SWITZERLAND CH-8021 ZURICHSWITZERLAND
Providing the financial engineering community with adequate software tools presents several challenges to application developers. Experience shows that reusability-oriented software development as supported by object ... 详细信息
来源: 评论
Object CHILL - an object oriented language for systems implementation
Object CHILL - an object oriented language for systems imple...
收藏 引用
proceedings of the 20th Annual acm Computer Science conference - CSC '92
作者: Winkler, Juergen F.H. Diessl, Georg Siemens AG Munich Germany
Object orientation is a programming paradigm that has gained considerable attention during the last years, especially as a principle for structuring large software systems that are typical for the telecom field. This ... 详细信息
来源: 评论
Optimizing method search with lookup caches and incremental coloring
Optimizing method search with lookup caches and incremental ...
收藏 引用
conference on Object-Oriented programming Systems, languages, and Applications - OOPSLA'92
作者: Andre, Pascal Royer, Jean-Claude IRIN - Universite de Nantes Nantes France
An efficient mechanism for method lookup is essential in any reasonable implementation of a class-based object-oriented language. One technique, static caches, provide constant time lookup, but consumes excessive memo... 详细信息
来源: 评论
Implementing tagged types and type extensions for Ada 9X
Implementing tagged types and type extensions for Ada 9X
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Dismukes, Gary J. Rome, Mike A. TeleSoft 5959 Cornerstone Court West San DiegoCA92121-9891 United States
In this paper we report on our experiences implementing the proposed Ada 9X object-oriented features of tagged types and type extensions in a production Ada 83 compiler. We discuss the strategies we used to transition... 详细信息
来源: 评论
Panel: implementation versus binding to the X Window environment
Panel: Implementation versus binding to the X Window environ...
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Cleveland, Scott Freese, Tim Lewin, Stu Smith, Robert C. Byrnes, Christopher Systems Engineering Research Corporation United States Lockheed Sanders Inc. United States Paramax Systems Corporation United States MITRE Corporation United States
来源: 评论
Compiler tools in APL
Compiler tools in APL
收藏 引用
proceedings of the International conference on APL
作者: Bernecky, Robert Osterburg, Gert Snake Island Research Inc Toronto Canada
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a Parser which recognizes a subset of con... 详细信息
来源: 评论
COMPILER SUPPORT FOR GARBAGE COLLECTION IN A STATICALLY TYPED language
COMPILER SUPPORT FOR GARBAGE COLLECTION IN A STATICALLY TYPE...
收藏 引用
CONF ON programming language design AND implementation ( acm sigplan 92 )
作者: DIWAN, A MOSS, E HUDSON, R UNIV MASSACHUSETTS DEPT COMP SCIOBJECT SYST LABAMHERSTMA 01003
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... 详细信息
来源: 评论
Dynamic scheduling method for irregular parallel programs
Dynamic scheduling method for irregular parallel programs
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Lucco, Steven UC Berkeley Berkeley CA United States
This paper develops a methodology for compiling and executing irregular parallel programs. Such programs implement parallel operations whose size and work distribution depend on input data. We show a fundamental relat... 详细信息
来源: 评论
Approach to symbolic timing verification
Approach to symbolic timing verification
收藏 引用
29th acm/IEEE design Automation conference, DAC 1992
作者: Amon, Tod Borriello, Gaetano Univ of Washington Seattle WA United States
Symbolic timing verification is a powerful extension to traditional constraint checking that allows delays and constraints to be expressed as symbolic variables. In this paper, was present an approach to symbolic timi... 详细信息
来源: 评论
A Seeded design Environment for Service Creation  92
A Seeded Design Environment for Service Creation
收藏 引用
1992 acm SIGCHI conference on Human Factors in Computing Systems: Striking a Balance, CHI 1992
作者: Morch, Anders Burns, Bart Ostwald, Jonathan NYNEX Science and Technology Inc. 500 Westchester Avenue White PlainsNY10604 United States Department of Computer Science Institute of Cognitive Science University of Colorado BoulderCO80309 United States
We are building and testing a set of computer-based design tools for creating telephone operator services. Currently at NYNEX, operator services are created by a small team of skilled developers using a programming la...
来源: 评论