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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

GenERTiCA: A Tool for Code Generation and Aspects Weaving

GenERTiCA: A Tool for Code Generation and Aspects Weaving

引用

international symposium on object-oriented real-time distributed computing

作者： Marco A. Wehrmeister Edison P. Freitas Carlos E. Pereira Franz Rammig Heinz Nixdorf Institute University of Paderborn Germany Instituto de Informática Brazil Department Engenharia Elétrica UFRGS Brazil

ISBN: (纸本)9780769531328

Model-driven design (MDD) can be perceived in the recent literature as an option to deal with the increasing complexity of the design of distributed embedded real-time systems (DERTS). This paper reports some results of a research project aiming to support a MDD approach, which applies concepts of the aspect-oriented (AO) paradigm in order to improve the treatment of non-functional requirements (NFR) in the design of DERTS. A tool named GenERTiCA, which generates source code from UML diagrams and also weaves aspect adaptations, has been developed to support such MDD/AO approach. This paper presents results regarding the use of GenERTiCA to generate code and implement aspects (from a high-level framework of aspect) for the RT-FemtoJava platform, a RTSJ-based and optimized Java platform for DERTS.

关键词： Weaving Unified modeling language object oriented modeling distributed computing Java Skeleton Embedded system real time systems Hardware Software performance

来源：评论

学校读者我要写书评

暂无评论

Abstract State Spaces for time Petri Nets Analysis

Abstract State Spaces for Time Petri Nets Analysis

引用

international symposium on object-oriented real-time distributed computing

作者： Bernard Berthomieu Florent Peres François Vernadat Laboratoire d''Analyse et d''Architecture des Systèmes du C.N.R.S. Toulouse France

ISBN: (纸本)9780769531328

The paper is organized as follows. Section 2 reviews the terminology of time Petri nets and the definitions of their state spaces. The classical "state classes" construction, preserving markings and LTL properties, is explained in section 3, and its properties discussed. Section 4 explains the richer "strong state classes" abstraction, that allows in addition to decide state reachability properties. Section 5 discusses preservation of branching properties and explains the "atomic state classes" construction. Finally, section 7 discusses a number of related issues and recent results, including extensions of these methods to handle enriched classes of time Petri nets.

关键词： State-space methods Petri nets object oriented modeling distributed computing time factors Protocols Hardware Availability Terminology Delay effects

来源：评论

学校读者我要写书评

暂无评论

Lightweight Shadow Paging for Efficient Memory Isolation in Gandalf VMM

Lightweight Shadow Paging for Efficient Memory Isolation in ...

引用

international symposium on object-oriented real-time distributed computing

作者： Megumi Ito Shuichi Oikawa Department of Computer Science University of Tsukuba Japan

ISBN: (纸本)9780769531328

Demands are increasing for consolidating multiple OSes on a single multi-core CPU rather than using multiple sets of an OS and a CPU. A VMM enables multiple guest OSes to run concurrently on one CPU while providing separate security domains. We have developed Gandalf a lightweight VMM targeting embedded systems with multi-core CPUs. This paper focuses on the shadow paging mechanism of Gandalf which enables physical memory isolation among guest OSes by separating guest page tables from CPUs, because shadow paging significantly affects VMM overheads and is a key to make a VMM lightweight. We designed and implemented two models of shadow paging, single shadow model and multiple shadow model. The measurement results show that they are realized lightweight.

关键词： Embedded system object oriented modeling Web and internet services Memory management Operating systems Virtual machine monitors IP networks distributed computing Computer science real time systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings 10th ieee international symposium on object and component-oriented real-time distributed computing ISORC 2007

Proceedings 10th IEEE International Symposium on Object and ...

引用

10th ieee international symposium on object and component-oriented real-time distributed computing, ISORC 2007

ISBN: (纸本)0769527655

The proceedings contain 54 papers. The topics discussed include: a systematic approach to domain-specific language design using UML;periodic finite-state machines;engineering self-coordinating real-time systems;efficient adaptations of the non-blocking buffer for event message communication between real-time threads;a timing assumption and a t-resilient protocol for implementing an eventual leader service in asynchronous shared memory systems;time-predictable task preemption for real-time systems with direct-mapped instruction cache;integrating priority inheritance algorithms in the real-time specification;analyzing behavior of concurrent software design for embedded systems;and evaluating real-time publish/subscribe service integration approaches in QoS-enabled component middleware.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Challenges in Implementing the real-time Specification for Java (RTSJ) in a Commercial real-time Java Virtual Machine

Challenges in Implementing the Real-Time Specification for J...

引用

international symposium on object-oriented real-time distributed computing

作者： Michael H. Dawson IBM USA

ISBN: (纸本)9780769531328

The increasing complexity of modern real-time systems and the increasing need for real-time behavior in a broad range of applications such as network- centric warfare, telephony and stock trading has encouraged many developers to consider using real-time Javatrade for systems previously only written in C, Ada or assembly language. The RTSJ standard defines the baseline requirements for a real-time Java implementation, and commercial Java virtual machine (JVM) implementations include additional features such as real-time garbage collectors and real-time compilation (compiling from Java to native code in a manner compatible with real-time), which make the use of Java practical for these applications. This paper describes some of the challenges that will be faced by implementers of the RTSJ standard based on our experience with implementing IBM's RTSJ-compliant J2SE Java virtual machine, called IBM reg WebSphere reg real-time.

关键词： Java Virtual machining real time systems Operating systems Linux Yarn Computer crashes distributed computing Telephony Assembly systems

来源：评论

学校读者我要写书评

暂无评论

distributed real-time Traffic Data Management

