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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

900 篇 会议
22 册 图书
22 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

356 篇 工学
- 335 篇 计算机科学与技术...
- 255 篇 软件工程
- 50 篇 信息与通信工程
- 34 篇 电气工程
- 32 篇 控制科学与工程
- 23 篇 电子科学与技术（可...
- 14 篇 网络空间安全
- 10 篇 动力工程及工程热...
- 7 篇 机械工程
- 5 篇 交通运输工程
- 5 篇 生物工程
- 5 篇 安全科学与工程
- 4 篇 力学（可授工学、理...
- 4 篇 材料科学与工程（可...
- 4 篇 化学工程与技术
- 4 篇 环境科学与工程（可...
- 4 篇 生物医学工程（可授...
- 3 篇 建筑学
93 篇 理学
- 65 篇 数学
- 19 篇 系统科学
- 8 篇 统计学（可授理学、...
- 7 篇 物理学
- 7 篇 生物学
- 4 篇 化学
87 篇 管理学
- 71 篇 管理科学与工程(可...
- 31 篇 工商管理
- 17 篇 图书情报与档案管...
5 篇 法学
- 5 篇 社会学
4 篇 教育学
- 4 篇 教育学
3 篇 经济学
- 3 篇 应用经济学
3 篇 医学

主题

267 篇 application soft...
123 篇 computer science
114 篇 hardware
102 篇 concurrent compu...
99 篇 distributed comp...
84 篇 computer archite...
77 篇 parallel process...
59 篇 computer network...
58 篇 computational mo...
56 篇 processor schedu...
54 篇 delay
53 篇 software enginee...
51 篇 resource managem...
51 篇 large-scale syst...
50 篇 costs
48 篇 runtime
48 篇 real time system...
42 篇 software systems
41 篇 operating system...
40 篇 parallel program...

机构

8 篇 ibm thomas j. wa...
5 篇 school of electr...
5 篇 school of comput...
5 篇 department of co...
5 篇 department of co...
4 篇 software school ...
4 篇 department of co...
4 篇 department of el...
4 篇 institute of com...
4 篇 department of co...
3 篇 department of en...
3 篇 department of el...
3 篇 cncert/cc
3 篇 research centre ...
3 篇 department of el...
3 篇 school of electr...
3 篇 department of el...
3 篇 department of el...
3 篇 school of softwa...
3 篇 institute for pa...

作者

7 篇 l.r. welch
6 篇 m. parashar
6 篇 gao guang r.
5 篇 h. casanova
5 篇 jack dongarra
5 篇 zimeo eugenio
5 篇 hong jiang
5 篇 s. hariri
5 篇 wei-keng liao
4 篇 j.-l. gaudiot
4 篇 suzhen wu
4 篇 b. pfarr
4 篇 m. kandemir
4 篇 g.r. gao
4 篇 alok choudhary
4 篇 l. welch
4 篇 p. sobe
4 篇 bo mao
4 篇 wentong cai
4 篇 minyi guo

语言

935 篇 英文
8 篇 其他
1 篇 中文

检索条件"任意字段=PDSE 2000: International Symposium on Software Engineering for Parallel and Distributed Systems"

共 944 条记录，以下是731-740 订阅

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

详细简洁

排序：

Application challenges: System health management for complex systems

Application challenges: System health management for complex...

引用

IEEE international parallel and distributed Processing symposium, IPDPS 2000

作者： Hadden, George D. Bergstrom, Peter Samad, Tariq Bennett, Bonnie Holte Vachtsevanos, George J. Van Dyke, Joe Honeywell Technology Center 3660 Technology Drive MinneapolisMN55418 United States Knowledge Partners of Minnesota Inc 9 Salem Lane Suite 100 St. PaulMN55118-4700 United States The Georgia Institute of Technology School of Electrical and Computer Engineering AtlantaGA30332-0250 United States Systems Analysis and Software Engineering 253 Winslow Way West Bainbridge IslandWA98110 United States

ISBN: (纸本)354067442X

System Health Management (SHM) is an example of the types of challenging applications facing embedding high-performance computing environments. SHM systems monitor real-time sensors to determine system health and performance. Performance, economics, and safety are all at stake in SHM, and the emphasis on health management technology is motivated by all these considerations. This paper describes a project focusing on condition-based maintenance (CBM) for naval ships. Condition-based maintenance refers to the identification of maintenance needs based on current operational conditions. In this project, system architectures and diagnostic and prognostic algorithms are being developed that can efficiently undertake real-time data analysis from appropriately instrumented machinery aboard naval ships and, based on the analysis, provide feedback to human users regarding the state of the machinery – such as its expected time to failure, the criticality of the equipment for current operation. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Machinery

来源：评论

学校读者我要写书评

暂无评论

Scalability issues in CORBA

Scalability issues in CORBA

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： Manjula Rani Vijay Srinivas Janaki Ram Distributed Object Systems Lab Department of Computer Science & Engg Indian Institute of Technology Chennai India

Scalability is recognised as a primary factor to be considered in the design of distributed systems. The scalability of object-oriented middleware CORBA is becoming a major concern as it has emerged as a standard architecture for distributed object computing. In this paper, a systematic scalability analysis of the basic components of the CORBA specification is attempted. From this analysis, the Portable Object Adapter (POA) and the Implementation Repository (IR) are identified to influence the scale of a CORBA-based system. The specification of the POA provides enough feasibility for the application designer to handle scalability. The existing implementations of IR have a tradeoff between scalability and object migration. A scalable design of the IR is proposed which allows individual objects to migrate without compromising scalability. A performance comparison of the proposed model with existing IR designs is made using a simulation study.

关键词： Client-server systems

来源：评论

学校读者我要写书评

暂无评论

HERCULE: monitoring component-based application activity and enabling post-implementation tailoring of feedback

HERCULE: monitoring component-based application activity and...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： Renaud Department of Computing Science University of Glasgow Glasgow UK

This paper presents a novel approach to monitoring end-user application activity in a distributed, component-based application. Such monitoring can support the visualisation of user and application activity, system auditing, monitoring of system performance, and the provision of feedback. A framework is provided which, by means of reflection, allows the insertion of proxies into a three-tier component-based system. Proxies are inserted dynamically in between the user and the graphical user-interface and between the client application and the rest of the distributed, component-based system. The paper describes how the monitoring is effected, how information produced by this monitoring can be used to provide a visualisation of application activity, and how this mechanism enables the enhancement and tailoring of feedback throughout the software development life cycle. The viability of this approach is demonstrated by means of a prototype implementation.

关键词： software reusability

来源：评论

学校读者我要写书评

暂无评论

Performance debugging of parallel and distributed embedded systems

Performance debugging of parallel and distributed embedded s...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： Suarez Garcia Area de Arquitecturay Tecnología de Computadores Departamento de Informtica Campus de Viesques s n Universidad de Oviedo Gijon Spain

Validation, a crucial stage in the development cycle of embedded systems, is normally carried out using static analysis based on scheduling techniques. In high performance embedded systems, where several tasks with high computing requirements are working on input and output signals with high sampling rates, parallel and distributed processing is a valuable design alternative in order for the system to achieve the fulfillment of its real-time constraints. When the validation of parallel and distributed embedded systems is considered, many simplifications are made in order to make analysis tractable. This means that even if the system can be statically validated, the real behaviour of the system in execution may be different enough from its theoretical behaviour to make it invalid. Thus, conservative designs that lead to over-dimensioned systems with partially wasted resources are commonly adopted. Although static analysis is the only alternative in case of critical embedded systems, where the fulfillment must be always guaranteed, dynamic analysis, based on measurement, is an interesting alternative for validation of non-critical embedded systems. This paper describes a methodology for performance debugging of parallel and distributed embedded systems with non-critical end-to-end deadlines. The methodology is based on the measurement of a prototype of the system in execution and is supported by a behavioural model.

关键词： software debugging

来源：评论

学校读者我要写书评

暂无评论

A principled approach to supporting adaptation in distributed mobile environments

A principled approach to supporting adaptation in distribute...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： Blair Coulson Andersen Clarke Costa Duran Parlavantzas Saikoski University of Tromsø Norway Distributed Multimedia Research Group Department of Computing Lancaster University Lancaster UK

To support multimedia applications in mobile environments, it is necessary for applications to be aware of the underlying environmental conditions, and also to be able to adapt their behaviour and that of the underlying platform as such conditions change. Many existing distributed systems platforms support such adaptation only in a rather ad-hoc manner. This paper presents a principled approach to supporting adaptation through the use of reflection. More specifically, the paper introduces a language-independent, component-based reflective architecture featuring a per-component meta-space, the use of meta-models to structure the meta-space, and a consistent use of component graphs to represent composite components. The paper also reports on a quality-of-service management framework, providing sophisticated support for monitoring and adaptation functions. Finally, the paper describes a prototype implementation of this architecture using the object-oriented programming language Python.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Advances in Artificial Intelligence - international Joint Conference 7th Ibero-American Conference on AI, 15th Brazilian symposium on AI, IBERAMIA-SBIA 2000, Proceedings

Advances in Artificial Intelligence - International Joint Co...

引用

international Joint Conference 7th Ibero-American Conference on AI, 15th Brazilian symposium on AI, IBERAMIA-SBIA 2000

ISBN: (纸本)354041276X

The proceedings contain 49 papers. The topics discussed include: decision-rule solutions for data mining with missing values;getting computer systems to function as team players;case-based management of software engineering experience;handling cases and the coverage in a limited quantity of memory for case-based planning systems;integrating rules and cases in learning via case explanation and paradigm shift;personals: an intelligent agent for searching web pages;ELOPES - the java embedded object production system;global and local search for scheduling job shop with parallel machines;knowledge-based interactive scheduling of multipoint batch plants;petrolia: a new algorithm for plan generation;using and evaluating adaptive agents for electronic commerce negotiation;representing operational knowledge by contextual graphics;and a new distributed reinforcement learning algorithm for multiple objective optimization problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Specifying and verifying reconfigurable software architectures

Specifying and verifying reconfigurable software architectur...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： de Paula Justo Cunha Department of Informatics Federal University of Rio Grande do Norte Natal Brazil Cavendish School of Computer Science University of Westminster London UK Department of Informatics Federal University of Pernambuco (UFPE) Recife Brazil

The concept of software architecture (also called system structure or system configuration) is especially important in the design of complex software systems, providing a model of the large-scale structural properties of systems. Module interconnection languages (MILs) introduce the idea of creating program modules and connecting them to form larger structures. However, MILs do not support the description of important architectural elements. A new class of description languages, referred to as architectural description languages (ADLs), have recently emerged. Most ADLs, however, support only the description of static software architectures and not dynamic or reconfigurable software architectures. A further limitation of current ADLs is that they focus mainly on the formal notation and usually do not offer proof systems and tools to enable designers to formably verify the properties of their designs. We have developed the ZCL framework, which is a formal framework, specified in Z, to describe and reason about dynamic distributed software architectures. In this paper, we use a simple case study-the client-server system-to demonstrate how our formal framework ZCL can be used to specify and verify reconfigurable software architectures.

关键词： Reconfigurable architectures

来源：评论

学校读者我要写书评

暂无评论

Filtering and scalability in the ECO distributed event model

Filtering and scalability in the ECO distributed event model

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： Haahr Meier Nixon Cahill Jul Distributed Systems GroupDepartment of Computer Science Trinity College Dublin Ireland Distributed Systems Laboratory Department of Computer Science University of Copenhagen Denmark

Event-based communication is useful in many application domains, ranging from small centralised applications to large distributed systems. Many different event models have been developed to address the requirements of different application domains. One such model is the ECO (events, constraints, objects) model, which was designed to support distributed virtual world applications. Like many other event models, ECO has event-filtering capabilities that are meant to improve scalability by decreasing the network traffic in a distributed implementation. Our recent work in event-based systems has included building a fully-distributed version of the ECO model, including event-filtering capabilities. This paper describes the results of our evaluation of filters as a means of achieving increased scalability in the ECO model. The evaluation is empirical, and real data gathered from an actual event-based system is used. The findings show that: (i) filters are highly valuable in making distributed implementations of the model scale, (ii) multicasting contributes to the scalability and, perhaps most significantly, (iii) multicast groups can be dynamically generated from filters using local (per-node) knowledge rather than global knowledge of the distributed application.

关键词： Filters

来源：评论

学校读者我要写书评

暂无评论

Implementation of an intrusion detection system based on mobile agents

Implementation of an intrusion detection system based on mob...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： Bernardes dos Santos Moreira Institute of Engineering and Exact Sciences University of Alfenas Alfenas Minas Gerais Brazil Department of Computation and Statistics USP University of São Paulo Institute of Mathematics and Computer Sciences Sao Paulo Brazil

The number of security-breaking attempts originating inside organizations is increasing steadily. Attacks made in this way, usually done by "authorized" users of the system, cannot be immediately located. As the idea of filtering the traffic at the "entrance door" (by firewalls, for instance) is not completely successful the use of other technologies should be considered to increase the defense capacity of a site. Therefore, the introduction of mobile agents to provide computational security by constantly moving around within the internal infoways of an organization is presented as a natural solution to prevent both external and internal sources of intrusion. This work presents an evaluation of the use of mobile agent mechanisms to add mobility features to the process of monitoring intrusion in computational systems. A modular approach is proposed, where independent small agents will monitor the communication paths. This approach presents significant advantages in terms of minimizing overhead, increasing scalability and flexibility and providing fault tolerance.

关键词： Data security

来源：评论

学校读者我要写书评

暂无评论

Caching single-assignment structures to build a robust fine-grain multi-threading system

Caching single-assignment structures to build a robust fine-...

引用

international symposium on parallel and distributed Processing (IPDPS)

作者： Wen-Yen Lin J.-L. Gaudiot J.N. Amaral G.R. Gao Department of Electrical Engineering-Systems University of Southern California Los Angeles CA USA Department of Electrical and Computer Engineering University of Delaware Newark DE USA

We present the design, implementation, and evaluation of single assignment data structures and of a software controlled cache in an existing multi-threaded architecture platform-the Efficient Architecture for Running Threads (EARTH). The software-controlled cache (ISSC) exploits temporal and spatial locality of EARTH split-phased memory transactions for single-assignment memory references. Our experimental evaluation indicates that the caching mechanism for single-assignment storage makes the EARTH memory system more robust to variations in the latency of memory operations. As a consequence the system can be ported to a wider range of machine platforms and deliver speedup for both regular and irregular application.

关键词： Robustness Yarn Earth Delay Computer architecture Operating systems Application software Multithreading Computer aided instruction Data structures

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共95页 << < 70 71 72 73 74 75 76 77 78 79 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：