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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
33 篇 期刊文献
3 册 图书

馆藏范围

1,424 篇 电子文献
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,421 篇 英文
3 篇 其他
1 篇 中文

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

共 1424 条记录，以下是101-110 订阅

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

详细简洁

排序：

Proceedings - 2012 15th IEEE international symposium on object/Component/Service-oriented real-time distributed computing, ISORC 2012

Proceedings - 2012 15th IEEE International Symposium on Obje...

引用

15th IEEE international symposium on object/Component/Service-oriented real-time distributed computing, ISORC 2012

ISBN: (纸本)9780769546438

The proceedings contain 21 papers. The topics discussed include: providing real-time scheduling for mobile agents in the JADE platform;an open-source flexible scheduling simulator for real-time applications;event handling for distributed real-time cyber-physical systems;hardware support for safety-critical java scope checks;assessment and evaluation of Internet-based virtual computing infrastructure;a fault injection method for testing dependable web service systems;online energy-efficient hard real-time scheduling for component oriented systems;worst-case execution time based optimization of real-time java programs;schedulability analysis abstractions for safety critical java;architecting health management into software component assemblies: lessons learned from the ARINC-653 component mode;and an approach to control transmission of medical data over cellular networks using location information.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formal Synthesis of Optimal RTOS 17

Formal Synthesis of Optimal RTOS

引用

2015 IEEE 17th international Conference on High Performance computing and Communications (HPCC)

作者： Kabland, Toussaint Gautier Tigori Bechennec, Jean-Luc Roux, Olivier Henri IRCCyN CNRS UMR 6597 1Rue Noe BP92101 F-44321 Nantes 3 France

ISBN: (纸本)9781479989379

The adaptation of an operating system to an application is often needed to optimize the embedded code. Adaptation consists in removing the unneeded operating systems services and the dead code according to applications requirements. The resulting stripped operating system is smaller, safer and has better performance. This adaptation is usually done by hand for each application. As a result some dead code may remain unnoticed. The verification and the certification of the adapted operating system is difficult too: for each adaptation to an application, the certification must be redone and for the verification, a new model has to be designed with the well known gap problem between the model and the actual software. In this paper, we present a new approach based on formal methods to synthesize an Application-Specific real-time Operating System. Instead of removing services from the source code of an existing operating system, a formal model is used. All the functions of the operating system with the full control flow and control variables are modeled. According to an application model, unneeded services and part of control flow are removed from the model by using a reachability analysis. This guarantees no dead code remains. Moreover some properties may be checked on the pruned model to ensure the application behaves as expected. At last, the corresponding source code is generated from the model.

关键词： certification formal verification operating systems (computers) reachability analysis source code (software) application model application-specific real-time operating system control flow control variables embedded code formal synthesis method operating system certification operating system verification optimal RTOS source code stripped operating system Adaptation models Automata Cost accounting Memory management object oriented modeling Operating systems real-time systems Formal Methods real-time Operating Systems Synthesis reachability analysis Operating systems Source code real time operating system object oriented modeling cost accounting certification Store management Formal verification real-time systems Automata embedded encoding synthesis

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 2012 15th IEEE international symposium on object/Component/Service-oriented real-time distributed computing Workshops, ISORCW 2012

Proceedings - 2012 15th IEEE International Symposium on Obje...

引用

ISBN: (纸本)9780769546698

The proceedings contain 34 papers. The topics discussed include: STeC: a location-triggered specification language for real-time systems;functional safety analysis method for CTCS Level 3 based on hybrid automata;low power consumption data structure design for embedded applications in real-time systems;measuring time lag with nested preemptions and resumptions;component based design of fault tolerant devices in cyber physical system;RESTful management for cyber-physical systems;a novel self-adaptive fault-tolerant mechanism and its application for a dynamic pervasive computing environment;design and implementation of an automotive telematics gateway based on virtualization;ESF - an extensive service foundation from internet of things perspective;research of context situation awareness technology.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Performance Analysis using Subsuming Methods: An Industrial Case Study 37

Performance Analysis using Subsuming Methods: An Industrial ...

引用

IEEE/ACM 2nd international Workshop on Software Architecture and Metrics (SAM)

