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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Modeling behavioral patterns of concurrent objects using Petri nets

Modeling behavioral patterns of concurrent objects using Pet...

引用

international symposium on object-oriented real-time distributed computing

作者： R.G. Pettit H. Gomaa Aerospace Corporation Chantilly VA USA ISE Department George Mason University Fairfax VA USA

object-oriented software development practices are being rapidly adopted within increasingly complex systems, including reactive, real-time and concurrent system applications. While data modeling is performed very well under current object-oriented development practices, behavioral modeling necessary to capture critical information in real-time, reactive, and concurrent systems is often lacking. Addressing this deficiency, we offer an approach for modeling and analyzing concurrent object-oriented software designs through the use of behavioral patterns captured through colored Petri nets

关键词： Petri nets object oriented modeling Computer architecture Unified modeling language Software design Software architecture real time systems Application software Programming Software systems

来源：评论

学校读者我要写书评

暂无评论

A UML-based concept for high concurrency: the real-time object

A UML-based concept for high concurrency: the real-time obje...

引用

international symposium on object-oriented real-time distributed computing

作者： S. Gerard C. Mraidha F. Terrier B. Baudry CEA-LIST Gif-Sur-Yvette France

real-time (RT) applications are designed to control systems that are inherently parallel. For easing development, abstractions are mandatory to model this concurrency. To achieve this goal, the real-time object paradigm is proposed. It is used to demonstrate how to separate functional and concurrency concerns ensuring also high-level abstraction for parallelism modeling

关键词： Concurrent computing Unified modeling language real time systems object oriented modeling Control systems Context modeling Data encapsulation Communication system control Laboratories Protection

来源：评论

学校读者我要写书评

暂无评论

Integrated environment based on object-oriented methodology for real-time systems

Integrated environment based on object-oriented methodology ...

引用

international symposium on object-oriented real-time distributed computing

作者： Chang Sup Keum Joon Kyung Lee DongGill Lee Byung Sun Lee Software Environment Section Electronics and Telecommunications Research Institute Daejeon South Korea

ISBN: (纸本)0818684305

This paper describes an integrated environment based on the object oriented methodology for real-time systems. The object oriented methodology is composed of six phases: requirements analysis, system analysis, system design, object design, implementation and testing. The OMT object model and use case model are used in the analysis phase, SDL-92 in the design phase and CHILL-96 in the implementation phase. To provide proper object oriented development support an integrated environment has been developed. This integrated environment provides seamless tool support from analysis to testing. Finally, experimental object oriented PABX is evaluated for the feasibility study.

关键词： real time systems Signal processing object oriented modeling Identity-based encryption Electronic switching systems Read only memory Testing System analysis and design

来源：评论

学校读者我要写书评

暂无评论

Analyzing the performance of memory management in RTSJ

Analyzing the performance of memory management in RTSJ

引用

international symposium on object-oriented real-time distributed computing

作者： M.T. Higuera-Toledano V. Issarny Domaine de Voluceau INRIA Rocquencourt Le Chesnay France

The memory models used in the real-time Specification for Java (RTSJ) can incur large amounts of overhead; It is possible to reduce this overhead by taking advantage of hardware features. This paper provides an in-depth analytical investigation of the overhead of write barriers in RTSJ VMs, and describes and analyzes solutions for reducing them.

关键词： Performance analysis Memory management Java Delay Yarn Voice mail Instruments Recycling distributed computing

来源：评论

学校读者我要写书评

暂无评论

Model Driven Engineering versus Organic computing, Two Complementary Approaches

Model Driven Engineering versus Organic Computing, Two Compl...

引用

international symposium on object-oriented real-time distributed computing

作者： Fabrice Kordon LIP6-CNRS UMR 7606 Université Pierre et Marie Curie Paris France

Model driven engineering (MDE) and organic computing (OC) are fashion buzzwords these years. However, are the associated techniques in competition or complementary? We first provide some definitions about these terms ... 详细信息

ISBN: (纸本)9781424435715

关键词： Model driven engineering distributed computing Programming Biology computing Large-scale systems Wikipedia Metamodeling Biological information theory Application software Biosensors

来源：评论

学校读者我要写书评

暂无评论

Formalization and analysis of dataflow in object-oriented design models

Formalization and analysis of dataflow in object-oriented de...

引用

international symposium on object-oriented real-time distributed computing

作者： T. Aoki T. Katayama Japan Advanced Institute of Science and Technology Noumi Ishikawa Japan

