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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Modeling and Verification of time-Triggered Communication Protocols

Modeling and Verification of Time-Triggered Communication Pr...

引用

international symposium on object-oriented real-time distributed computing

作者： Maria Sorea Bruno Dutertre Wilfried Steiner EADS Innovation Works Munich Germany Computer Science Laboratory SRI International Inc. USA TTTech Computertechnik AG Vienna Austria

ISBN: (纸本)9780769531328

We give an introduction and survey of a formal modeling and verification approach that has been successfully applied to time-triggered protocols. This method allows us to capture and reason about real-time properties of distributed systems. It relies on the modeling concept of calendar similar to what has been used for a long time in discrete event simulation. It is also supported by efficient symbolic verification tools provided by the SAL environment. We present the basis of the modeling method and discuss two related verification approaches for analyzing complex, real-time distributed systems.

关键词： Protocols real time systems object oriented modeling Laboratories Fault tolerant systems Safety Timing Arithmetic distributed computing Calendars

来源：评论

学校读者我要写书评

暂无评论

Systematic configuration and automatic tuning of neuromorphic systems

Systematic configuration and automatic tuning of neuromorphi...

引用

IEEE international symposium on Circuits and Systems (ISCAS)

作者： Sheik, Sadique Stefanini, Fabio Neftci, Emre Chicca, Elisabetta Indiveri, Giacomo Univ Zurich Inst Neuroinformat CH-8006 Zurich Switzerland ETH Zurich Switzerland

ISBN: (纸本)9781424494743

In the past recent years several research groups have proposed neuromorphic Very Large Scale Integration (VLSI) devices that implement event-based sensors or biophysically realistic networks of spiking neurons. It has been argued that these devices can be used to build event-based systems, for solving real-world applications in real-time, with efficiencies and robustness that cannot be achieved with conventional computing technologies. In order to implement complex event-based neuromorphic systems it is necessary to interface the neuromorphic VLSI sensors and devices among each other, to robotic platforms, and to workstations (e.g. for data-logging and analysis). This apparently simple goal requires painstaking work that spans multiple levels of complexity and disciplines: from the custom layout of microelectronic circuits and asynchronous printed circuit boards, to the development of object oriented classes and methods in software;from electrical engineering and physics for analog/digital circuit design to neuroscience and computer science for neural computation and spike-based learning methods. Within this context, we present a framework we developed to simplify the configuration of multi-chip neuromorphic VLSI systems, and automate the mapping of neural network model parameters to neuromorphic circuit bias values.

关键词： Hardware Neuromorphics Neurons object oriented modeling Optimization Software

来源：评论

学校读者我要写书评

暂无评论

Model Checking Multi-Task Software on real-time Operating Systems

Model Checking Multi-Task Software on Real-Time Operating Sy...

引用

international symposium on object-oriented real-time distributed computing

作者： Toshiaki Aoki Japan Advanced Institute of Science and Technology Noumi Ishikawa Japan

ISBN: (纸本)9780769531328

In this paper, we propose a method to verify software executed on RTOS which conforms to mulTRON with a model checking tool Spin. The RTOS provides facilities such as priorities and service calls to control the execution of tasks, however, Spin does not provide them. Thus, we implemented a middleware which allows us to use the facilities and simulate the execution of the tasks in Spin. The paper shows how it is implemented and its evaluation.

关键词： real time systems Operating systems object oriented modeling Processor scheduling Software tools Middleware Embedded software Concrete Libraries distributed computing

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Multiprocessors and the real-time Specification for Java

Multiprocessors and the Real-Time Specification for Java

引用

international symposium on object-oriented real-time distributed computing

作者： Andy Wellings Department of Computer Science University of York UK

Currently, the real-time Specification for Java (RTSJ) is silent on multiprocessor issues It attempts not to preclude multiprocessor implementations but provides no direct support. This paper discusses the issues that need to be addressed if the RTSJ is to be better defined for execution on a multiprocessor system. It proposes new dispatching and allocation models. Issues of cost enforcement, interrupts affinity and processor failure are covered.

关键词： Java Processor scheduling Protection Multiprocessing systems Costs Partitioning algorithms Scheduling algorithm Yarn Queueing analysis distributed computing

来源：评论

学校读者我要写书评

暂无评论

Dynamo: A time-based object-oriented model to support distributed collaborative development

Dynamo: A time-based object-oriented model to support distri...

引用

Proceedings of the 1990 IEEE international Conference on Computer Systems and Software Engineering - COMPEURO '90

作者： Bapa Rao, K.V. Gafni, Anat Raeder, Georg Univ of Southern California CA USA

ISBN: (纸本)0818620412

