咨询与建议

限定检索结果

文献类型

  • 1,099 篇 会议
  • 138 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,072 篇 工学
    • 1,005 篇 软件工程
    • 778 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 32 篇 信息与通信工程
    • 12 篇 机械工程
    • 10 篇 电子科学与技术(可...
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 6 篇 生物工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 光学工程
    • 4 篇 航空宇航科学与技...
    • 2 篇 冶金工程
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
  • 138 篇 理学
    • 112 篇 数学
    • 13 篇 系统科学
    • 8 篇 生物学
    • 8 篇 统计学(可授理学、...
    • 7 篇 物理学
    • 5 篇 化学
  • 89 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 29 篇 工商管理
  • 17 篇 教育学
    • 17 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 170 篇 design
  • 157 篇 languages
  • 96 篇 performance
  • 95 篇 computer program...
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 42 篇 java programming...
  • 39 篇 verification
  • 34 篇 reliability
  • 28 篇 java
  • 28 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 compilers
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 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...

作者

  • 12 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 shao zhong
  • 9 篇 chlipala adam
  • 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 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,156 篇 英文
  • 80 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation"
1237 条 记 录,以下是1151-1160 订阅
排序:
Multiprocessor smalltalk: A case study of a multiprocessor-based programming environment  88
Multiprocessor smalltalk: A case study of a multiprocessor-b...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Pallas, Joseph Ungar, David Computer Systems Laboratory Stanford University StanfordCA94305 United States
We have adapted an interactive programming system (Smalltalk) to a multiprocessor (the Firefly). The task was not as difficult as might be expected, thanks to the application of three basic strategies: serialization, ... 详细信息
来源: 评论
How to invent distributed implementation schemes of an object-based concurrent language - A transformational approach  88
How to invent distributed implementation schemes of an objec...
收藏 引用
1988 conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1988
作者: Shibayama, Etsuya Department of Information Science Tokyo Institute of Technology Oh-Okayama Meguro-ku Tokyo152 Japan
A design and verification technique for implementation schemes of distributed software is presented. In this technique, first, the specification is modelled by a concurrent object system, that is, one which is constit... 详细信息
来源: 评论
Process management and exception handling in multiprocessor operating systems using object-oriented design techniques  88
Process management and exception handling in multiprocessor ...
收藏 引用
1988 conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1988
作者: Russo, Vincent Johnston, Guty Campbell, Rag Department of Computer Science University of Illinois at Urbana-Champaign 1304 W. Springfkld Ave. UrbanaIL61801-2987 United States
The programming of the interrupt handling mechanisms, process switching primitives, scheduling mechanisms, and synchronization primitives of an operating system for a multiprocessor require both efficient code in orde... 详细信息
来源: 评论
The myth: Anyone Can code the software if the requirements and design are
The myth: Anyone Can code the software if the requirements a...
收藏 引用
1988 Annual International conference on Ada, TRI-Ada 1988
作者: Perkins, J.A. Dynamics Research Corporation Systems Division 60 Frontage Road AndoverMA01810 United States
The focus of this paper is the conjecture that the coding phase of a software system is difficult even in those instances where the functional requirements are well-defined, the functional design is finalized, and the... 详细信息
来源: 评论
Refined types: highly differentiated type systems and their use in the design of intermediate languages  88
Refined types: highly differentiated type systems and their ...
收藏 引用
proceedings of the acm sigplan 1988 conference on programming language design and implementation
作者: J. R. Rose Thinking Machines Corporation Cambridge MA
来源: 评论
INVESTIGATIONS INTO A COMMAND AND RESPONSE language INTERFACE.
INVESTIGATIONS INTO A COMMAND AND RESPONSE LANGUAGE INTERFAC...
收藏 引用
proceedings of the Twenty-First Annual Hawaii International conference on System Sciences. Volume II: Software Track.
作者: Bulgren, William G. Wallace, Victor L. van de Liefvoort, Appie McClenaghan, Christopher R. Univ of Kansas Lawrence KS USA Univ of Kansas Lawrence KS USA
Access to the variety of resources offered by computer networks is often complicated by the diversity of interfaces and protocols encountered. To overcome this diversity, a command-and-response language interface to a... 详细信息
来源: 评论
design OF A FLEXIBLE DISTRIBUTED TESTBED FOR COMMUNICATION SYSTEMS.
DESIGN OF A FLEXIBLE DISTRIBUTED TESTBED FOR COMMUNICATION S...
收藏 引用
proceedings of the Twenty-First Annual Hawaii International conference on System Sciences. Volume II: Software Track.
作者: Thoet, William Hauser, James Baker, Dennis Jaycor Jaycor
The structure and design of a simulation testbed for communication systems are described. The testbed, which is called the Distributed Simulation and Prototyping Testbed (DSPT), models the physical-layer activities of... 详细信息
来源: 评论
An automatically generated, realistic compiler for imperative programming language  88
An automatically generated, realistic compiler for imperativ...
收藏 引用
proceedings of the acm sigplan 1988 conference on programming language design and implementation
作者: U. F. Pleban P. Lee Tektronic Laboratories Beaverton OR Carnegie Mellon Univ. Pittsburgh PA
We describe the automatic generation of a complete, realistic compiler from formal specifications of the syntax and semantics of Sol/C, a nontrivial imperative language “sort of like C.” The compiler exhibits a thre...
来源: 评论
An object-oriented design system shell  87
An object-oriented design system shell
收藏 引用
1987 conference on Object Oriented programming Systems languages and Applications, OOPSLA 1987
作者: Diederich, Jim Milton, Jack Department of Mathematics University of California DavisCA95616 United States
We present a design system shell which can be used to experiment with principles of design and be used as a design tool where complex layers of information need to be specified about objects, such as in database desig... 详细信息
来源: 评论
Opus: A Smalltalk production system  87
Opus: A Smalltalk production system
收藏 引用
1987 conference on Object Oriented programming Systems languages and Applications, OOPSLA 1987
作者: Laursen, Jane Atkinson, Robert System Concepts Laboratory Xerox Palo Alto Research Center United States
Opus is a tool for rule-based programming which integrates a production system paradigm with the Smalltalk-80 environment. Opus currently provides a data-driven production system that allows the programmer considerabl... 详细信息
来源: 评论