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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1321-1330 订阅

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

详细简洁

排序：

COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems 1

COVERS 3.0-an object-oriented environment for modeling, simu...

引用

1st international Workshop on distributed Interactive Simulation and real time Applications, DS-RT 1997

作者： Borshchev, A.V. Karpov, Y.G. Roudakov, V.V. St. Petersburg State Tech. Univ. Russia

ISBN: (纸本)0818677732

Gives an overview of COVERS 3.0-a Microsoft Windows-based modeling and simulation environment for concurrent real-time systems. COVERS offers an object-oriented modeling methodology based on C++ and the Statecharts behavioral notation. timed transition systems are used as a model semantics. COVERS enables the user to perform the whole modeling and simulation cycle within a single graphical environment, where every bit of the specification is animated and accessible. Extendible libraries of frequently used objects are supplied, as well as models of classical systems for educational purposes. COVERS 3.0 is free software, available over the Internet for non-commercial use. © 1997 IEEE.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

Beehive: An adaptive, distributed, embedded signal processing environment

Beehive: An adaptive, distributed, embedded signal processin...

引用

1997 IEEE international Conference on Acoustics, Speech, and Signal Processing (ICASSP 97)

作者： Famorzadeh, S Madisetti, V Egolf, T Nguyen, T Cent for Signal and Image Processing Atlanta United States

ISBN: (纸本)0818679204

We propose an open signal processing system design and implementation environment, BEEHIVE, that allows application developers to rapidly compose and debug functional specifications in a networked, distributed computing environment, and then later migrate the application (transparently) onto an embedded, distributed, computing hardware/software platform, with the capability to reconfigure (adaptively) the resources assigned to the application to meet the dynamic real-time requirements of the implementation. Recent developments in the area of virtual machines;broker-based, distributed, transportable computing;object-oriented programming methodologies, Java and its real-time extensions;reconfigurable and programmable hardware;approximate algorithms;adaptive-load and resource-management algorithms, are harnessed in this operating environment(1).

关键词： Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

Proceedings - IEEE international symposium on distributed Simulation and real-time Applications, DS-RT

Proceedings - IEEE International Symposium on Distributed Si...

引用

1st international Workshop on distributed Interactive Simulation and real time Applications, DS-RT 1997

ISBN: (纸本)0818677732

The proceedings contain 7 papers. The topics discussed include: high level architecture for simulation;DEVS formalism as a framework for advanced distributed simulation;simulation of fine-grained parallel algorithms with the ALT (animating language tools) system;event synchronization in multi-user virtual reality environments;feedback control in time warp synchronized parallel simulators;COVERS 3.0 - an object-oriented environment for modeling, simulation, and analysis of real-time concurrent systems;design and simulations of cellular neural-like associative memory;and design of high-speed parallel arithmetic algorithms and architectures.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Digest of Papers - 27th Annual international symposium on Fault-Tolerant computing, FTCS 1997

Digest of Papers - 27th Annual International Symposium on Fa...

引用

27th Annual international symposium on Fault-Tolerant computing, FTCS 1997

ISBN: (纸本)0818678313

The proceedings contain 42 papers. The topics discussed include: managing dependencies - a key problem in fault-tolerant distributed algorithms;an approach to fault-tolerant parallel processing on intermittently idle, heterogeneous workstations;renegotiable quality of service - a new scheme for fault tolerance in wireless networks;evaluation of a 32-bit microprocessor with built-in concurrent error-detection;probabilistic checkpointing;portable checkpointing for heterogenous architectures;a communication-induced checkpointing protocol that ensures rollback-dependency trackability;a method to automate user interface testing using variable finite state machines;towards a statistical approach to testing object-oriented programs;and experimental evaluation of failure-detection schemes in real-time communication networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SORMA: Interoperating distributed robotics hardware

SORMA: Interoperating distributed robotics hardware

引用

Proceedings of the 1997 IEEE international Conference on Robotics and Automation, ICRA. Part 4 (of 4)

作者： Walter, Jorg A. Univ of Bielefeld Bielefeld Germany

