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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

852 篇 会议
791 篇 期刊文献
14 册 图书

馆藏范围

1,657 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

969 篇 工学
- 584 篇 计算机科学与技术...
- 430 篇 软件工程
- 248 篇 信息与通信工程
- 227 篇 电气工程
- 175 篇 电子科学与技术（可...
- 144 篇 控制科学与工程
- 92 篇 光学工程
- 82 篇 生物工程
- 64 篇 生物医学工程（可授...
- 62 篇 材料科学与工程（可...
- 59 篇 化学工程与技术
- 58 篇 机械工程
- 54 篇 仪器科学与技术
- 52 篇 动力工程及工程热...
- 32 篇 航空宇航科学与技...
- 24 篇 安全科学与工程
- 24 篇 网络空间安全
648 篇 理学
- 298 篇 数学
- 277 篇 物理学
- 100 篇 统计学（可授理学、...
- 98 篇 生物学
- 76 篇 化学
- 53 篇 系统科学
- 28 篇 地球物理学
183 篇 管理学
- 133 篇 管理科学与工程(可...
- 73 篇 工商管理
- 52 篇 图书情报与档案管...
64 篇 医学
- 55 篇 临床医学
- 49 篇 基础医学(可授医学...
25 篇 法学
17 篇 经济学
12 篇 农学
9 篇 教育学
4 篇 军事学

主题

120 篇 real time system...
109 篇 laboratories
63 篇 control systems
58 篇 application soft...
53 篇 processor schedu...
53 篇 delay
48 篇 computer archite...
47 篇 distributed comp...
41 篇 hardware
40 篇 power systems
39 篇 computational mo...
38 篇 computer science
36 篇 fault tolerance
34 篇 timing
31 篇 neural networks
29 篇 scheduling algor...
29 篇 particle swarm o...
26 篇 protocols
25 篇 resource managem...
25 篇 artificial intel...

机构

94 篇 real-time comput...
33 篇 department of ph...
33 篇 faculty of scien...
33 篇 departamento de ...
33 篇 department for p...
33 篇 department of ph...
33 篇 dipartimento di ...
33 篇 yerevan physics ...
33 篇 institute of phy...
33 篇 institute of phy...
32 篇 lehrstuhl für ex...
32 篇 west university ...
32 篇 kirchhoff-instit...
32 篇 graduate school ...
32 篇 tomsk state univ...
31 篇 department of mo...
31 篇 research center ...
31 篇 fakultät für phy...
30 篇 faculté des scie...
30 篇 department of ph...

作者

106 篇 k.g. shin
54 篇 ganesh k. venaya...
37 篇 niyato dusit
29 篇 venayagamoorthy ...
29 篇 shin kang g.
25 篇 f. buehrer
25 篇 m. khader
25 篇 a. t. law
25 篇 c. alexa
25 篇 j. d. mansour
25 篇 j. m. izen
25 篇 s. veneziano
25 篇 d. di valentino
25 篇 g. bella
25 篇 j. strandberg
25 篇 d. calvet
25 篇 c. amelung
25 篇 a. grummer
25 篇 k. j. r. cormier
25 篇 n. orlando

语言

1,526 篇 英文
114 篇 其他
17 篇 中文

检索条件"机构=Real Time Computing Laboratory Department of Electrical Engineering and Computer Science"

共 1657 条记录，以下是1371-1380 订阅

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

详细简洁

排序：

Building dependable distributed applications using AQUA 4

Building dependable distributed applications using AQUA

引用

4th IEEE International Symposium on High-Assurance Systems engineering, HASE 1999

作者： Ren, Jennifer Cukier, Michel Rubel, Paul Sanders, William H. Bakken, David E. Karr, David A. Center for Reliable and High-Performance Computing Coordinated Science Laboratory Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign UrbanaIL61801 United States BBN Technologies CambridgeMA02138 United States

ISBN: (纸本)0769504183

Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having to provide fault tolerance at the application level, in addition to dealing with the complexities of the distributed application itself. This approach requires a deep knowledge of fault tolerance on the part of the application designer, and has a high implementation cost. What is needed is a systematic approach to providing dependability to distributed applications. Proteus, part of the AQuA architecture, fills this need and provides facilities to make a standard distributed CORBA application dependable, with minimal changes to an application. Furthermore, it permits applications to specify, either directly or via the Quality Objects (QuO) infrastructure, the level of dependability they expect of a remote object, and will attempt to configure the system to achieve the requested dependability level. Our previous papers have focused on the architecture and implementation of Proteus. This paper describes how to construct dependable applications using the AQuA architecture, by describing the interface that a programmer is presented with and the graphical monitoring facilities that it provides. © 2017 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Proteus: A flexible infrastructure to implement adaptive fault tolerance in AQuA 7

Proteus: A flexible infrastructure to implement adaptive fau...

引用

7th IFIP International Working Conference on Dependable computing for Critical Applications, DCCA 1999

作者： Sabnis, Chetan Cukier, Michel Ren, Jennifer Rubel, Paul Sanders, William H. Bakken, David E. Karr, David A. Center for Reliable and High-Performance Computing Coordinated Science Laboratory Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign UrbanaIL61801 United States BBN Technologies CambridgeMA02138 United States

ISBN: (纸本)0769502849

Building dependable distributed systems from commercial off-the-shelf components is of growing practical importance. For both cost and production reasons, there is interest in approaches and architectures that facilitate building such systems. The AQuA architecture is one such approach;its goal is to provide adaptive fault tolerance to CORBA applications by replicating objects, providing a high-level method for applications to specify their desired dependability, and providing a dependability manager that attempts to reconfigure a system at runtime so that dependability requests are satisfied. This paper describes how dependability is provided in AQuA. In particular it describes Proteus, the part of AQuA that dynamically manages replicated distributed objects to make them dependable. Given a dependability request, Proteus chooses a fault tolerance approach and reconfigures the system to try to meet the request. The infrastructure of Proteus is described in this paper, along with its use in implementing active replication and a simple dependability policy. © 1999 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Loop-free asynchronous data sharing in multiprocessor real-time systems based on timing properties

Loop-free asynchronous data sharing in multiprocessor real-t...

引用

IEEE International Conference on Embedded and real-time computing Systems and Applications (RTCSA)

作者： J. Chen A. Burns Department of Electrical Engineering National Cheng Kung University Tainan Taiwan Real-Time Systems Research Group Department of Computer Science University of York York UK

The paper presents a timing based approach to implementing fully asynchronous reader/writer mechanisms which addresses the problems of priority inversion and blocking among tasks within multiprocessor real time systems. The approach associates a sequential circular buffer data sharing algorithm, which, although being lock-free and loop-free, is vulnerable to some timing subtlety, with necessary feasibility conditions and a configuring mechanism. Both the feasibility conditions and the configuring mechanism are constructed through analyzing the timing properties of relevant tasks. The feasibility conditions are employed to verify the safety property against a given implementation of the data sharing algorithm while the configuring mechanism helps configure the buffer holding the shared data objects. Applying this timing based approach to the asynchronous data sharing problem has the advantage that sequential data sharing mechanisms may be adapted to help remove priority inversion and blocking incurred by the commonly used lock based synchronization mechanism. Therefore, it demonstrates an effective alternative to the traditional algorithm based approaches.

关键词： real time systems Timing Mechanical factors Processor scheduling Cities and towns Safety Parallel processing Councils Contracts computer science

来源：评论

学校读者我要写书评

暂无评论

Trajectory morphing applied to epitaxial thin film growth

Trajectory morphing applied to epitaxial thin film growth

引用

American Control Conference (ACC)

作者： A.P. Engelmann D.G. Meyer J. Hauser R. Caflisch Nonlinear and Real-Time Control Laboratory Department of Electrical and Computer Engineering University of Colorado Boulder CO USA Mathematics Department University of California Los Angeles CA USA

Several recent developments have made it possible to begin exploring in formal ways the trajectory space of epitaxial growth during molecular beam epitaxy. This paper reviews the fundamentals of trajectory morphing and presents results showing that trajectory morphing may be used to explore the trajectory space of an epitaxial thin film growth system. We have derived a simplified growth model, suitable for use in morphing, and this is also presented. are reviewed.

关键词： Transistors Semiconductor process modeling Semiconductor thin films Molecular beam epitaxial growth Atomic layer deposition Space exploration Epitaxial growth Semiconductor materials Temperature Substrates

来源：评论

学校读者我要写书评

暂无评论

The use of task graphs for modeling complex system behavior

The use of task graphs for modeling complex system behavior

引用

International Symposium on Object-Oriented real-time Distributed computing

作者： A. Silberman A.D. Stoyen K. Sundaram Real-Time Computing Laboratory New Jersey Institute of Technology University Heights Newark NJ Center for Management of Information Technology and Department of Computer Science College of Information Science & Technology University of Nebraska at Omaha Nebraska Computer Associates

Task graphs have been used for the specification and analysis of real time systems for some time. We are currently developing a mobile code management system that uses such a representation for specification, analysis, and execution time scheduling, dispatch, and resource allocation decisions. We describe our three level limited hierarchical task graph model. We discuss graph topology, the use of task graphs for both specification and description, and planned software engineering tools that will take advantage of our model. We concentrate on the use of task graphs to model iteration, branching structures, optional execution, and parallelism within a function execution.

关键词： electrical capacitance tomography computer science computer languages Java Information retrieval Spatial databases Data engineering Relational databases Flow graphs Data analysis

来源：评论

学校读者我要写书评

暂无评论

Experience with porting a Unix version CASE tool to the corresponding Java version

Experience with porting a Unix version CASE tool to the corr...

引用

Asia-Pacific Conference on Software engineering

作者： Taegyun Kim Gyusang Shin Euyseok Hong Department of Computer Engineering Pusan University of Foreign Studies busan South Korea Real-Time Computing Department ETRI Computer and Software Technology Laboratory Taejon South Korea Department of Image Processing Anyang University Anyang South Korea

The paper presents similarity in the design and the implementation of a computer aided software engineering (CASE) tool developed on two platforms. OODesigner is a tool that was initially developed to support the Object Modeling Technique (OMT). An initial Unix version was developed in 1994. In 1997, after the completion of the Unix version, we began developing a Java version to support Unified Modeling Language (UML). The development of a CASE tool is a typical application of the Model-View-Controller (MVC) paradigm. Thus, we observed a common design pattern among the versions in the MVC points of view. This design similarity can be used to develop several kinds of CASE tools with the corresponding design notations. We present the process we followed to develop the two versions and we discuss the similarity found between them. We also outline a generic architecture for the design and implementation of CASE tools.

关键词： computer aided software engineering Java Unified modeling language Software engineering History Image processing Design engineering computer architecture Software tools Research and development

来源：评论

学校读者我要写书评

暂无评论

Task graphs for mobile code-an introduction to ITGS

Task graphs for mobile code-an introduction to ITGS

引用

International Workshop on Object Orientation in Operating Systems

作者： Silberman Stoyen Real-Time Computing Laboratory New Jersey Institute of Technology Newark NJ USA Center for Management of Information Technology and Department of Computer Science College of Information Science & Technology University of Nebraska Omaha NE USA

We present ITGS, the Integrated Task Graph System. ITGS is a combined specification and analysis system for the design of complex real-time system, in particular those involving mobile code. ITGS data structures and analysis algorithms will be used throughout a systems design cycle. In addition, ITGS will either contain or interface with CASE tools and a run-time system or systems in order to provide "cradle-to-grave" support based upon the task-graph model.

关键词： Software requirements and specifications

来源：评论

学校读者我要写书评

暂无评论

Integrated frameworks for multi-level and multi-formalism modeling

Integrated frameworks for multi-level and multi-formalism mo...

引用

International Workshop on Petri Nets and Performance Models (PNPM)

作者： W.H. Sanders Center for Reliable and High-Performance Computing Coordinated Science Laboratory and Department of Electrical and Computer Engineering University of Illinois Urbana IL USA

There have been significant advances in methods for specifying and solving models that aim to predict the performance and dependability of computer systems and networks. At the same time, however, there have been dramatic increases in the complexity of the systems whose performance and dependability must be evaluated, and considerable increases in the expectations of analysts that use performance/dependability evaluation tools. This paper briefly reviews the progress that has been made in the development of performance/dependability evaluation tools, and argues that the next important step is the creation of modeling frameworks and software environments that support multi-level, multi-formalism modeling and multiple solution methods within a single integrated framework. In addition, this paper presents an overview of the Mobius project, which aims to provide a modeling framework and software environment that support multiple modeling formalisms, methods for model composition and connection, and a way to integrate multiple analytical/numerical- and simulation-based model solution methods. Finally, it suggests research that must take place to make this aim a reality, and thus facilitate the performance and dependability evaluation of complex computer systems and networks.

关键词： Hardware Application software Software tools Stochastic processes Petri nets Contracts Satellites Costs Computational modeling Analytical models

来源：评论

学校读者我要写书评

暂无评论

Fault injection based on a partial view of the global state of a distributed system

Fault injection based on a partial view of the global state ...

引用

Reliable Distributed Systems

作者： M. Cukier R. Chandra D. Henke J. Pistole W.H. Sanders Center for Reliable and High-Performance Computing Coordinated Science Laboratory and Department of Electrical and Computer Engineering University of Illinois Urbana-Champaign Urbana IL USA

This paper describes the basis for and preliminary implementation of a new fault injector, called Loki, developed specifically for distributed systems. Loki addresses issues related to injecting correlated faults in distributed systems. In Loki, fault injection is performed based on a partial view of the global state of an application. In particular, facilities are provided to pass user-specified state information between nodes to provide a partial view of the global state in order to try to inject complex faults successfully. A post-runtime analysis, using an off-line clock synchronization and a bounding technique, is used to place events and injections on a single global time-line and determine whether the intended faults were properly injected. Finally, observations containing successful fault injections are used to estimate specified dependability measures. In addition to describing the details of our new approach, we present experimental results obtained from a preliminary implementation in order to illustrate Loki's ability to inject complex faults predictably.

关键词： Control systems Contracts Distributed computing Protocols Visualization Performance evaluation Writing

来源：评论

学校读者我要写书评

暂无评论

From computing with numbers to computing with words. manipulation of measurements to manipulation of perceptions

From computing with numbers to computing with words. manipul...

引用

Proceedings of the International Conference on Intelligent Processing and Manufacturing of Materials, IPMM

作者： L.A. Zadeh Professor in the Graduate School and Director Berkeley Initiative in Soft Computing (BISC) Computer Science Division and the Electronics Research Laboratory Department of Electrical Engineering and Computer Science University of California Berkeley CA USA

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共166页 << < 134 135 136 137 138 139 140 141 142 143 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：