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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

语言

942 篇 英文
1 篇 其他
1 篇 中文

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

共 944 条记录，以下是21-30 订阅

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

详细简洁

排序：

Component-based development and verification of safety critical software for a Brake-by-Wire System with synchronous software components

Component-based development and verification of safety criti...

引用

international symposium on software engineering for parallel and distributed systems

作者： Gunzert, M Nägele, A Univ Stuttgart Inst Ind Automat & Software Engn D-7000 Stuttgart Germany

ISBN: (纸本)0769501915

In this paper we describe the development and verification of software for an automotive Brake-by-Wire System. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered communication architecture. The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure. The software of this computer is subject to a set of safety related requirements which must be verified. We have developed the software using synchronous software components based on the synchronous language ESTEREL. Many safety properties have been verified successfully and the software has been integrated in a prototype Brake-by-Wire system in a research car.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Specifying and analysing distributed object-oriented systems

Specifying and analysing distributed object-oriented systems

引用

1999 international symposium on software engineering for parallel and distributed systems, pdse 1999

作者： Frey, Maximilian Podolsky, Markus Institut für Informatik Technische Universität München MünchenD-80290 Germany

ISBN: (纸本)0769501915

The ability to check whether the modeled system satisfies certain properties is a very important aspect in the software development process. Many object-oriented methods do not pay enough attention to behavioral descriptions. Indeed, they mostly do not provide formally founded descriptions that can be checked an atomatically. This paper presents an integrated approach, consisting of formally founded description techniques, an expressive temporal logic for specifying properties, and a model checking mechanism for automatically checking whether some executions of the specified system satisfy the required properties. © 1999 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

parallel object server as a data repository for CASE tools

Parallel object server as a data repository for CASE tools

引用

international symposium on software engineering for parallel and distributed systems

作者： Kroha, P Lindner, J TU Chemnitz Fac Informat D-09107 Chemnitz Germany

ISBN: (纸本)0769501915

In this paper we investigate features of a parallel object server when used as a data repository in a CASE tool. We argue that hierarchical structures of fine grained objects are typical for data used by CASE tools, we describe the construction of the server;and the implementation of the prototype. The presented results of our experiments concern the question how the speedup depends on the number of processors involved, the number of users working simultaneously and the size of methods in classes.

关键词： server object-oriented parallel processing high performance data repository CASE tool fine grained objects

来源：评论

学校读者我要写书评

暂无评论

Implementation of an intrusion detection system based on mobile agents

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

引用

pdse 2000: international symposium on software engineering for parallel and distributed systems

作者： Bernardes, Mauro Cesar dos Santos Moreira, Edson Univ of Alfenas Alfenas Brazil

The number of security-breaking attempts originated inside the organizations are 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 the computational security by constantly moving around within the internal infoways of an organization is presented as a natural solution to prevent both external and the internal sources of intrusion. This work presents an evaluation of the use of mobile agents 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.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

Specifying and verifying reconfigurable software architectures

Specifying and verifying reconfigurable software architectur...

引用

pdse 2000: international symposium on software engineering for parallel and distributed systems

作者： de Paula, Virginia C. Justo, G.R.Ribeiro Cunha, P.R.F. Federal Univ of Rio Grande do Norte Natal Brazil

The concept of software architecture, also said system structure or system configuration, is especially important to design complex software systems, providing a model of the large scale structural properties of systems. Module interconnection languages (MILs) introduced 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 formally 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.

关键词： Client server computer systems

来源：评论

学校读者我要写书评

暂无评论

Building test cases for use in Hypersequential Programming

Building test cases for use in Hypersequential Programming

引用

international symposium on software engineering for parallel and distributed systems

作者： Rudram, C Croll, P Uchihira, N Univ Sheffield Dept Comp Sci Commun & Distributed Syst Res Grp Sheffield S10 2TN S Yorkshire England

ISBN: (纸本)0769501915