作者： Maplesden, David von Randow, Karl Tempero, Ewan Hosking, John Grundy, John Univ Auckland Auckland 1 New Zealand Cactuslab Auckland New Zealand Swinburne Univ Technol Hawthorn Vic 3122 Australia

ISBN: (纸本)9781479919345

Large-scale object-oriented applications consist of tens of thousands of methods and exhibit highly complex runtime behaviour that is difficult to analyse for performance. Typical performance analysis approaches that aggregate performance measures in a method-centric manner result in thinly distributed costs and few easily identifiable optimisation opportunities. Subsuming methods analysis is a new approach that aggregates performance costs across repeated patterns of method calls that occur in the application's runtime behaviour. This allows automatic identification of patterns that are expensive and represent practical optimisation opportunities. To evaluate the practicality of this analysis with a real world large-scale object-oriented application we completed a case study with the developers of letterboxd. com - a social network website for movie goers. Using the results of the analysis we were able to rapidly implement changes resulting in a 54.8% reduction in CPU load and an 49.6% reduction in average response time.

关键词： Subsuming methods Runtime bloat Performance analysis object oriented software

来源：评论

学校读者我要写书评

暂无评论

Integrated Analysis of Temporal Behavior of Component-Based distributed real-time Embedded Systems

Integrated Analysis of Temporal Behavior of Component-Based ...

引用

IEEE international symposium on object/Component/Service-oriented real-time distributed computing Workshops (ISORCW)

作者： Pranav Srinivas Kumar Gabor Karsai Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA

Integrated analysis of temporal behavior for distributed real-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time. In earlier work, we have shown a Colored Petri Net-based (CPN) approach to modeling and analyzing component-based DRE systems. In this paper, we present new CPN-based modeling approaches and advanced state space methods that improve on the scalability and efficiency of the analysis. The generality of the modeling principles used show the applicability of this approach to a wide range of systems.

关键词： Analytical models Petri nets Unified modeling language real-time systems Hardware Message systems Timing

来源：评论

学校读者我要写书评

暂无评论

Stack Caching Using Split Data Caches

Stack Caching Using Split Data Caches

引用

IEEE international symposium on object/Component/Service-oriented real-time distributed computing Workshops (ISORCW)

作者： Carsten Nielsen Martin Schoeberl Department of Applied Mathematics and Computer Science Technical University of Denmark

In most embedded and general purpose architectures, stack data and non-stack data is cached together, meaning that writing to or loading from the stack may expel non-stack data from the data cache. Manipulation of the stack has a different memory access pattern than that of non-stack data, showing higher temporal and spatial locality. We propose caching stack and non-stack data separately and develop four different stack caches that allow this separation without requiring compiler support. These are the simple, window, and prefilling with and without tag stack caches. The performance of the stack cache architectures was evaluated using the Simple Scalar toolset where the window and prefilling stack cache without tag resulted in an execution speedup of up to 3.5% for the MiBench benchmarks, executed on an out-of-order processor with the ARM instruction set.

关键词： Benchmark testing Registers Memory management distributed databases Multicore processing real-time systems

来源：评论

学校读者我要写书评

暂无评论

Exploring Situation Theory Using InfonLab

Exploring Situation Theory Using InfonLab

引用

international symposium on object-oriented real-time distributed computing

作者： Eugene Doma Bran Selic David Levy School of Electrical and Information Engineering The University of Sydney Sydney Australia Malina Software Corp. Nepean Ontario Canada School of Electrical and Information Engineering University of Sydney Sydney Australia

Complex software systems often suffer from flaws arising either during the design or the development stages. In many cases due to the lack of formal underpinning it is difficult to assuredly define the model from which the system is generated. In our work, we investigated the suitability of mathematical situation theory as a formal foundation for a computer modelling language. This paper describes our empirical evaluation of this thesis in the real-time domain using Infon Lab, a tool based upon situation theory.

关键词： Context modeling Computational modeling Software Semantics object oriented modeling Mathematical model Computers

来源：评论

学校读者我要写书评

暂无评论

Design and Evaluation of a Bio-Inspired, distributed Middleware for a Multiple Mixed-Core System on Chip