Distributed Real-Time Traffic Data Management

引用

international symposium on object-oriented real-time distributed computing

作者： Joonwoo Lee Jaeil Hwang Dong-Hoon Shin Yunmook Nah Hae-Young Bae Doo-Hyun Kim Dankook University Gyeonggi South Korea Inha University Incheon South Korea Konkuk University Seoul South Korea

ISBN: (纸本)9780769531328

As ITS technology evolves, very large volume of traffic data can be obtained in real-time. Traffic data are continuously produced and they can be considered as a kind of stream data. Currently, such traffic data are not maintained permanently because of the storage limitations of operational systems. Therefore, it was impossible to compare temporal historical patterns over long time periods. In this paper, we propose a traffic data management scheme, which can handle historical data as well as current data. The proposed scheme is based on the GALIS architecture, which is a cluster-based distributed computing system architecture that consists of multiple data processors, each dedicated to keeping records relevant to a different geographical zone and a different time zone. Some experimental results showing performance factors are also explained.

关键词： Computer architecture distributed computing Traffic control Prototypes Add-drop multiplexers Management information systems Query processing Research and development management distributed databases Technology management

来源：评论

学校读者我要写书评

暂无评论

Usability Aspects of WCET Analysis

Usability Aspects of WCET Analysis

引用

international symposium on object-oriented real-time distributed computing

作者： Jan Gustafsson School of Innovation Design and Engineering Computer Science Department Mälardalen University Vasteras Sweden

ISBN: (纸本)9780769531328

Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (WCET) of a program. Often, timing analysis in industry is done by measurements. Recently, tools for deriving WCET estimates have reached the market. With more widespread use of WCET tools in industry, the usability aspects of these tools will be of growing importance. In this paper we discuss usability using the results of the WCET Challenge 2006, which was the first event that compared different WCET tools using the same set of benchmarks. Another source of input to the discussion are experiences from industrial case-studies of WCET tools. Finally, we point out some areas for future research and development for WCET analysis methods and tools.

关键词： Usability Timing time measurement Area measurement Hardware real time systems Performance analysis distributed computing Technological innovation Design engineering

来源：评论

学校读者我要写书评

暂无评论

Fault-Tolerance in Universal Middleware Bridge

Fault-Tolerance in Universal Middleware Bridge

引用

international symposium on object-oriented real-time distributed computing

作者： Kyung-Deok Moon Jun Hee Park K. H. Kim Liangchen Zheng Qian Zhou Electronics and Telecommunications Research Institute Taejon South Korea EECS Department & DREAM Laboratory University of California Irvine Irvine CA USA

ISBN: (纸本)9780769531328

Universal middleware bridge (UMB) provides seamless interoperation among heterogeneous home network middleware. There have been high demands for the UMB components (UMB core and adaptors) to have fault- tolerance capabilities. This paper presents a TMO structuring approach together with new implementation techniques for the fault-tolerant TMO-replica structuring scheme called PSTR. PSTR implementations of UMB components provide fault tolerance capabilities essential in realizing high reliability for the UMB facility.

关键词： Fault tolerance Middleware Bridges Home automation distributed computing Hardware Application software Ethernet networks Protocols Home appliances

来源：评论

学校读者我要写书评

暂无评论

Replication-Based Incremental Compaction

Replication-Based Incremental Compaction

引用

international symposium on object-oriented real-time distributed computing

作者： Tomoharu Ugawa Masahiro Yasugi Taiichi Yuasa Graduate School of Informatics Kyoto University Japan

ISBN: (纸本)9780769531328

We propose an incremental compaction algorithm. Our compactor selects a continuous area of the heap and evacuates it by incrementally copying all objects in the area to the rest of the heap. After all objects have been copied, our compactor incrementally updates pointers pointing into the evacuated area. During these processes, each original object and its copy are kept consistent. We implemented the compactor together with a snapshot garbage collector in the KVM. Our measurements show that (1) the largest free chunk is almost always more than 20% as large as the entire heap when the heap is twice as large as the maximum amount of live objects, (2) the runtime overhead is less than 20%, and (3) the maximum pause time caused by the compactor is comparable to that caused by the snapshot collector.

关键词： Compaction Informatics Software algorithms distributed computing time measurement Runtime Educational technology Hardware Protection Java

来源：评论

学校读者我要写书评

暂无评论

First Person Shooter Multiplayer Game Traffic Analysis

First Person Shooter Multiplayer Game Traffic Analysis

引用

international symposium on object-oriented real-time distributed computing

作者： Qili Zhou Colin James Miller Victor Bassilious School of Computing and Creative Technologies University of Aberlay Dundee Dundee UK

ISBN: (纸本)9780769531328

Internet delay is important for FPS games because it can determine who wins or loses a game. Network traffic for such games has been analysed using packet size and inter-packet time metrics fitting a statistical model. However, the effect of other network traffic on game traffic was not investigated or considered. This paper explores the traffic generated by an FPS game, taking into account the effects of other Internet traffic. Experiments were conducted in an isolated local network, repeated across the Internet and in a simulator with varying degrees of background traffic. FPS game packet inter-arrival time distribution was observed to spread with the decrease of bandwidth due to other traffic along network paths. The twin peak characteristic of packet inter-arrival time observed in the isolated local network experiment flattens and spreads to a bell-shape as bandwidth decreases due to the increased and non-unique delay of packet arrivals.

关键词： Telecommunication traffic Traffic control Web server Internet Bandwidth distributed computing object oriented modeling IP networks Delay effects Local area networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共77页 << < 41 42 43 44 45 46 47 48 49 50 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：