An overview is presented of Dynamo, an object-oriented model to support collaborative activities in a distributed environment. Dynamo is designed to meet the requirements that form the common core of engineering design in a variety of domains, including support for data and behavioral abstraction, incremental development and software reuse, decentralized control, ability to keep track of past history, and synchronization of access to information, while ensuring maximum concurrency. The most distinguishing feature of the Dynamo model is the prominence of the time dimension in its modeling of computation. The notion of quasi-real-time is introduced. It is an adaptation of the time warp mechanism that forms a single concept under which a wide range of distributed computing functions can be unified, such as transaction management, version and history management, and interactive collaboration.

关键词： Computer Software

来源：评论

学校读者我要写书评

暂无评论

An approach for self-reconfiguring and fault-tolerant distributed real-time systems

An approach for self-reconfiguring and fault-tolerant distri...

引用

作者： Klobedanz, Kay Mueller, Wolfgang Rettberg, Achim University of Paderborn/C-LAB Faculty of Electrical Engineering Computer Science and Mathematics 33102 Paderborn Germany Carl Von Ossietzky University Oldenburg Faculty II Department Computer Science 26129 Oldenburg Germany

ISBN: (纸本)9780769546698

In this paper we present an approach for the self reconfiguration of distributed micro-controllers for increased fault tolerance. Based on a modified distributed system topology utilizing a time division multiple access (TDMA) protocol, i.e., Flex Ray, we present a self-organized distributed coordinator concept which performs the self-reconfiguration in the case of node failures. We introduce a distributed coordinator, which utilizes redundant slots in the Flex Ray communication schedule and combines messages in configured protocol frames and slots to avoid a complete bus restart. As such, the self-reconfiguration is realized by means of predetermined information about resulting changes in the communication dependencies and (re-)assignments determined in the design phase. To retrieve the necessary information, we present an analytical approach, which determines a combined solution for the initial configuration and all possible reconfigurations for the remaining nodes of the Flex Ray network in case of node failures. Hence, through this method we can design self-reconfiguring network-based systems enabling the handling of node failures for an increased fault tolerance. © 2012 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the IEEE international symposium on High Performance distributed computing

Proceedings of the IEEE International Symposium on High Perf...

引用

11th IEEE international symposium on High Performance distributed computing, HPDC 2002

ISBN: (纸本)0769516866

The proceedings contain 54 papers. The topics discussed include: flexibility, manageability and performance in a grid storage appliance;distributed computing with load-managed active storage;a decentralized, adaptive replica location mechanism;adaptive timeout discovery using the network weather service;dynamic right-sizing in FTP (drsFTP): enhancing grid performance in user-space;QoS-based resource discovery in intermittently available environments;a scalable QoS-aware service aggregation model for peer-to-peer computing grids;interactive and descriptor-based deployment of object-oriented grid applications;partitionable services: a framework for seamlessly adapting distributed applications to heterogeneous environments;using kernel couplings to predict parallel application performance;using semantic information to guide efficient parallel I/O on clusters;backtracking and re-execution in the automatic debugging of parallelized programs;and leveraging run time knowledge about event rates to improve memory utilization in wide area data stream filtering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Dependable and secure TMO scheme

Dependable and secure TMO scheme

引用

international symposium on object-oriented real-time distributed computing

作者： Jungin Kim B. Thuraisingham Department of Computer Science University of Texas Dallas USA

In a real-time distributed computing environment, security is critical to protect the system from unauthorized access especially since such systems are being used in time critical applications. Access control mechanisms have been introduced during the last several decades and have offered a basic and powerful means for enforcing security. In this paper, we examine the concepts of the TMO (time triggered message triggered object) scheme that provides guaranteed real-time services in a distributed object computing environment. We also examine access control mechanisms; such as the traditional model, the RBAC (role-based access control) model and the UCON (usage control) model. The main contribution of this paper is applying the traditional, RBAC and UCON models to the TMO scheme in order to provide a secure real-time distributed environment

关键词： real time systems Access control distributed computing Information security Data security Military computing Computer science Power system security Intelligent transportation systems Computer crime

来源：评论

学校读者我要写书评

暂无评论

Memory Management for real-time Java: State of the Art

Memory Management for Real-Time Java: State of the Art

引用

international symposium on object-oriented real-time distributed computing

作者： Filip Pizlo Jan Vitek Purdue University USA

ISBN: (纸本)9780769531328

The real-time specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps the Java garbage collector. While scoped memory succeeds in protecting real-time tasks from execution time jitter, practical experience points to shortcomings. This paper takes stock of the state of the art in memory management for RTSJ programs.

关键词： Memory management Java Programming profession object oriented modeling real time systems Application software Safety Productivity Protection Runtime

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共143页 << < 47 48 49 50 51 52 53 54 55 56 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：