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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A performance prototyping approach to designing concurrent software architectures

A performance prototyping approach to designing concurrent s...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： Lei Hu I. Gorton CaST Lab School of Computer Science and Engineering University of New South Wales Kensington NSW Australia

A prototyping approach to evaluating the performance of parallel and distributed software architectures is proposed. The approach utilises conventional object-oriented modelling to describe the system requirements. Alternative architectural approaches are then derived and expressed in the PARSE process graph notation, and performance prototyping and formal validation tools allow various aspects of the proposed solution to be rapidly explored. This paper describes work-in-progress on the HL language and prototyping environment which enables designers to express architectural structures in a simple language, and provides an execution environment which allows the potential performance of the architecture to be investigated. The paper gives an overview of the language and tools, and illustrates its application with an example.

关键词： software prototyping software design software performance Computer architecture Object oriented modeling software architecture Prototypes Formal verification Unified modeling language System recovery

来源：评论

学校读者我要写书评

暂无评论

Prototype-oriented development of high-performance systems

Prototype-oriented development of high-performance systems

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： G.R.R. Justo P. Vekariya T. Delaitre J. Zemerly S. Winter Centre for Parallel Computing University of Westminster London UK

We discuss the problem of developing performance-oriented software and the need for methodologies. We then present the EDPEPPS (Environment for Design and Performance Evaluation of Portable parallel software) approach to the problem of designing and evaluating high-performance (parallel) applications. The EDPEPPS toolset is based on a rapid prototyping philosophy, where the designer synthesises a model of the intended software which may be simulated, and the performance is subsequently analysed using visualisation. The toolset combines a graphical design tool, a simulation facility, and a visualisation tool. The same design is used to produce a code suitable for simulation and real execution.

关键词： Prototypes software prototyping Application software software performance Analytical models Skeleton parallel processing Virtual prototyping Visualization software engineering

来源：评论

学校读者我要写书评

暂无评论

Automatic template generation for solving n/sup 2/-problems on parallel systems with arbitrary topology

Automatic template generation for solving n/sup 2/-problems ...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： T. Lippert P. Palazzari K. Schilling Research Center Jülich and DESY HLRZ Hamburg Germany HPCN Project ENEA Saint Maria di Galeria Italy

The authors consider the automatic generation of parallel templates as basis for the implementation of n/sup 2/-problem solvers on parallel systems. The automatic template generator relies on the embedding of a virtual systolic loop on the given machine's network and optimizes hyper-systolic data communication by means of simulated annealing techniques. They have generated a parallel template to efficiently program an n-body code on the parallel SIMD system Quadrics.

关键词： Signal processing algorithms High performance computing Concurrent computing Network topology Cost function Data communication Annealing parallel processing Commutation Skeleton

来源：评论

学校读者我要写书评

暂无评论

Tolerant (parallel) programming with F-nets and software Cabling

Tolerant (parallel) programming with F-nets and Software Cab...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： D.C. DiNucci NASA Ames Research Center MRJ Technology Solutions Inc. Moffett Field USA

In order to be truly portable, a program must be tolerant of a wide range of development and execution environments, and a parallel program is just one which must be tolerant of a very wide range. First, the term "tolerant programming" is defined. Then, a formal model called F-Nets is described in which parallel algorithms are expressed as folded partial-orderings of operations, and this is argued to provide a suitable framework for building tolerant programs. Finally, software Cabling (SC), a very-high-level graphical programming language, demonstrates how many of the features normally expected from today's computer languages (e.g. data abstraction and data parallelism) can be obtained within the F-Net paradigm.

关键词： parallel programming software engineering Computer languages parallel processing Concurrent computing Space technology NASA parallel algorithms Communication cables parallel machines

来源：评论

学校读者我要写书评

暂无评论

An automated algorithmic recognition technique to support parallel software development

An automated algorithmic recognition technique to support pa...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： B. Di Martino G. Iannello H.P. Zima Dipartimento di Informatica e Sistemistica University of Napoli Federico II Italy Institute of Software Technology and Parallel Systems University of Technology Vienna Austria Technology and Parallel Systems University of Technology Vienna Austria

Techniques for automatic program recognition, at the algorithmic level, could be of great interest in the area of program parallelization, because the selection of suitable parallelization strategies is driven by algorithmic features of the code. A technique for the specification and automatic recognition of algorithmic concepts is presented. Its flexibility and expressivity power for specifying the hierarchy, the constraints and the relationships among concepts allow it to deal with recognition of algorithmic concepts within optimized code, irregular computations, and in the presence of code sharing, delocalization, implementation variations and other problems related to program recognition in the context of the imperative languages typically used for scientific computation.

关键词： software algorithms Programming Libraries Constraint optimization Humans Concrete Data structures Target recognition Runtime Character recognition

来源：评论

