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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

544 篇 会议
28 篇 期刊文献
16 册 图书

馆藏范围

588 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

415 篇 工学
- 360 篇 计算机科学与技术...
- 303 篇 软件工程
- 44 篇 电气工程
- 41 篇 信息与通信工程
- 34 篇 控制科学与工程
- 16 篇 电子科学与技术（可...
- 14 篇 机械工程
- 8 篇 建筑学
- 8 篇 安全科学与工程
- 7 篇 动力工程及工程热...
- 6 篇 力学（可授工学、理...
- 6 篇 材料科学与工程（可...
- 5 篇 仪器科学与技术
- 4 篇 光学工程
- 4 篇 环境科学与工程（可...
- 4 篇 生物工程
- 3 篇 化学工程与技术
110 篇 理学
- 76 篇 数学
- 15 篇 系统科学
- 12 篇 化学
- 11 篇 物理学
- 8 篇 生物学
- 7 篇 统计学（可授理学、...
68 篇 管理学
- 49 篇 管理科学与工程(可...
- 24 篇 图书情报与档案管...
- 23 篇 工商管理
10 篇 教育学
- 10 篇 教育学
6 篇 经济学
- 6 篇 应用经济学
6 篇 法学
- 6 篇 社会学
4 篇 医学
- 4 篇 临床医学
1 篇 历史学
1 篇 农学
1 篇 艺术学

主题

46 篇 software enginee...
26 篇 distributed comp...
20 篇 application soft...
19 篇 distributed comp...
16 篇 parallel program...
16 篇 software design
15 篇 parallel process...
14 篇 parallel process...
13 篇 concurrent compu...
11 篇 computer communi...
11 篇 computer aided s...
11 篇 software
10 篇 message passing
10 篇 computational mo...
8 篇 information syst...
8 篇 object oriented ...
8 篇 computer network...
7 篇 parallel algorit...
7 篇 computer archite...
7 篇 grid computing

机构

4 篇 rwth aachen univ...
4 篇 universidad carl...
3 篇 vienna universit...
3 篇 tennessee tech u...
3 篇 inria rennes
3 篇 inria rennes - b...
3 篇 tu vienna austri...
3 篇 university magna...
2 篇 universitat jaum...
2 篇 imdea software i...
2 篇 duke univ durham...
2 篇 parallel and dis...
2 篇 department of so...
2 篇 university of na...
2 篇 academic compute...
2 篇 universitat poli...
2 篇 specification of...
2 篇 ibm haifa resear...
2 篇 capgemini munich
2 篇 tu münchen garch...

作者

4 篇 michael alexande...
4 篇 alexandru costan
4 篇 vittorio scarano
4 篇 stephen l. scott
4 篇 laura ricci
3 篇 pflüger dirk
3 篇 dustdar schahram
3 篇 hochstein lorin
3 篇 gabor kecskemeti
3 篇 mario cannataro
3 篇 siegfried benkne...
3 篇 sascha hunold
3 篇 stefan lankes
3 篇 damian daniela
2 篇 parashar m
2 篇 paasivaara maria
2 篇 wang lei
2 篇 marta garcia-gas...
2 篇 sarah neuwirth
2 篇 morris k.

语言

585 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=2nd International Workshop on Software Engineering for Parallel and Distributed Systems"

共 588 条记录，以下是471-480 订阅

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

详细简洁

排序：

Formalizing a design technique for distributed programs

Formalizing a design technique for distributed programs

引用

IEEE international workshop on software engineering for parallel and distributed systems

作者： M. Polman M. van Steen A. de Bruin Erasmus University Rotterdam Netherlands Vrije Universiteit Amsterdam Netherlands

ADL-d is a graphical design technique for parallel and distributed software, in which communication modeling plays a central part. Recently the authors have used formal methods to define ADL-d's semantics. The original objective was to provide well-defined guidelines for future implementations of ADL-d's communication constructs, but, as it turned out, significant feedback resulted to the notation itself. They give an outline of the ADL-d notation and its intuitive semantics. They also introduce the formal semantics, and discuss what impact this formalization has had on the original notation.

关键词： Guidelines Feedback Hardware distributed computing Application software Message passing Communication channels

来源：评论

学校读者我要写书评

暂无评论

Scenario-based hypersequential programming: concept and example

Scenario-based hypersequential programming: concept and exam...

引用

IEEE international workshop on software engineering for parallel and distributed systems

作者： N. Uchihira H. Kawata Systems & Software Research Laboratories Toshiba Corporation Kawasaki Japan

Hypersequential programming is a new paradigm of concurrent programming in which the original concurrent program is first serialized, then tested and debugged as a sequential program, and finally restored into the target concurrent program by parallelization. Both high productivity and reliability are achieved by hypersequential programming because testing and debugging are done for the serialized version and correctness of the serialized program is preserved during subsequent parallelization. This paper proposes a practical embodiment of hypersequential programming based on a sequential execution history, called a scenario, and explains how it works using a simple example.

关键词： Sequential analysis History Programming profession parallel programming Concrete software debugging software systems Laboratories software testing System testing

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Complexity and performance in parallel programming languages

Complexity and performance in parallel programming languages

引用

Proceedings of 1997 2nd international workshop on High-Level Programming Models and Supportive Environments

作者： VanderWiel, Steven P. Nathanson, Daphna Lilja, David J. Univ of Minnesota Minneapolis United States

Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often point out various language features that are designed to provide the programmer with a simple programming interface. However, virtually no data exists that quantitatively evaluates the relative ease of use of different parallel programming languages. The following paper borrows techniques from the software engineering field to quantify the complexity of three predominate programming models: shared memory, message passing and High-Performance Fortran. It is concluded that traditional software complexity metrics are effective indicators of the relative complexity of parallel programming languages. The impact of complexity on run-time performance is also discussed in the context of message-passing versus HPF on an IBM SP2.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共59页 << < 44 45 46 47 48 49 50 51 52 53 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：