This paper introduces the Service object Request Management Architecture (`SORMA'), its design issues, and its concepts. It is a software framework for rapid development of object-oriented software modules and their integration into stand-alone and distributed applications. SORMA provides an intelligent `object-bus' for inter-operating and sharing distributed computing and robotics hardware. We investigate the question, why too many valuable hardware and software systems and components are a `one-of-a-kind' product which do not find economical re-use. For instance, due to the short life-time of single-usage code, extensive, robust, and verbose exception handling - a prerequisite of incremental work - is often sacrificed. We analyze the `costs of communication' between the component's builder and all its users, who build solutions. We propose to pay much more attention to interactive exploration frameworks, which support rapid, qualified information gain on context-situated, efficient applicability. SORMA demonstrates how to reach self-explaining, built-in interactivity which does not impair the component's real-time efficiency.

关键词： Robotics

来源：评论

学校读者我要写书评

暂无评论

A framework for location transparency in distributed systems

A framework for location transparency in distributed systems

引用

Workshop on object-oriented real-time Dependable Systems (WORDS)

作者： B. Selic Objec Time Limited Kanata ONT Canada

A common issue of distributed software systems is the allocation of the logical software components of a system to physical nodes. In particular there is often a need for "location transparency", that is, the ability to map a single specification to a number of different physical environments without requiring changes to the code. We describe a formal framework that can be used to achieve location transparency. This framework, based on a formalized concept of "computing environments", is defined for distributed systems specified using the ROOM structural modeling language. However it can easily be extended to other object based architectural languages.

关键词： Software systems object oriented modeling Encapsulation Computer architecture LAN interconnection Delay effects real time systems Physics computing Hardware Operating systems

来源：评论

学校读者我要写书评

暂无评论

4th international symposium of Formal Methods Europe, FME 1997

引用

4th international symposium of Formal Methods Europe, FME 1997

ISBN: (纸本)3540635335

The proceedings contain 35 papers. The special focus in this conference is on Industrial Applications and Strengthened Foundations of Formal Methods. The topics include: Diagrams and programming languages for programmable controllers;graphical specification and reasoning;a graphic notation for formal specifications of dynamic systems;a semantic integration of object-z and CSP for the specification of concurrent systems;class refinement and interface refinement in object-oriented programs;formalizing requirements for distributed systems with trace diagrams;consistent graphical specification of distributed systems;design of reactive control systems for event-driven operations;reconciling real-time with asynchronous message passing;specifying the remote controlling of valves in an explosion test environment;practical use of formal specification to develop a complex critical system;mathematical modeling and analysis of an external memory manager;automatic translation of VDM-SL specifications into gofer;specification of required non-determinism;a corrected failure-divergence model for CSP in isabelle/HOL;a proof obligation generator for VDM-SL;verification of cryptographic protocols;a TLA solution to the specification and verification of the RLP1 retransmission protocol and an efficient technique for deadlock analysis of large scale process networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A configuration approach for distributed object-oriented system customization

A configuration approach for distributed object-oriented sys...

引用

Workshop on object-oriented real-time Dependable Systems (WORDS)

作者： O. Loques R.A. Botafogo J. Leite CAA-Applied Computing & Automation Group Universidade Federal Fluminense Niteroi Rio de Janeiro Brazil

distributed application systems are built to meet functional and non-functional requirements (such as availability, reliability, security, real-time). This can be obtained constructing an application specific operating system to support the non-functional requirements. Nowadays, an attractive approach is to extend a standard support environment in order to include the extra mechanisms required. The paper shows how a configuration based approach can facilitate the achievement of this goal in CORBA based environments. An explicit separation between the functional parts from the non-functional parts of the application implementation is obtained. This provides transparency and facilitates software reuse in both software concerns.

关键词： Application software distributed computing Reflection Fault tolerance Computer aided analysis Automation Availability Security real time systems Brazil Council

来源：评论

学校读者我要写书评

暂无评论

Issues on real-time object request brokers

Issues on real-time object request brokers

引用

international symposium on Autonomous Decentralized Systems (ISADAS)

作者： B. Thuraisingham MITRE Corporation Bedford MA USA

For many applications such as command and control, telecommunications, and process control, it is critical that they meet timing constraints and ensure predictable computation. Furthermore, some of these applications are also distributed in nature and utilize distributed object management technology such as object request brokers (ORB) for interoperability. Therefore, it is necessary to integrate real time systems technology with distributed object management technology for many distributed real time applications. The article describes some of the issues that need to be investigated in order to develop real time data processing extensions to the common object request broker architecture (CORBA). In particular, issues on extensions to ORBs are given. A discussion of some real time services and applications hosted on real time ORBs is also provided. Finally, an overview of the work of the object Management Group's real time Special Interest Group is provided.

关键词： Timing real time systems Libraries time factors object oriented modeling Operating systems Yarn Command and control systems Process control Technology management

来源：评论

学校读者我要写书评

暂无评论

time-bounded cooperative recovery with the distributed real-time conversation scheme

Time-bounded cooperative recovery with the distributed real-...

引用

Workshop on object-oriented real-time Dependable Systems (WORDS)

作者： K.H. Kim L. Bacellar Department of Elec & Computer Engineering University of California Irvine CA USA United Technologies Research Center Inc. East Hartford CT USA

Of several schemes proposed to handle the propagation of erroneous information among interacting processes in distributed and parallel computer systems, the distributed real-time conversation (DRC) scheme stands out in its fast forward recovery capability which is essential in safety-critical hard-real-time applications. However, previous formulations of the scheme remained at relatively abstract levels and practical models for their implementation in complex safety-critical real-time applications have not been established before. The core approach in the DRC scheme is to make a group of computing stations cooperate in recovery from hardware and software faults that may occur during their interaction. In this paper, we present a practical implementation model for the DRC scheme. A simple model of an anti-missile defense system is used to illustrate the main structuring principles of the DRC scheme and major components of the practical implementation model.

关键词： Application software real time systems Hardware distributed computing Concurrent computing Fault detection Operating systems Kernel Fault tolerant systems Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共143页 << < 129 130 131 132 133 134 135 136 137 138 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：