咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,229 篇 电子文献
  • 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,151 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation"
1229 条 记 录,以下是1021-1030 订阅
排序:
proceedings of the International conference on APL
Proceedings of the International Conference on APL
收藏 引用
proceedings of the International conference on APL
This conference proceedings contains 33 papers discussing various aspects related to the APL2 computer programming method. Object oriented graphics in APL2, proposals for APL2 specifications and implementation methods... 详细信息
来源: 评论
PROTOTYPE-BASED languageS - FROM A NEW TAXONOMY TO CONSTRUCTIVE PROPOSALS AND THEIR VALIDATION
PROTOTYPE-BASED LANGUAGES - FROM A NEW TAXONOMY TO CONSTRUCT...
收藏 引用
CONF ON OBJECT-ORIENTED programming SYSTEMS, languageS, AND APPLICATIONS ( OOPSLA 92 )
作者: DONY, C MALENFANT, J COINTE, P UNIV PARIS 06 INST BLAISE PASCALLITPF-75252 PARIS 05FRANCE
Prototype-based languages are currently proposed as a substitute to class-based languages for a higher flexibility in manipulating objects. These languages are all based on a similar set of basic principles: object-ce... 详细信息
来源: 评论
proceedings of the conference on TRI-Ada 1992
Proceedings of the Conference on TRI-Ada 1992
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
The proceedings contain 66 papers. The topics discussed include: Ada 9x and information systems;Ada 9x and safety critical/secure systems;Ada 9x and systems programming;towards distributed systems in Ada 9x;experience...
来源: 评论
Application-driven design automation for microprocessor design
Application-driven design automation for microprocessor desi...
收藏 引用
29th acm/IEEE design Automation conference, DAC 1992
作者: Pyo, Iksoo Su, Ching-Long Huang, Ing-Jer Pan, Kuo-Rueih Koh, Yong-seon Tsui, Chi-Ying Chen, Hsu-Tsun Cheng, Gino Liu, Shihming Wu, Shiqun Despain, Alvin M. Univ of Southern California
ADAS is an Application-driven design Automation System for microprocessor design. The goal of ADAS is to automatically explore the design space and synthesize a single chip VLSI processor from a high-level specificati... 详细信息
来源: 评论
Differential equations are recurrence relations in APL  92
Differential equations are recurrence relations in APL
收藏 引用
proceedings of the International conference on APL
作者: Neidinger, Richard D. Davidson Coll Davidson NC United States
An mth-order differential equation y(m) = f(x,y,y′,...,y(m-1)) is itself a numerical recurrence relation that can be iterated to produce the Taylor series solution. The purpose of the APL in this paper is to demonstr... 详细信息
来源: 评论
Multi-national sales planning system in APL
Multi-national sales planning system in APL
收藏 引用
proceedings of the International conference on APL
作者: Promisel, Steven I. STSC Inc Rockville United States
A large multi-national chemical company has been using an APL-based logistics planning system called LOGISTICS*PLUS since 1984. Over the past five years, the original US-based system was extended into Canada and Europ... 详细信息
来源: 评论
Evaluation and improvement of performance of the communication subsystem of a real-time, Distributed, C2 Simulator
Evaluation and improvement of performance of the communicati...
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Westley, Terry J. Arvin/Calspan Advanced Technology Center P.O. Box 400 BuffaloNY United States
The performance of the communication subsystem of a real-time, distributed, C2 (command and control) simulator was evaluated and improved as part of the software development of the system. This communication subsystem... 详细信息
来源: 评论
The CODE 2.0 graphical parallel programming language  92
The CODE 2.0 graphical parallel programming language
收藏 引用
6th International conference on Supercomputing, ICS 1992
作者: Newton, Peter Browne, James C. Department of Computer Sciences University of Texas at Austin AustinTX78712 United States
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by an integrated graphical/textual inter... 详细信息
来源: 评论
Petri-net evaluation using APL2
Petri-net evaluation using APL2
收藏 引用
proceedings of the International conference on APL
作者: Willhoft, Robert G. IBM Corp Endicott United States
A Petri net is a graphical and mathematical modeling tool useful in the analysis of concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic systems. In addition, interest in Petri nets is ... 详细信息
来源: 评论
Mapping of conceptual specifications into object-oriented programs
Mapping of conceptual specifications into object-oriented pr...
收藏 引用
proceedings of the 4th International conference on Software Engineering and Knowledge Engineering
作者: Kraiem, Naoufel Brunet, Joel Univ of Paris VI Paris France
This research is conducted as part of the BUSINESS CLASS European project. The aim of the project is to promote object-oriented software development within the framework of management information systems. The BUSINESS... 详细信息
来源: 评论