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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

753 篇 会议
16 篇 期刊文献

馆藏范围

769 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

295 篇 工学
- 284 篇 计算机科学与技术...
- 118 篇 软件工程
- 37 篇 电气工程
- 16 篇 控制科学与工程
- 15 篇 信息与通信工程
- 8 篇 安全科学与工程
- 6 篇 机械工程
- 4 篇 建筑学
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 3 篇 网络空间安全
- 2 篇 冶金工程
- 2 篇 动力工程及工程热...
- 2 篇 电子科学与技术（可...
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 土木工程
133 篇 管理学
- 117 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 16 篇 工商管理
31 篇 理学
- 19 篇 数学
- 8 篇 系统科学
- 3 篇 生物学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 地质学
- 1 篇 统计学（可授理学、...
4 篇 经济学
- 4 篇 应用经济学
2 篇 法学
- 2 篇 社会学
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 军事学

主题

209 篇 real time system...
202 篇 distributed comp...
124 篇 quality of servi...
97 篇 object oriented ...
82 篇 application soft...
82 篇 embedded system
82 篇 middleware
81 篇 computer archite...
54 篇 real-time system...
54 篇 hardware
51 篇 timing
45 篇 unified modeling...
42 篇 resource managem...
42 篇 java
40 篇 computer science
38 篇 protocols
36 篇 operating system...
34 篇 runtime
34 篇 costs
32 篇 service oriented...

机构

11 篇 school of comput...
6 篇 department of el...
6 篇 okuma corporatio...
5 篇 college of compu...
5 篇 konkuk universit...
5 篇 aerospace corpor...
5 篇 graduate school ...
5 篇 arizona state un...
5 篇 octopath corpora...
4 篇 university of ca...
4 篇 arizona state un...
4 篇 boeing co st lou...
4 篇 school of comput...
4 篇 department of in...
4 篇 univ leeds sch c...
4 篇 department of co...
3 篇 vienna universit...
3 篇 department of ee...
3 篇 get-télécom pari...
3 篇 graduate school ...

作者

17 篇 jie xu
11 篇 gokhale aniruddh...
11 篇 schmidt douglas ...
11 篇 karsai gabor
10 篇 xu jie
9 篇 aniruddha gokhal...
9 篇 k.h. kim
9 篇 gabor karsai
8 篇 takuya azumi
8 篇 dubey abhishek
8 篇 douglas c. schmi...
8 篇 martin schoeberl
7 篇 uwe brinkschulte
7 篇 paul townend
7 篇 liu lu
7 篇 hiroshi oyama
6 篇 lu liu
6 篇 hill james h.
6 篇 david webster
5 篇 a. polze

语言

769 篇 英文

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

共 769 条记录，以下是341-350 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

How to Model a real-time Database?

How to Model a Real-Time Database?

引用

international symposium on object-oriented real-time distributed computing

作者： Nizar Idoudi Claude Duvallet Rafik Bouaziz Bruno Sadeg Faiez Gargouri UFR des Sciences et des Techniques Le Havre France MIRACL-ISIMS Sfax Tunisia

ISBN: (纸本)9781424435715

This paper presents a framework for real-time database design that is able to support real-time database requirements such as time-constrained data and time-constrained transactions. It is based upon a real-time object-oriented data model in which each object encapsulates time-constrained data, time-constrained methods and concurrency control mechanisms. Our framework is composed of an UML profile for real-time database, a translator to object-relational model, and an UML CASE Tool.

关键词： Transaction databases Unified modeling language object oriented databases real time systems Spatial databases Timing object oriented modeling Concurrency control Data models Process control

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Design and Organic computing - Contradictory or Synergetic Approaches to Overcome the Embedded Software Crisis

Model-Driven Design and Organic Computing - Contradictory or...

引用

international symposium on object-oriented real-time distributed computing

作者： Uwe Brinkschulte Johann Wolfgang Goethe Universität Frankfurt Frankfurt Germany

ISBN: (纸本)9781424435715

This panel discusses two different approaches to overcome the embedded software crisis. On one hand, model-driven design is an approach to build software by using a hierarchy of models and automatic transformation between these models. Organic computing is building systems inspired by nature. A main purpose of this panel is to answer the question if these approaches are contradictory or can be combined in a synergetic way.

关键词： Embedded computing Embedded software Embedded system Biology computing Buildings Automatic control distributed computing Costs Computer architecture Control systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Fault-Tolerance for component-Based Systems - An Automated Middleware Specialization Approach

Fault-Tolerance for Component-Based Systems - An Automated M...

引用

international symposium on object-oriented real-time distributed computing

作者： Sumant Tambe Akshay Dabholkar Aniruddha Gokhale Department of EECS Vanderbilt University Nashville USA

General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper presents GRAFT (GeneRative Aspects for Fault Tolerance), which is a model-driven, automated, and aspects-based approach for specializing general-purpose middleware with failure handling and recovery semantics imposed by a ***-driven techniques are used to specify the special fault tolerance requirements, which are then transformed into middleware-level code artifacts using generative programming. Since the resulting fault tolerance semantics often crosscut the middleware architecture, GRAFT uses aspect-oriented programming to weave them into the original fabric of the general-purpose middleware. We evaluate the capabilities of GRAFT using a representative case study.

关键词： Fault tolerant systems Middleware Fault tolerance Costs Model driven engineering real time systems distributed computing Fabrics Quality of service Program processors

来源：评论

学校读者我要写书评

暂无评论

Estimation of real-time Software Code Size using COSMIC FSM

Estimation of Real-Time Software Code Size using COSMIC FSM

引用

international symposium on object-oriented real-time distributed computing