Design and Evaluation of a Bio-Inspired, Distributed Middlew...

引用

IEEE international symposium on object/Component/Service-oriented real-time distributed computing Workshops (ISORCW)

作者： Andreas Lund Benjamin Betting Uwe Brinkschulte Institute for Computer Science Johann Wolfgang Goethe-University Frankfurt am Main Germany

This paper deals with the design and evaluation of a reliable middleware for multiple Mixed-Core Sytem-on-Chips. The middleware should thereby be responsible for the distribution of tasks among the processing elements. Additional to the requirement of a decentralized task allocation, the middleware should also use self-x principles of Organic computing, like self-optimization or self-healing. Therefore, the here presented model utilizes another middleware, the artificial hormone system. Furthermore, the model introduces a cluster structure among the multiple Mixed-Core System-on-Chips. Among those clusters the set of tasks will be distributed and each cluster runs its own artificial hormone system with its subset of tasks. For distributing the tasks, the middleware uses a negotiation system, widely used by Multi-Agent-Systems. This hierarchical two-level concept brings also benefits when using it with a single Mixed-Core System-on-Chip. These benefits and the limitations of the system will be explained in this thesis. Also the results of the evaluation of the self-configuration and self-healing properties will be presented and discussed.

关键词： Biochemistry Resource management System-on-chip Middleware Hardware Computer architecture Process control

来源：评论

学校读者我要写书评

暂无评论

Mobility-as-a-Service: A distributed real-time Simulation with Carrera Slot-Cars

Mobility-as-a-Service: A Distributed Real-Time Simulation wi...

引用

international symposium on object-oriented real-time distributed computing

作者： Daniel Richter Andreas Grapentin Andreas Polze Operating Systems and Middleware Group University of Potsdam Potsdam Germany

Mobility-as-a-Service (MaaS) describes a class of applications where traditional real-time control systems are enhanced by backbone services accessed via the mobile Internet. In order to implement MaaS, new architectures for multi-stage real-time systems with several layers of control loops have to be implemented. Using approaches such as analytic redundancy, hard real-time control loops are extended with software-defined sensors that deliver data with soft real-time semantics. We describe a real-time control experiment that has been implemented in our distributed Control Lab with four stages - an extended digital Carrera race track (D132), custom built sensor/actuator boards, a control PC, and an outer control loop established via web services - and present a timing analysis. Our architecture allows for decoupling of hard real-time processing on embedded control units and soft real-time data acquisition on the outer layers.

关键词： real-time systems Sensors Safety Mobile communication Microcontrollers Universal Serial Bus Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Assisting H1N1 and Ebola Outbreak Response through High Performance Networked Epidemiology

Assisting H1N1 and Ebola Outbreak Response through High Perf...

引用

29th IEEE international Parallel and distributed Processing symposium (IPDPS)

作者： Marathe, Madhav Virginia Tech Blacksburg VA 24061 USA

ISBN: (纸本)9781479986484

The H1N1 pandemic of 2009 and the ongoing Ebola outbreak in West Africa serve as a reminder of the social, economic and health burden of infectious diseases. The ongoing trends towards urbanization, global travel, climate change and a generally older and immuno-compromised population continue to make epidemic planning and control challenging. Recent quantitative changes in high performance pervasive computing have created new opportunities for collecting, integrating, analyzing and accessing information related to large urban social systems, disease surveillance and global logistics and supply chains. The advances in network and information science that build on this new capability provide entirely new ways for reasoning and controlling epidemics. In this talk I will overview of the state of the art in computational networked epidemiology with an emphasis on computational thinking and on the development of high performance computing oriented decision-support environments for planning and response in the event of epidemics. I will describe how such systems can be used to support near real-time planning and response during the 2009 H1N1 swine flu and the recent Ebola Outbreak in West Africa. Computational challenges and directions for future research will be discussed.

关键词： Epidemic Ebolavirus West Africa international logistics Influenza A Virus, H1N1 Subtype Information Sciences Disease Outbreaks Reminder HIGH-PERFORMANCE Reasoning Epidemiology Signal timing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共143页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：