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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Introducing and practically using an object oriented design automation/prototyping tool

Introducing and practically using an object oriented design ...

引用

symposium on Assessment of Quality Software Development Tools

作者： G. Bruno A. Castella R. Agarwal I. Pavesio M.P. Pescarmona Dipartimento di Automatica e Informatica Politecnico di Torino Torino Italy

The development of concurrent applications, which consist of several parallel, often distributed, activities that communicate and synchronize with each other, presents challenging logical and technological issues. In common practice, the technological aspects, which are related to the definition of concurrent processes as well as to their interactions, often place constraints on the logical aspects. Consequently, the flexibility that could be attained during design is reduced and, furthermore, an actual implementation where both aspects are deeply intermixed is usually obtained. The aim of the research presented in this paper is twofold. On the one hand, an expressive and flexible language based on object-oriented high-level nets is proposed, so that designers can naturally represent concurrency and synchronization. On the other hand, a powerful support toolset is provided, so that design models based on nets can effectively be transformed into processes while minimizing and clearly separating the interactions with the underlying operating system and network facilities. A case study from an actual project is illustrated.< >

关键词： Design automation Prototypes object oriented modeling Operating systems Concurrent computing real time systems Embedded system Manufacturing automation Automatic control Control systems

来源：评论

学校读者我要写书评

暂无评论

distributed simulation of large-scale PCS networks

Distributed simulation of large-scale PCS networks

引用

international symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS)

作者： C.D. Carothers R.M. Fujimoto Y.-B. Lin P. England Georgia Institute of Technology College of Computing Georgia Institute of Technology Atlanta GA USA Bellcore Morristown NJ USA

There has been rapid growth an demand for mobile communications over the past few years that has led to intensive research and development of complex PCS (personal communication service) networks. Capacity planning and performance modeling are necessary to maintain a high quality of service to the mobile subscriber while minimizing the cost. Simulation is widely used in such studies, however, because these models are extremely time consuming to execute, only small-scale PCS networks have previously been simulated. In this paper, we examine the use of the time Warp distributed simulation mechanism in simulating large scale (1024 or more cells) PCS networks. An object-oriented, distributed, discrete event simulator using time Warp has been developed, and initial performance measurements completed. Speedups in the range of 2.8 to 7.8 using 8 Unix workstations have been obtained, enabling simulation runs that require 20 hours on a single workstation to be completed in only 3.5 hours.< >

关键词： Large-scale systems Personal communication networks object oriented modeling time warp simulation Workstations Mobile communication Research and development Capacity planning Quality of service Costs

来源：评论

学校读者我要写书评

暂无评论

Simulation of temporal behaviour based on a synchronous language

Simulation of temporal behaviour based on a synchronous lang...

引用

international symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS)

作者： C. Andre M.A. Peraldi Laboratoire Informatique Signaux Systèmes (I3S)CNRS Université de Nice Sophia Antipolis Nice France

This paper deals with the simulation of the temporal behaviour of "real time systems". First, we characterize a class of applications: "interrupt-driven systems with complex pre-emption mechanisms" and we explain why classical analysis and simulation methods are not sufficient. Then, we introduce a new approach to realistic and efficient simulations of the temporal behaviour of interrupt-driven systems. This approach combines an object-orientated general purpose language (C++) and an imperative synchronous language (Esterel).< >

关键词： object oriented modeling Analytical models Hardware Computational modeling real time systems Concurrent computing Stochastic processes Petri nets Discrete event simulation Signal processing

来源：评论

学校读者我要写书评

暂无评论

A formal approach based on the rewriting logic for prototyping distributed information systems

A formal approach based on the rewriting logic for prototypi...

引用

international Workshop on Rapid System Prototyping (RSP)

作者： A. Attoui M. Schneider Complexe Scientifique des Cézeaux Laboratoire dinformatique Université Blaise Pascal Clermont-Fenand II Aubiere France

Design and prototyping of real time/concurrent systems needs formal approaches in order to permit verification and validation at each step. Methods based on formal logic have been suggested but they often work only on a specific domain and are generally reserved to specialized users. In an attempt to overcome these two restrictions, we propose in this paper a method based on the rewriting logic. Theoretical backgrounds are not a prerequisite for the users. The method supports modularity and abstraction and follows the great principles of an object oriented approach. Different tools are available: a graphical editor for the specification of the structure and the behavior of the objects, an inference engine for rule validation, a generator of prototypes.< >

关键词： Logic Prototypes distributed information systems real time systems Algebra Information systems Engines Design methodology Concurrent computing Petri nets

来源：评论

学校读者我要写书评

暂无评论

object-oriented real-time distributed simulation of cellular phone switching system

Object-oriented real-time distributed simulation of cellular...

引用

Proceedings of the 1993 IEEE international symposium on Circuits and Systems

作者： Chang, Carl K. Shu, Xin Chan, Gene Aoyama, Mikio Univ of Illinois at Chicago Chicago United States

A class of cellular phone switching systems is studied. SUN workstations and UNIX operating system with X windows had been employed in this work as the core of the development environment. They provided a powerful pla... 详细信息

ISBN: (纸本)0780312813

关键词： Cellular telephone systems

来源：评论

学校读者我要写书评

暂无评论

12th Ada-Europe international Conference, 1993

12th Ada-Europe International Conference, 1993

引用

12th Ada-Europe international Conference, 1993

ISBN: (纸本)9783540568025