作者： Kenneth Lind Rogardt Heldal Saab Automobile AB Trollhattan Sweden Chalmers University of Technology Gothenburg Sweden

For distributed networks which will be mass produced, such as computer systems in modern vehicles, it is crucial to find cost efficient hardware. A distributed network in a vehicle consists of several ECUs (electronic control unit). In this paper we consider the amount of memory needed for these ECUs. They should contain enough memory to survive several software generations, without inducing unnecessary cost of too much memory. Our earlier work shows that UML component diagrams can be used to collect enough information for estimating memory size using a functional size measurement method. This paper replicates our earlier experiment with more software components of a different type. We compare the results from the two experiments.

关键词： Unified modeling language Costs Vehicles Size measurement Computer architecture real time systems distributed computing Hardware Automotive engineering Automobiles

来源：评论

学校读者我要写书评

暂无评论

Delivering Sustainable Capability on Evolutionary service-oriented Architecture

Delivering Sustainable Capability on Evolutionary Service-or...

引用

international symposium on object-oriented real-time distributed computing

作者： Lu Liu Duncan Russell David Webster Zongyang Luo Colin Venters Jie Xu John K. Davies School of Computing University of Leeds Leeds UK BAE Systems Integrated System Technologies Limited Frimley UK

Network enabled capability (NEC) is the U.K. Ministry of Defencepsilas response to the quickly changing conflict environment in which its forces must operate. In NEC, systems need to be integrated in context, to assist in human activity and provide dependable inter-operation. In order to provide reliable and sustainable military capability, fast paced changes must be conducted without halting the operation of a capability. In this paper we present the concept of evolutionary service-oriented architecture for delivering sustainable capability. The reliability of the architecture is evaluated by simulations using a computer-based model. The simulation results indicate that the evolutionary service-oriented architecture can provide higher reliability and sustainability in the provision of capability in a dynamic environment.

关键词： service oriented architecture National electric code Computer network reliability distributed computing Military computing Computer architecture Computational modeling Systems engineering and theory Force control Computer networks

来源：评论

学校读者我要写书评

暂无评论

Organic computing and Model-Driven Engineering in Embedded Systems

Organic Computing and Model-Driven Engineering in Embedded S...

引用

international symposium on object-oriented real-time distributed computing

作者： Mike Hinchey Roy Sterritt University of Ulster Jordanstown UK Lero-the Irish Software Engineering Research Centre University of Limerick Jordanstown Ireland

Model-driven engineering (MDE), and its various forms (such as OMG's MDA: model-driven architecture) is a software development methodology focusing on creating models and abstractions for a specific domain. It aims to increase productivity and avoid traditional SDLC problems by maximizing compatibility between systems, simplifying the process of design, and promoting understanding and communication between stakeholders and developers. Organic computing is a vision for a particular type of system, and considers what is to be delivered (self-management). MDE involves applied research into how to deliver systems. Both have the development of more effective systems as a high level objective, and so can be viewed as complementary.

关键词： Embedded computing Model driven engineering Embedded system Computer vision Biology computing real time systems Software engineering Computer industry Computer networks distributed computing

来源：评论

学校读者我要写书评

暂无评论

Communication Primitives for real-time distributed Synchronization over Small Area Networks

Communication Primitives for Real-Time Distributed Synchroni...

引用

international symposium on object-oriented real-time distributed computing

作者： Sang-Hun Lee Hyun-Wook Jin Department of Computer Science and Engineering Konkuk University Seoul South Korea

Many emerging embedded systems consist of multiple embedded nodes, which are connected through an internal small area network. In such systems, the synchronization between the embedded nodes is essential to provide real-time cooperation environment. On small area networks, the severe obstacle for achieving real-time synchronization is the unpredictable overhead of the system software running on the embedded nodes. This is true especially if a traditional operating system has been installed. Despite of these drawbacks, it is quite common to run traditional operating systems on some of the embedded nodes to utilize various existing applications. In this paper, we propose a novel design of communication primitives called RTDiP-Sync for real-time distributed synchronization over small area networks. Experiment results show that the suggested design can minimize the communication overhead and provide better overhead prediction.

关键词： real time systems Operating systems TCPIP Embedded system Protocols System software Information management Delay Kernel distributed computing

来源：评论

学校读者我要写书评

暂无评论

Extended RT-component Framework for RT-Middleware

Extended RT-Component Framework for RT-Middleware

引用

international symposium on object-oriented real-time distributed computing

作者： Hiroyuki Chishiro Yuji Fujita Akira Takeda Yuta Kojima Kenji Funaoka Shinpei Kato Nobuyuki Yamasaki School of Science for Open and Environment Systems Keio University Yokohama Japan

Modular component-based robot systems require not only an infrastructure for component management, but also scalability as well as real-time properties. Robot technology (RT)-middleware is a software platform for such component-based robot systems. Each component in the RT-Middleware, so-called "RT-component'' supporting particular robot functions, is based on common object request broker architecture (CORBA). Unfortunately, the RT-Middleware lacks the mechanism for real-time control. In this paper, we extend the framework of the RT-components to take care of timing constraints. We first enable tasks to have different periods within each RT-component. We then modify the packet format of the General Inter-ORB Protocol (GIOP) to transfer the information of timing constraints over RT-components. The performance evaluation on ART-Linux shows that the extended RT-component framework improves the schedulability of distributed real-time tasks, without causing critical overheads in unmarshaling the modified GIOP packets.

关键词： Robots Timing real time systems Protocols Computer architecture Leg distributed control Open source software Legged locomotion Control systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共77页 << < 31 32 33 34 35 36 37 38 39 40 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：