学校读者我要写书评

暂无评论

Specifying parallel and distributed systems in Object-Z: the lift case study

Specifying parallel and distributed systems in Object-Z: the...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： Jin Song Dong Lin Zucconi R. Duke Software Engineering Group CSIRO Canberra ACT Australia Software Verification Research Centre Department of Computer Science University of Queensland Brisbane Australia

There has been an increasing emphasis on formality in software system specification in the last few years. A number of standards bodies are recommending the use of formal notations for specifying software systems. parallel and distributed systems have their own complex features such as: the concurrent interactions between various system components; the reactive nature of the systems; various message passing schemes between system components. Object-Z is an extension to the Z language specifically to facilitate specification in an object-oriented style. Because parallel and distributed systems are typically complex systems, the extra structuring afforded by the various Object-Z modelling constructs (i.e. the class, object containment constructs, and various composite operation expressions) enables the various hierarchical relationships and the communication between system components to be succinctly specified. Object-Z history invariants allow system temporal properties to be specified as well. The use of Object-Z in the specification of parallel and distributed systems is demonstrated by presenting a case study based on a multi-lift system. To enhance the understandability of the formal model, OMT notation is used to grasp the static structure of the system, and a finite state machine diagram is used to highlight the system behaviour.

关键词： Computer aided software engineering Object oriented modeling software systems Standards organizations Message passing Automata Power system modeling software engineering Computer science History

来源：评论

学校读者我要写书评

暂无评论

OPENPRESS-open distributed assessment platform for still image compression schemes

OPENPRESS-open distributed assessment platform for still ima...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： P. Pagny M.C. Hohenadel Swiss Center for Scientific Computing Manno Switzerland

Performance comparison between image compression methods is an activity difficult to realise because of the few standard environments for validation. The objective of this paper is to present OPENPRESS as a single open platform for validation allowing the integration of most of the current and future image compression methods, to facilitate their comparison and validation on a common and coherent set of reference images. Another goal of OPENPRESS is to ensure a broad distribution of these compression methods to the potential users. For that purpose, the proposed environment involves advanced computer science techniques like distributed computing, platform-independent software engineering, client/server decomposition, etc.

关键词： Image coding distributed computing Computer networks Testing Computer science Fractals Compression algorithms PSNR Scientific computing Electrostatic precipitators

来源：评论

学校读者我要写书评

暂无评论

Web computing skeleton: a case study

Web computing skeleton: a case study

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： N.B. Serbedzija L. Botha A. Abbott J. Bishop GMD First Berlin Germany Computer Science Department University of Pretoria Pretoria South Africa

An approach to provide a Web-based framework for distributed execution of collaborative applications is presented. The work is a part of a wider on-going project whose aim is to make environmental simulation models publicly available to Internet users. The Web computing skeleton has been constructed from prefabricated Web-enabled components with the ability to open and maintain Web connections and provide collaboration over the Internet. The case study illustrates how a single-user simulation system can be embedded in the skeleton, thus becoming widely available distributed application.

关键词： Skeleton Computer aided software engineering Internet Web server Collaboration Java distributed computing Collaborative work Object oriented modeling Application software

来源：评论

学校读者我要写书评

暂无评论

Designing reusable software components following the CSP distributed programming model

Designing reusable software components following the CSP dis...

引用

IEEE international Workshop on software engineering for parallel and distributed systems

作者： J.M. Mantas A. Palma Dpto. de Lenguajes y Sistemas Informáticos E.T.S. Ingeníeria Informátics Universidad de Granada Granada Spain

The CSP distributed programming model offers formal bases that allow the development of high quality and secure distributed software for multicomputers. However, the model imposes restrictions that make it complicated to reuse software components developed with languages that follow the model. This problem is mainly due to each component in the application interacting with each other according to a static communication channel structure. This fact complicates the reuse of a component in a different context from the original. A methodology for designing distributed software is presented. This methodology allows to build distributed applications in a structured manner by layering instances of highly parameterized components. Also, a notation to describe such components supporting the presented methodology is proposed. This methodology, together with the aforementioned notation, can be easily implemented in any programming language that follows the CSP model.

关键词： software design software reusability Application software parallel programming software quality Concurrent computing Informatics Communication channels Context Design methodology

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 1997 IEEE Conference and Workshop on engineering of Computer-Based systems

Proceedings of the 1997 IEEE Conference and Workshop on Engi...

引用

Proceedings of the 1997 IEEE Conference and Workshop on engineering of Computer-Based systems

The proceedings contains 66 papers. Topics discussed include computer system requirement analysis and specifications, parallel and distributed systems, model based system design, software engineering, computer simulation, object oriented design and development, real time systems and mechatronics, computer based information systems, system design methodologies.

关键词： Computer systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共95页 << < 81 82 83 84 85 86 87 88 89 90 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：