A novel concurrent programming paradigm called "Hypersequential Programming" (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for the serialization of a program. Only those test cases found to be correct are used in the final concurrent program. Therefore, HSP relies on all the functionality being included into a program. This is opposite to traditional software engineering practice, which is to ensure that all unwanted behaviours have been removed. This paper briefly examines the HSP method with reference to test cases and scenarios. We examine a couple of brief examples and discuss the limitations of test cases, with particular respect to HSP. We concluded that finding a method of ensuring the correct set of test cases is used in development is essential to the success of HSP.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Evaluation of a methodology for the reverse engineering and parallelization of sequential code

Evaluation of a methodology for the reverse engineering and ...

引用

1999 international symposium on software engineering for parallel and distributed systems, pdse 1999

作者： Andersen, Per H. Pizzi, Joseph Zhu, Runlin Cao, Youling Bagert, Donald J. Antonio, John K. Lott, Fred Grieger, John C. Department of computer science Texas Tech University LubbockTX79409-3104 United States Phillips Petroleum Company BartlesvilleOK74006 United States

ISBN: (纸本)0769501915

A general methodology based on software engineering principles is proposed for the parallelization of existing sequential code. The utility of the proposed methodology is evaluated through a case study involving a numerically intensive application in the domain of petrochemical exploration. The methodology does not assume the existence of detail design documentation for the sequential code. The methodology involves three basic phases: (1) reverse engineering;(2) parallel design;and (3) parallel implementation. The process iterates between phases two and three until the values of the performance metrics satisfy project requirements. In addition to the methodology itself considerable detail related to the experiences and lessons learned in performing the case study, are included. © 1999 IEEE.

关键词： Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

A case study in object-oriented modeling and design of distributed multimedia applications

A case study in object-oriented modeling and design of distr...

引用

international symposium on software engineering for parallel and distributed systems

作者： Morzenti, A Pradella, M Rossi, M Russo, S Sergio, A Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy

ISBN: (纸本)0769501915

This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong - often conflicting - requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution, high-performance, fault-tolerance, load balancing and security. The development of complex DMAs can benefit from the adoption of object design methods and distributed objects implementation technologies. The paper describes the use of two modeling approaches, based on the standard UML modeling language, and on the TRIO formal specification language, respectively. The problem of defining steps to move from the UML or TRIO specification to a CORBA IDL implementation is addressed too. An experimental distributed Video-on-Demand system is used throughout the paper as a case study.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Formalism for hierarchical mobile agents

Formalism for hierarchical mobile agents

引用

pdse 2000: international symposium on software engineering for parallel and distributed systems

作者： Satoh, Ichiro Ochanomizu Univ Tokyo Japan

This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contributions. One of the contributions can model not only individual mobile agents but also a group of mobile agents because the calculus allows more than one mobile agent to be dynamically organized into a single mobile agent. The other contribution can exactly model many features of actual mobile agents, such as mobility and marshaling, which are often ignored in other existing frameworks but may seriously affect the correctness of mobile agents. To demonstrate the utility of the calculus, we constructed a practical mobile agent system whose agents can be naturally and strictly specified and verified in the calculus. The system also offers a security mechanism for mobile agents by using well-defined properties of the calculus.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

distributed airport simulation using CORBA and DIS

Distributed airport simulation using CORBA and DIS

引用

international symposium on software engineering for parallel and distributed systems

作者： Rackl, G de Stefani, F Héran, F Pasquarelli, A Ludwig, T Tech Univ Munich Inst Informat D-80290 Munich Germany

ISBN: (纸本)0769501915

This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. Starting with an overview of the general simulator architecture, the software modules and the derived hardware architecture of the simulation environment are described with respect to performance requirements. The communication architecture of the SEEDS simulator is based on the OMG's CORBA standard and the DIS simulation protocol. With the SEEDS prototype simulating airport ground-traffic, performance measurements evaluating critical design and implementation decisions are described. The main aspects of the performance analysis are the attained application performance using CORBA and DIS as communication middleware, and the scalability of the overall approach. The evaluation shows the appropriateness of the design of the simulation environment and the derived hard- and software architecture, which is flexible and open to further extensions. Moreover the combination of CORBA and DIS provides a suited platform for distributed interactive simulation purposes because of the adequate performance, high scalability, and the high-level programming model which allows to rapidly develop and maintain complex distributed applications with high-performance requirements.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共95页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：