检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

959 篇 会议
62 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

905 篇 工学
- 859 篇 软件工程
- 783 篇 计算机科学与技术...
- 155 篇 控制科学与工程
- 28 篇 信息与通信工程
- 16 篇 电气工程
- 12 篇 建筑学
- 10 篇 光学工程
- 9 篇 土木工程
- 9 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 机械工程
- 4 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 3 篇 冶金工程
- 3 篇 航空宇航科学与技...
- 2 篇 力学（可授工学、理...
123 篇 理学
- 92 篇 数学
- 17 篇 系统科学
- 12 篇 生物学
- 6 篇 统计学（可授理学、...
- 5 篇 化学
- 3 篇 物理学
- 2 篇 地质学
109 篇 管理学
- 78 篇 图书情报与档案管...
- 42 篇 管理科学与工程(可...
- 23 篇 工商管理
16 篇 教育学
- 15 篇 教育学
8 篇 法学
- 8 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 农学

主题

468 篇 object oriented ...
24 篇 languages
22 篇 object oriented ...
17 篇 object-oriented ...
16 篇 computer languag...
15 篇 performance
15 篇 java
12 篇 design
10 篇 computer program...
10 篇 user interfaces
9 篇 software enginee...
9 篇 verification
8 篇 application soft...
8 篇 semantics
8 篇 computer aided s...
7 篇 computer science
7 篇 parallel program...
7 篇 static analysis
7 篇 scala
6 篇 reliability

机构

7 篇 swiss fed inst t...
6 篇 univ texas austi...
5 篇 ibm t.j. watson ...
5 篇 carnegie mellon ...
5 篇 university of il...
4 篇 ecole polytech f...
4 篇 univ waterloo wa...
4 篇 victoria univers...
4 篇 at and t united ...
3 篇 ibm united state...
3 篇 school of comput...
3 篇 university of te...
3 篇 univ of washingt...
3 篇 university of il...
3 篇 oregon graduate ...
3 篇 ibm
3 篇 schlumberger-dol...
3 篇 department of co...
3 篇 intel corp santa...
3 篇 computer science...

作者

9 篇 biddle robert
9 篇 aldrich jonathan
8 篇 de champeaux den...
8 篇 noble james
8 篇 cook william r.
7 篇 johnson ralph
7 篇 coad peter
7 篇 abi-antoun marwa...
6 篇 baniassad elisa
6 篇 yonezawa akinori
6 篇 jacobson ivar
5 篇 mckinley kathryn...
5 篇 sweeney peter f.
5 篇 palsberg jens
5 篇 grothoff christi...
5 篇 helm richard
5 篇 yoder joseph w.
5 篇 alphonce carl
5 篇 kiczales gregor
5 篇 ungar david

语言

998 篇 英文
24 篇 其他

检索条件"任意字段=1988 Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1988"

共 1022 条记录，以下是651-660 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Efficient handling of multiple inheritance hierarchies 8

Efficient handling of multiple inheritance hierarchies

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Caseau, Yves Bellcore 445 South Street MorristownNJ07962 United States

ISBN: (纸本)0897915879

Dealing with multiple inheritance hierarchies is a problem both for designers of compilers for object-oriented languages supporting multiple inheritance and for users who have to model complex hierarchical data with languages where classes are not first-class objects (such as C++). We propose here two techniques that yield a new way of encoding a multiple inheritance hierarchy. We first give a proven algorithm to incrementally transform any hierarchy into a lattice. We then develop a technique, called compact hierarchical encoding, which provides constant time for subsumption between two nodes of the lattice, using the codes as a representation of the associated order (transitive closure). The encoding builds a lattice mapping to a powerset inclusion lattice and can thus be implemented efficiently using bit-vectors. It offers an interesting alternative to the modulation technique proposed by [ABL89], because it produces more compact encoding on complex hierarchies that are frequent in object-oriented applications. © 1993 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Experiences developing and using an object-oriented library for program manipulation 93

Experiences developing and using an object-oriented library ...

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Bingham, Tim Hobbs, Nancy Husson, Dave Software Development Technologies Digital Equipment Corporation 110 Spitbrook Road M/S ZK02-3/K6 NashuaNH03060-2698 United States

ISBN: (纸本)0897915879

Using an object-oriented (OO) model, we developed an architecture for an extensible and portable class library designed to build applications mat manipulate programs. This library enables applications to manipulate static program attributes and to control and interrogate dynamic program attributes. in this paper, we describe our experiences using (X) techniques to build the class library from the architecture and our experiences using, extending, and porting the library to build the first real client application: a symbolic, source-level C++ debugger. Our experiences have been both positive and negative, but overall we found that our approach allowed us to meet our design objectives. © 1993 ACM.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Software architecture: The next step for object technology 8

Software architecture: The next step for object technology

引用

conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Anderson, Bruce Shaw, Mary Best, Larry Beck, Kent University of Essex Electronic Systems Engineering Colchester EssexC04 3SQ United Kingdom Carnegie-Mellon University United States American Management Systems United States First Class Software United States

ISBN: (纸本)0897916611

Architectures are the structuring paradigms, styles and patterns that make up our software systems. They are important in many ways: they allow us to talk usefully about systems without talking about their detail;a knowledge of them gives us design choices;attention to this level can make systems and families of systems have the non-functional properties we want, especially changeability. Each panelist will address the following issues: • What is architecture? • What is the value you have had so far from this concept? • What is the next step for you? • What is the next step for the community?.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Impacts of object-oriented technologies: Seven years of SEL studies 8

Impacts of object-oriented technologies: Seven years of SEL ...

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Stark, Mike Software Engineering Branch Code 552 Goddard Space Flight Center GreenbeltMD20771 United States

ISBN: (纸本)0897915879

This paper examines the premise that object-oriented technology (OOT) is the most significant technology ever examined by the Software Engineering Laboratory. The evolution of the use of OOT in the Software Engineering Laboratory (SEL) "Experience Factory" is described in terms of the SEL's original expectations, focusing on how successive generations of projects have used OOT. General conclusions are drawn on how the usage of the technology has evolved in this environment. © 1993 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Ada 9x: From abstraction-oriented to object-oriented 8

Ada 9x: From abstraction-oriented to object-oriented

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Taft, S. Tucker Intermetrics Inc. 733 Concord Avenue CambridgeMA02138 United States

ISBN: (纸本)0897915879

Ada 83 is an abstraction-oriented programming language. It supports the definition of abstract data types in modules called "packages," with a separate interface and implementation. The next revision of the language is now being prepared, and is designated Ada 9X. This revision will support full object-oriented programming. As part of designing the object-oriented features of Ada 9X, we had a choice whether to construct a conventional but essentially independent objectoriented capability in addition to the existing abstraction-oriented features of Ada 83, or to make an effort to integrate the existing abstraction support with the minimal set of additional capabilities necessary to support object-oriented programming. We have chosen the latter approach, and as part of this effort, we have tried to isolate exactly what capabilities distinguish a full object-oriented programming language from an abstraction-oriented programming language like Ada 83. Our conclusion is that the essential new capability of object-oriented programming is that a given abstraction may effectively have multiple implementations. The objects carry sufficient extra information at run-time to identify to which implementation they correspond. in Ada 9X, we call this run-time type identification the "tag" of the object, and the corresponding new language capability is called "tagged types." © 1993 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

object-oriented execution of OPS5 production systems 8

Object-oriented execution of OPS5 production systems

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Odeh, Mohammed H. Padget, Julian A. Bath University School of Mathematical Sciences BathBA2 7AY United Kingdom

ISBN: (纸本)0897915879

We report the application of an 00 design methodology to the reconstruction of an old program. namely the OPS5 production rule system. It exhibits the worst excesses of imperative coding. but is one of the most widely used and understood expert. system shells. We started from OPS5 because of the many publicly available rule-sets which could be used for testing, aiming to reconstruct it as a concurrent object-oriented program. A significant corollary of the use of ob jects for the discrimination network is that productions may be added incrementally. whereas the Rete network requires recompilation of the rule set. © 1993 ACM.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages 8

Highly efficient and encapsulated re-use of synchronization ...

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Matsuoka, Satoshi Taura, Kenjiro Yonezawa, Akinori Department of Information Science University of Tokyo Japan

ISBN: (纸本)0897915879

Re-use of synchronization code in concurrent 00-languages has been considered difficult due to inheritance anomaly, which we minimize with our new proposal. Designed with high practicality in mind, we propose language primitives (plus their implementation) with the following characteristics: (1) it allows multiple synchronization schemes-the language schemes for programming synchronization- to coexist and be integrated, (2) re-use of synchronization code is done similarly to sequential OO-languages for user familiarity, (3) it offers high degree of encapsulation-even synchronization schemes could be encapsulated in superclasses in many cases, and (4) it can be efficiently implemented on conventional MPPs. We demonstrate the effectiveness of our proposal with solutions to the example inheritance anomaly cases from [16]. We also give an overview of the implementation architecture, along with preliminary benchmarks. The proposed language primitives are being incorporated into our ABCL/on AP1000 running on Fujitsu's 512-node MPP, AP1000. © 1993 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Charm++: A portable concurrent object oriented system based on C++ 8

Charm++: A portable concurrent object oriented system based ...

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Kale, Laxmikant V. Krishnan, Sanjeev Department of Computer Science University of Illinois Urbana-Champaign United States

ISBN: (纸本)0897915879

We describe Charm++, an object oriented portable parallel programming language based on C++. Its design philosophy, implementation, sample applications and their performance on various parallel machines are described. Charm++ is an explicitly parallel language consisting of C++ with a few extensions. It provides a clear separation between sequential and parallel objects. The execution model of Charm++ is message driven, thus helping one write programs that are latencytolerant. The language supports multiple inheritance, dynamic binding, overloading, strong typing, and reuse for parallel objects. Charm++ provides specific modes for sharing information between parallel objects. Extensive dynamic load balancing strategies are provided. It is based on the Charm parallel programming system, and its runtime system implementation reuses most of the runtime system for Charm. © 1993 ACM.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Structural active object systems for simulation 8

Structural active object systems for simulation

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Minoura, Toshimi Pargaonkar, Shirish S. Rehfuss, Kurt Department of Computer Science Oregon State University CorvallisOR97331-4602 United States

ISBN: (纸本)0897915879

A structural active-object system (SAOS) is a transition-based object-oriented system suitable for rapid development of various concurrent systems. A SAOS consists of a collection of interacting structural active objects (SAOs), whose behaviors are determined by the transition statements provided in their class definitions. Furthermore, SAOs can be structurally and hierarchically composed from their component SAOs like hardware components. These features allow SAOs to model components to be simulated more naturally than passive objects used in ordinary object-oriented programming. Also, we can easily create new kinds of components by using the inheritance mechanism. Executions of transition statements may be eventand/or time-driven, and hence discrete, continuous, and mixed-mode simulation is possible. Prototype simulation programs were developed as SAOS programs for such diverse applications as queuing systems, digital/analog/mixed-mode circuit simulation, process control, manufacturing control, road network traffic simulation, computer networks, and elevator systems. Graphical user interfaces can be added to SAOS programs with minimal extra effort, or executable SAOS programs can be graphically created. © 1993 ACM.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Regular types for active objects 93

Regular types for active objects

引用

8th Annual conference on object-oriented programming systems, languages, and applications, oopsla 1993

作者： Nierstrasz, Oscar Université de Genève Centre Universitaire d'Informatique 24 rue Général Dufour Genève 4CH-1211 Switzerland

ISBN: (纸本)0897915879

Previous work on type-theoretic foundations for object-oriented programming languages has mostly focussed on applying or extending functional type theory to functional "objects." This approach, while benefitting from a vast body of existing literature, has the disadvantage of dealing with state change either in a roundabout way or not at all, and completely side-stepping issues of concurrency. in particular, dynamic issues of non-uniform service availability and conformance to protocols are not addressed by functional types. We propose a new type framework that characterizes objects as regular (finite state) processes that provide guarantees of service along public channels. We also propose an original notion of subtyping for regular types that extends Wegner and Zdonik's "principle of substitutability" to non-uniform service availability, and we relate it to known process equivalences. Finally, we formalize what it means to "satisfy a client's expectations," and we show how regular types can be used to tell when sequential or concurrent clients are satisfied. © 1993 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共103页 << < 62 63 64 65 66 67 68 69 70 71 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：