In the upstream phase of object-oriented development, we usually model a target system from multiple points of view. A dataflow view has been recognized as one of the most important views in software engineering. We need to relate dataflow models to OO models and check consistency between them as it is still important even if we adopt object-oriented approach. In this paper, we propose a method to analyze dataflows in OO design models with the model checker Spin after formalizing them.

关键词： Data analysis object oriented modeling Software engineering Unified modeling language Embedded system Standards development Explosions State-space methods distributed computing

来源：评论

学校读者我要写书评

暂无评论

Towards the integration of scoped memory in distributed real-time Java

Towards the integration of scoped memory in distributed real...

引用

international symposium on object-oriented real-time distributed computing

作者： P. Basanta-Val M. Garcia-Valls I. Estevez-Ayres Drequiem Laboratory Distributed Real-Time Systems and Multimedia Laboratory Departamento Ingeniería de Telemática Universidad Carlos III de Madrid Spain

This paper presents a memory management solution for distributed real-time Java. The proposed model is targeted at distributed applications that require to keep their internal state and that consume a bounded memory size in their operation. The aim is to provide an alternative to the garbage collector for distributed real-time systems and to avoid the penalties it introduces. The approach is based on the usage of scoped memory defined in the real-time specification for Java (RTSJ). Our solution introduces constraints in the programming model and in the current distributed Java architecture. However, these are compensated by eliminating the dependency of the garbage collector in the end-to-end invocation and by achieving self-cleaning with respect to the memory consumed by remote invocations.

关键词： Java object oriented modeling real time systems Memory management Middleware Costs Programming profession Multimedia systems Laboratories Computer languages

来源：评论

学校读者我要写书评

暂无评论

Lessons learned applying performance modeling and analysis techniques

Lessons learned applying performance modeling and analysis t...

引用

international symposium on object-oriented real-time distributed computing

作者： J.A. Street R.G. Pettit Aerospace Corporation Chantilly VA USA

This paper provides a series of lessons learned with respect to using performance modeling and analysis techniques on designs of object-oriented software systems. Specifically it focuses on the application of the Unified Modeling Language (UML) profile for schedulability performance, and time (SPT) paired with statistical simulation and coloured Petri nets (CPNs). The experiences captured in this paper are based on observations from an empirical study evaluating these techniques

关键词： Performance analysis object oriented modeling Application software Software performance Unified modeling language real time systems Analytical models Control systems Software design Scheduling

来源：评论

学校读者我要写书评

暂无评论

Integrating modular, object oriented programming, and application generator technologies in large real time and distributed developments 1st

Integrating modular, object oriented programming, and applic...

引用

1st international Eurospace-Ada-Europe symposium, 1994

作者： Heitz, Maurlce CISI 13 rue Villet Toulouse31400 France

ISBN: (纸本)9783540588221

This paper presents results of an integration work on object oriented (OO) developments into a common framework support through an extension of HOOD3.1 allowing better support for Abstract Data Types. The associated HOOD based development approach allows mastering of architecture definition as well as integration of software components developed with different technologies and teams (modular programming, OO programming, Graphical interface generator technology, Database generator technology, and expert systems generator technology) in the area of large and complex, real time and critical data processing systems. The resulting integration approach allows developers to gain both advantages of strong modular techniques for partitioning and interface mastering, with the productivity promises of object oriented architecture. We first recall the terminology between modular and object oriented Programming (OOP), and give a description of HOOD extensions to support OO classes and inheritance. We conclude on the presentation of four refinemement and integration principles, and illustrate them on a generic architecture and refimement approach for large complex information systems leading to efficient reusability. © Springer-Verlag Berlin Heidelberg 1994.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A real-time heterogeneous distributed computing environment for multi-robot system

A real-time heterogeneous distributed computing environment ...

引用

international symposium on object-oriented real-time distributed computing

作者： K. Qutubudin D. Pease Department of Electrical and Computer Engineering Syracuse University Syracuse NY USA

Proposes a distributed computing framework for the real-time management of a large number of robots in an industrial setting. The primary design objective of this framework is to allow a centralized heterogeneous multiprocessor controller to perform real-time scheduling and evaluation of Newton-Euler equations for manipulating the robot motion. The real-time scheduling of tasks in such an environment is shown to be an NP-hard problem, for which we propose a deadline-based heuristic. A detailed simulation reveals that the proposed heuristic can achieve near-optimal performance.

关键词： distributed computing Job shop scheduling Processor scheduling Service robots Computer industry Centralized control Motion control Performance evaluation Equations Robot motion

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共143页 << < 49 50 51 52 53 54 55 56 57 58 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：