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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,388 篇 会议
32 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

531 篇 工学
- 505 篇 计算机科学与技术...
- 221 篇 软件工程
- 65 篇 电气工程
- 40 篇 控制科学与工程
- 39 篇 信息与通信工程
- 12 篇 机械工程
- 8 篇 安全科学与工程
- 6 篇 建筑学
- 5 篇 仪器科学与技术
- 4 篇 光学工程
- 4 篇 电子科学与技术（可...
- 4 篇 土木工程
- 4 篇 核科学与技术
- 4 篇 生物工程
- 4 篇 网络空间安全
- 3 篇 动力工程及工程热...
- 3 篇 石油与天然气工程
- 3 篇 交通运输工程
- 3 篇 生物医学工程（可授...
- 2 篇 冶金工程
155 篇 管理学
- 132 篇 管理科学与工程(可...
- 28 篇 工商管理
- 23 篇 图书情报与档案管...
60 篇 理学
- 40 篇 数学
- 9 篇 物理学
- 9 篇 系统科学
- 8 篇 统计学（可授理学、...
- 4 篇 生物学
7 篇 经济学
- 7 篇 应用经济学
4 篇 医学
- 3 篇 临床医学
2 篇 军事学
1 篇 法学

主题

444 篇 real time system...
413 篇 distributed comp...
324 篇 object oriented ...
188 篇 application soft...
154 篇 middleware
132 篇 computer archite...
112 篇 embedded system
108 篇 timing
102 篇 java
96 篇 computer science
93 篇 hardware
91 篇 computational mo...
86 篇 operating system...
85 篇 unified modeling...
84 篇 quality of servi...
78 篇 protocols
75 篇 fault tolerance
74 篇 concurrent compu...
70 篇 real-time system...
68 篇 object oriented ...

机构

14 篇 konkuk universit...
13 篇 university of ca...
9 篇 university of ca...
8 篇 mitre corporatio...
7 篇 tokyo denki univ...
6 篇 hankuk universit...
6 篇 irisa rennes
5 篇 department of el...
5 篇 school of comput...
5 篇 graduate school ...
5 篇 octopath corpora...
5 篇 univ calif irvin...
4 篇 objec time limit...
4 篇 college of compu...
4 篇 aerospace corpor...
4 篇 school of comput...
4 篇 department of in...
4 篇 department of co...
4 篇 mitre corporatio...
4 篇 univ calif irvin...

作者

38 篇 k.h. kim
13 篇 m. takizawa
11 篇 c.e. pereira
11 篇 kim kh
9 篇 aniruddha gokhal...
9 篇 martin schoeberl
8 篇 gokhale aniruddh...
8 篇 a. wellings
8 篇 doo-hyun kim
8 篇 kim k.h.
8 篇 h. kopetz
8 篇 moon hae kim
7 篇 d.c. schmidt
7 篇 jie xu
7 篇 l.b. becker
7 篇 douglas c. schmi...
6 篇 uwe brinkschulte
6 篇 t. enokido
6 篇 yunmook nah
6 篇 kim k. h. (kane)

语言

1,422 篇 英文
1 篇 其他
1 篇 中文

检索条件"任意字段=International Symposium on Object-Oriented Real-Time Distributed Computing"

共 1423 条记录，以下是581-590 订阅

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

详细简洁

排序：

Hybrid concurrency control protocol for multimedia objects

Hybrid concurrency control protocol for multimedia objects

引用

international symposium on object-oriented real-time distributed computing

作者： K. Hasumi T. Enokido M. Takizawa Tokyo Denki University Japan

Multimedia objects distributed in networks are concurrently manipulated by multiple transactions in applications like co-authoring systems and distributed gaming systems. Not only state but also quality of service (QoS) of object are changed through methods. We define new types of conflicting and exclusive relations on methods to serialize transactions and to realize exclusive manipulation of an object by taking into account QoS change in addition to state change. We discuss a locking protocol for realizing mutual exclusion on objects and a scheduler for serializing transactions with respect to the QoS-based conflicting and exclusive relations

关键词： Concurrency control Protocols Quality of service Multimedia systems object oriented modeling Throughput Encapsulation Degradation distributed computing

来源：评论

学校读者我要写书评

暂无评论

Detecting and Analyzing State Inconsistencies in Multi-task Software

Detecting and Analyzing State Inconsistencies in Multi-task ...

引用

international symposium on object-oriented real-time distributed computing

作者： Toshiaki Aoki Tadashi Sekiguchi Masayuki Hirayama Tomoji Kishi Japan Advanced Institute of Science and Technology Japan Information Technology Promotion Agency Japan

In this paper, we first reveal an important problem called a state inconsistency problem among tasks based on a design model of a CD/DVD *** problem is not only of CD/DVD systems but also of typical embedded software because it may occur in a typical structure that such software has. Thus, we propose a method to detect the problem in the design model with a model checking tool and to derive behavior in which it does not occur.

关键词： DVD Embedded software Application software real time systems distributed computing object detection Information analysis Operating systems Silver Design engineering

来源：评论

学校读者我要写书评

暂无评论

A platform-centric framework for the web exposure and orchestration of distributed objects

A platform-centric framework for the web exposure and orches...

引用

11th international Conference on Parallel and distributed computing, Applications and Technologies, PDCAT 2010

作者： Paulino, Hervé Cancela, Paulo Franco, Tiago CITI Departamento de Informática Universidade Nova de Lisboa Portugal Portugal Critical Software SA Portugal

ISBN: (纸本)9780769542874

Many of the current service-oriented architectures are built on top of distributed object technologies. These technologies have, however, lost most of their initial appeal, mainly due to the inability to port their concepts to the World Wide Web, and to provide interoperability across many different platforms. The porting of these distributed object platforms to the current Web Service standard is, however, a costly process that requires high investments of both time and money. This paper presents OHMS, a framework that provides an easy and not resource consuming way of exposing a platform to the Web, thus enabling Web access, business-to-business interaction and service composition, by the means of orchestration. We address the framework's architecture, its implementation, and the support for orchestrating CORBA platforms. We evaluate the work regarding the initial requirements, the effort required to support a given distributed object technology, and performance issues. We also address the application of OHMS to a real-life scenario. © 2010 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A real-time Java Component Model

A Real-Time Java Component Model

引用

international symposium on object-oriented real-time distributed computing

作者： A. Plsek P. Merle L. Seinturier INRIA Lille-Nord Europe Project-team ADAM USTL-LIFL CNRS UMR 8022 Villeneuve d'Ascq France

ISBN: (纸本)9780769531328

The real-time specification for Java (RTSJ) is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs for an extensive framework comprising all the aspects of RTSJ development. As the first contribution of this paper, we present a real-time component model directly fitting the needs of RTSJ. Our motivation is to clearly separate real-time and business concerns of applications. We further argue that the RTSJ concerns need to be considered at early stages of architecture design in order to mitigate the complexities of the implementation phase. Therefore, as our second contribution, we propose a design process introducing gradually RTSJ concepts into the architecture. We are thus able to alleviate the development of real-time systems and to tailor them for different real-time conditions. Finally, we demonstrate the feasibility of our solution on an example scenario.

关键词： Java real time systems Process design object oriented modeling Yarn distributed computing Europe object oriented programming Embedded system Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

TOM: a framework for temporal object management

TOM: a framework for temporal object management

引用

Applications of Artificial Intelligence X: Knowledge-Based Systems

作者： Dunkelberger, Kirk A. Magnavox Electronic Systems Co. Ft. Wayne IN USA

ISBN: (纸本)0819408727

Although the object oriented programming paradigm is an intuitive embodiment of the static attributes of an application, temporal behavior of object interaction is typically encrypted in the distributed control structure of the implementation. TOM requires a platform-independent operating system support library which permits the arbitrary scheduling of object message passing. Applications include systems which reason through time;the arbitration of distributed, real time competing and cooperating reasoning systems;and the rapid construction of simulators for reasoning system validation. Performance and applicability of the package are currently being evaluated via several tactical command and control development systems. TOM permits the arbitrary allocation of objects between processing platforms, i.e., object allocation need not be known at design time. Message passing is extended through host LANs when necessary to reach remote objects. Three prototype temporal behaviors are provided: single, cyclic, and frequency limited. Scheduled message services are qualified with a user- assigned priority which is used to arbitrate host computing resources. Discussion highlights the seamless integration of temporal activity into the object oriented paradigm and demonstrates the benefits of the package through several diverse example applications.

关键词： Decision Support Systems

来源：评论

学校读者我要写书评

暂无评论

Towards Propagation of Non-functional Information in distributed real-time Java

Towards Propagation of Non-functional Information in Distrib...

引用

international symposium on object-oriented real-time distributed computing

作者： P. Basanta-Val M. García-Valls I. Estévez-Ayres DREQUIEM Lab. Universidad Carlos III de Madrid Leganés (Madrid)

Many real-time systems use preemptive priorities in their internals to guarantee certain real-time performance. This includes technologies that range from RTSJ (The real-time Specification for Java) to middleware like real-time CORBA (Common object Request Broker Architecture) which offers additional models and policies that blend client and server information. This decision makes easier the integration of real-time acceptance tests and dispatching policies in these kinds of infrastructures. In this paper, we analyze different tradeoffs that emerge from the definition of different propagation models for distributed real-time Java. The paper covers technological integration aspects, impact on interfaces, and other practical issues more related to the performance that this model offers to a real-time application.

关键词： Java Middleware real time systems Testing distributed computing Dispatching Paper technology Predictive models Information analysis Costs

来源：评论

学校读者我要写书评

暂无评论

TMO-eCos: an eCos-based real-time micro operating system supporting execution of a TMO structured program

TMO-eCos: an eCos-based real-time micro operating system sup...

引用

international symposium on object-oriented real-time distributed computing

作者： Jung-Guk Kim Moon Hae Kim Kwang Kim Shin Heu Hankuk University of Foreign Studies South Korea Konkuk University South Korea Hanyang University South Korea

ISBN: (纸本)0769523560

The TMO (time-triggered message-triggered object) model is a well-known real-time object model for distributed and timeliness-guaranteed computing. A couple of years ago, we developed a Linux-based real-time kernel supporting execution of a TMO structured program, named TMO-Linux. TMO-Linux has been used well in various applications including small embedded devices and real-time control applications, but it still has some drawbacks due to its size and server-like characteristics. To overcome these problems, we recently developed a small embedded kernel to support execution of a TMO structured program by modifying eCos/spl trade/ kernel named TMO-eCos. TMO-eCos supports a deadline-driven scheduling, a network transparent distributed IPC, and time-triggered and message-triggered real-time threads for TMO-based OO programming. In this paper, we present the design of TMO-eCos.

关键词： real time systems Operating systems Kernel Yarn Engines object oriented modeling Timing Middleware distributed computing Size control

来源：评论

学校读者我要写书评

暂无评论

Proving atomicity: An assertional approach

Proving atomicity: An assertional approach

引用

19th international symposium on distributed computing

作者： Chockler, G Lynch, N Mitra, S Tauber, J MIT CSAIL Stata Ctr Cambridge MA 02139 USA

ISBN: (纸本)3540291636

Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algorithms achieve atomicity has turned out to be a challenging problem. In this paper, we initiate the study of systematic ways of verifying distributed implementations of atomic objects, beginning with read/write objects (registers). Our general approach is to replace the existing operational reasoning about events and partial orders with assertional reasoning about invariants and simulation relations. To this end, we define an abstract state machine that captures the atomicity property and prove correctness of the object implementations by establishing a simulation mapping between the implementation and the specification automata. We demonstrate the generality of our specification by showing that it is implemented by three different read/write register constructions: the message-passing register emulation of Attiya, Bar-Noy and Dolev, its optimized version based on real time, and the shared memory register construction of Vitanyi and Awerbuch. In addition, we show that a simplified version of our specification is implemented by a general atomic object construction based on the Lamport's replicated state machine algorithm.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

A proposed initial approach to distributed real-time Java

A proposed initial approach to distributed real-time Java

引用

international symposium on object-oriented real-time distributed computing

作者： E.D. Jensen MITRE Corporation USA

The process of defining requirements for "real-time Java" and subsequently the two competing specifications for it, began with considerable thought by the participants about what the term "real-time Java" could and should mean. Now two corresponding requirements and specification processes have begun for distributed real-time Java. This paper summarizes some ideas about that term and an initial approach to a specification. The approach is based on providing a natural and minimal mechanistic extension to Remote Method Invocation (RMI) that facilitates real-time distributed computing in general and real-time distributed (in the sense of trans-node) programming in particular. Here, "real-time RMI" is not defined as "real fast" or even "real predictable" RMI (although those are both important attributes). Instead, it means that the timeliness properties of computational entities are preserved when the entities perform RMIs and RETURNs that span physical nodes. A similar approach has been proven effective in several other distributed real-time contexts, and is a primary feature of the unified proposal to OMG for dynamic real-time CORBA.

关键词： Java

来源：评论

学校读者我要写书评

暂无评论

Deadline handling in real-time distributed objects

Deadline handling in real-time distributed objects

引用

international symposium on object-oriented real-time distributed computing

作者： K.H. Kim Juqiang Liu Moon-Hae Kim University of California Irvine CA USA University of California Irvine Irvine CA US

Deadline handling is a fundamental part of real-time computing but has been practiced in ad hoc forms for decades. A general framework for systematic deadline handling in real-time distributed computer systems is proposed in this paper. The notions of hard deadlines and hard-real-time program components are discussed along with the advantages of a hard-real-time component based construction approach. To present approaches for implementation of systematic deadline handling in concrete forms, we use the time-triggered message triggered object (TMO) network structuring as the basic design framework in which deadline handling approaches are incorporated. The TMO structuring scheme is a general-style component structuring scheme and supports design of all types of components including hard-real-time objects and non-real-time objects within one general structure. An augmentation of the TMO structure with statistical performance indicators is also proposed.

关键词： distributed computing real time systems Concrete Timing Systems engineering and theory object oriented modeling Fault tolerant systems Costs Power generation economics Economic forecasting

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共143页 << < 55 56 57 58 59 60 61 62 63 64 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：