The proceedings contain 25 papers. The special focus in this conference is on management, real-time, and compiler validation. The topics include: Progress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status);graphics development in Ada;the olympus attitude and orbital control system: a case study in hard real-time system design and implementation;information systems support in Ada 9X;the impact of Ada on mis applications;SAMeDL - a pilot project;applying Ada 9X to two real-time applications: a case study;an efficient compiler validation method for Ada 9x;avoiding anomalies in inheritance schemes;object-oriented design of an air defence simulator;use and abuse of exceptions - 12 guidelines for proper exception handling;error-prone exception handling in large Ada systems;structuring iterators to encourage reuse;tool for computing cohesion and coupling in Ada programs: DIANA dependent part;data compatibility in a heterogeneous processor environment;an operational computer aided software environment: ILIADE;performance expectations on Ada programs;impact of an Ada run-time system's performance characteristics on scheduling models;distributed run-time systems, a protocol for Ada;certification of Ada real-time executives for safety critical applications;performance evaluation of parallel Ada programs using an experimental multiprocessor;adam, an Ada simulation toolkit;real and virtual interrupt support: the mapping of a carts feature to two different architectures;toward a secondary standard for hard real-time Ada: the real-time rapporteur group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An object-oriented real-time distributed simulation of cellular phone switching system

An object-oriented real-time distributed simulation of cellu...

引用

IEEE international symposium on Circuits and Systems (ISCAS)

作者： C.K. Chang X. Shu G. Chan M. Aoyama Department of EECS (M/C 154) University of Illinois Chicago Chicago IL USA

The cellular phone network is a distributed system which is composed of three kinds of subsystems, a mobile phone unit, a base site station and a MSC (mobile switching center). A class of cellular phone switching systems, was chosen as the system to be studied. SUN workstations and the UNIX operating system with X windows have been employed as the core of the development environment. The object-oriented (OO) paradigm and C++ were chosen to develop the simulation. UICCELL was developed as an object-oriented system for cellular phone switching real-time multitasking simulation. UICCELL has been fully implemented and is currently running on an Ethernet LAN. A central monitor is created on the screen to manipulate and monitor the simulator. The graphical user interface displays the configuration of UICCELL and the status of processors, channels, etc. The current implementation contains 60 classes and about 20,000 lines of C++ code.< >

关键词： object oriented modeling Cellular phones Monitoring Cellular networks Mobile handsets Switching systems Sun Workstations Operating systems real time systems

来源：评论

学校读者我要写书评

暂无评论

Prototyping distributed systems using an object-oriented specification language

Prototyping distributed systems using an object-oriented spe...

引用

international Workshop on Rapid System Prototyping (RSP)

作者： A. Dehkhoda D.L. Carver Department of Computer Science Louisiana State University Baton Rouge LA USA

The authors discuss a software environment that automates the extraction of an object from the knowledge base and represents it in DOSL form. A prototype system to execute DOSL specifications is described. The method ... 详细信息

关键词： Prototypes Specification languages Software prototyping object oriented modeling Computer networks distributed computing Feedback Computer science Software systems real time systems

来源：评论

学校读者我要写书评

暂无评论

A practical objected-oriented approach for distributed real-time simulation

A practical objected-oriented approach for distributed real-...

引用

Conference on Digital Avionics Systems (DASC)

作者： S.A. Walters Science Applications International Corporation Dayton OH USA

Under sponsorship of the Embedded Computer Resources Support Improvement Program (ESIP), the Avionics Logistics Branch of the Wright Laboratory (WL/AAAF) undertook research to reduce the cost and improve the performance of systems used for support and test of embedded avionics software. These systems are characterized by real-time simulation of avionics stimulus signals coupled with real-time data acquisition and monitoring. The goal was to produce a generic architecture which was completely modular, reconfigurable, expandable, and reusable so that the Air Force could save the expense of designing completely new systems from scratch for each new avionics support application. The resulting architecture is an excellent example of object-oriented design in Ada for real-time avionics and flight simulation. This system incorporates concurrent multi-processing distributed over a number of processors. Other recent attempts at object-oriented design of real-time systems have encountered significant performance difficulties due to inefficiencies in communications and scheduling implementation. Research by WL/AAAF has focused on careful design of these mechanisms. The resulting system achieves outstanding real-time performance through very efficient process scheduling and inter-process communications while retaining a formal object-oriented approach.< >

关键词： Aerospace electronics real time systems Processor scheduling Embedded computing Logistics Costs Software testing System testing Embedded software Software performance

来源：评论

学校读者我要写书评

暂无评论

Entity behaviour descriptions-A specification model for communicating entities

Entity behaviour descriptions-A specification model for comm...

引用

IEEE Annual international Computer Software and Applications Conference (COMPSAC)

作者： J.L. Boyd G.M. Karam Department of Systems and Computer Engineering Real-Time and Distributed Systems Group Carleton University Ottawa ONT Canada

This paper presents the Entity Behavior Description (EBD) modelling technique for specifying the behavioral requirements of a set of communicating entities in a concurrent system. EBDs are finite state machines which describe the abstract behaviour of an entity. This abstract behavior is defined as the combination of the application-specific behavior, and the semantics of the communications. EBDs are given formal operational semantics which explicitly separate these two behavioral components; and, as such, are a fundamental component of a design process which emphasizes the strong traceability of behavioral requirements in a design.< >

关键词： object oriented modeling Concurrent computing Automata Broadcasting real time systems distributed computing Drives Process design Proposals Encapsulation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共143页 << < 134 135 136 137 138 139 140 141 142 143 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：