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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,381 篇 会议
108 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

1,399 篇 工学
- 1,354 篇 软件工程
- 1,101 篇 计算机科学与技术...
- 176 篇 控制科学与工程
- 38 篇 信息与通信工程
- 21 篇 建筑学
- 15 篇 土木工程
- 15 篇 生物工程
- 13 篇 电气工程
- 12 篇 光学工程
- 6 篇 机械工程
- 6 篇 材料科学与工程（可...
- 5 篇 电子科学与技术（可...
- 4 篇 化学工程与技术
- 3 篇 冶金工程
- 3 篇 航空宇航科学与技...
- 2 篇 力学（可授工学、理...
- 2 篇 生物医学工程（可授...
166 篇 理学
- 126 篇 数学
- 23 篇 系统科学
- 18 篇 生物学
- 6 篇 化学
- 6 篇 统计学（可授理学、...
- 5 篇 物理学
- 2 篇 地质学
145 篇 管理学
- 103 篇 图书情报与档案管...
- 55 篇 管理科学与工程(可...
- 31 篇 工商管理
18 篇 教育学
- 17 篇 教育学
10 篇 法学
- 9 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 医学
1 篇 农学

主题

452 篇 object oriented ...
226 篇 languages
81 篇 performance
79 篇 design
71 篇 java programming...
52 篇 algorithms
48 篇 java
44 篇 experimentation
43 篇 verification
36 篇 computer program...
31 篇 reliability
30 篇 theory
28 篇 aspect oriented ...
21 篇 measurement
17 篇 human factors
16 篇 parallel program...
15 篇 concurrency
14 篇 static analysis
14 篇 scala
14 篇 refactoring

机构

18 篇 univ washington ...
12 篇 ecole polytech f...
12 篇 univ texas austi...
9 篇 microsoft res re...
9 篇 swiss fed inst t...
8 篇 mit csail cambri...
8 篇 univ calif berke...
8 篇 university of il...
7 篇 victoria univers...
6 篇 programming tool...
6 篇 univ waterloo wa...
6 篇 suny binghamton ...
6 篇 university of wa...
6 篇 carnegie mellon ...
6 篇 aarhus univ dk-8...
6 篇 purdue univ dept...
5 篇 univ marburg d-3...
5 篇 tech univ darmst...
5 篇 ibm t.j. watson ...
5 篇 delft univ techn...

作者

13 篇 noble james
13 篇 de moor oege
13 篇 aldrich jonathan
11 篇 lorenz david h.
10 篇 biddle robert
10 篇 odersky martin
10 篇 ernst michael d.
9 篇 mckinley kathryn...
9 篇 baniassad elisa
9 篇 hendren laurie
9 篇 visser eelco
9 篇 ostermann klaus
8 篇 de champeaux den...
8 篇 tip frank
8 篇 cook william r.
8 篇 johnson ralph
8 篇 liu yu david
8 篇 binder walter
8 篇 abi-antoun marwa...
8 篇 mezini mira

语言

1,424 篇 英文
69 篇 其他

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

共 1493 条记录，以下是1151-1160 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

object distribution in Orca using compile-time and run-time techniques 8

Object distribution in Orca using compile-time and run-time ...

引用

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

作者： Bal, Henri E. Kaashoek, M. Frans Vrije Universiteit Dept. of Mathematics and Computer Science Amsterdam Netherlands M.I.T. Laboratory for Computer Science CambridgeMA United States

ISBN: (纸本)0897915879

Orca is a language for parallel programming on distributed systems. Communication in Orca is based on shared data-objects, which is a form of distributed shared memory. The performance of Orca programs depends strongly on how shared dataobjects are distributed among the local physical memories of the processors. This paper studies a new and efficient solution to this problem, based on an integration of compile-time and run-time techniques. The Orca compiler has been extended to determine the access patterns of processes to shared objects. The compiler passes a summary of this information to the run-time system, which uses it to make good decisions about which objects to replicate and where to store nonreplicated objects. Measurements show that the new system gives better overall performance than any previous implementation of Orca. © 1993 ACM.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Safe and decidable type checking in an object-oriented language 93

Safe and decidable type checking in an object-oriented langu...

引用

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

作者： Bruce, Kim B. Crabtree, Jon Murtagh, Thomas P. Van Gent, Robert Dimock, Allyn Muller, Robert Williams College WilliamstownMA United States Harvard University CambridgeMA United States

ISBN: (纸本)0897915879

Over the last several years, much interesting work has been done in modelling object-oriented programming languages in terms of extensions of the bounded second-order lambda calculus, F≤. Unfortunately, it has recently been shown by Pierce ([Pie92]) that type checking F≤ is undecidable. Moreover, he showed that the undecidability arises in the seemingly simpler problem of determining whether one type is a subtype of another. in [Bru93a, Bru93b], the first author introduced a statically-typed, functional, object-oriented programming language, TOOPL, which supports classes, objects, methods, instance variables, subtypes, and inheritance. The semantics of TOOPL is based on F≤, so the question arises whether type checking in this language is decidable. in this paper we show that type checking for TOOPLE, a minor variant of TOOPL (Typed object-oriented programming Language), is decidable. The proof proceeds by showing that subtyping is decidable, that all terms of TOOPLE have minimum types (which are in fact computable), and then using these two results to show that type checking is decidable. Our algorithm fails to be polynomial in the size of the term because the size of its type can be exponential in the size of the term. Nevertheless, it performs well in practice. © 1993 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla

Proceedings of the Conference on Object-Oriented Programming...

引用

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

ISBN: (纸本)0897916107

The proceedings contain 62 papers. The topics discussed include: chembench: redesign of a large commercial application using object-oriented techniques;from events to objects: the heresy of event-orientation in a world of objects;the OO software development process;objects in large distributed applications (OLDA-II);object-oriented reasoning in information modeling;object-oriented programming languages: the next generation;team approaches to OO design;metrics for object-oriented software development;and iterative development/OO: the bottom line.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共150页 << < 112 113 114 115 116 117 118 119 120 121 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：