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

Simulation Winter Conference

作者： Boon Ping Gan P. Lendermann M. Yoke Hean Low S.J. Turner Xiaoguang Wang S.J.E. Taylor D-SIMLAB Programme Singapore Institute of Manufacturing Technology Singapore Singapore Parallel and Distributed Computing Centre Nanyang Technological University Singapore Singapore Centre for Applied Simulation Modeling School of Information Systems Computing and Mathematics Brunei University Uxbridge UK

ISBN: (纸本)9780780395190

The high Level Architecture (HLA) is an IEEE standard for interoperating simulation federates. In this paper, we describe a set of requirements that simulation packages need to satisfy in order to be made interoperable using the HLA standard. AutoSched AP, a commercial off-the-shelf simulation package (CSP) which is widely used in the semiconductor industry, was used as a case study for this interoperation exercise. We demonstrated that a straightforward customization of the CSP through a middleware that provides standard functions for interoperation may not provide a satisfactory solution. A specially optimized time synchronization mechanism needs to be installed to ensure good execution efficiency. Experimental results using a Borderless Fab model that comprises of two factory models show that an optimized time synchronization mechanism results in an execution time that is ten times better than a straightforward application of the HLA runtime infrastructure's time synchronization mechanism.

关键词： Chip scale packaging Business Gallium nitride Standards development Standards organizations Communication standards Computational modeling Semiconductor device packaging Electronics industry Production facilities

来源：评论

学校读者我要写书评

暂无评论

Deadlock-free configuration programming

Deadlock-free configuration programming

引用

Proceedings of International Workshop on Configurable Distributed Systems

作者： G.R.R. Justo P.R.F. Cunha Centre for Parallel Computing University of Westminster London UK Departamento de Informática Universidade Federal de Pernambuco Recife Pernambuco Brazil

The configuration programming approach has been successfully applied to model parallel and distributed systems in terms of their component processes and relationships separated from the functional aspects of the components' behaviour. This approach promotes the construction of modular and flexible systems but the lack of information about the components' behaviour prevents us verifying important properties such as deadlock freedom in the configuration. We propose including certain information about the components' behaviour (especially the communication and synchronisation patterns) in a more refined level of the configuration. The idea is to associate each component with a template which has a well-defined communication and synchronisation structure. With this information, we can define composition rules that guarantee the configuration is deadlock-free by construction without having to inspect the components' states.< >

关键词： System recovery parallel processing parallel programming Topology Dynamic programming Electronic mail Functional programming Modular construction Hardware Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Process/sup NFL/: a language for describing non-functional properties

Process/sup NFL/: a language for describing non-functional p...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： N.S. Rosa P.R.F. Cunha G.R.R. Justo Centro de Informática Universidade Federal de Pernambuco Recife Pernambuco Brazil Centre for Parallel Computing University of Westminster London UK

ISBN: (纸本)0769514359

Nonfunctional requirements (NFRs) are rarely taken in account in software development. There are reasons that help us to understand why these requirements are not explicitly dealt with: their complexity NFRs are usually stated only informally, their high abstraction level, and the rare support of languages, methodologies and tools. In this scenario, we concentrate on defining a language, namely Process/sup NFL/, that expresses NFRs during software development. This language has been designed to consider specific characteristics of NFRs like their correlations and conflicts. In order to illustrate our language, we describe NFRs of software radios and the NFRs performance and security, which are usually present in software requirements specifications.

关键词： Logic Atomic measurements Programming Security Software measurement Software quality Proposals Software radio Data structures Availability

来源：评论

学校读者我要写书评

暂无评论

Framework for developing extensible and reusable parallel and distributed applications

Framework for developing extensible and reusable parallel an...

引用

IEEE International Conference on Algorithms and Architectures for parallel Processing (ICAP)

作者： G.R. Ribeiro Justo P.R. Freire Cunha Centre for Parallel Computing University of Westminster London UK Departamento de Informátrica Universidade Federal de Pernambuco Recife Pernambuco Brazil

The number of parallel and distributed programming languages available is enormous. This means that the user faces a difficult task in selecting the language which suits his/her application. Most of the facilities supported by new languages could be, however, introduced as simple extensions of existing languages. In object oriented languages where the concepts of reusability and extensibility are natural parts of the language, extensions can easily take place by creating frameworks which provide the abstraction level required by the user. We present a framework that supports the dynamic reconfiguration of processes. C++CL is a framework developed in C++ and layered above PVM. This means that dynamic reconfigurable systems are easily built in a C++ fashion following the CL approach. At the same time, by using PVM, we improve the portability of the framework over heterogeneous networks and can also use all tools available for tracing and debugging PVM parallel processes. The paper then shows how the framework can be extended to provide special classes of programs.

关键词： Libraries Object oriented modeling Lakes Debugging Costs Skeleton Computer aided analysis Filling RNA Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Hierarchical architecture for parallel query processing on networks of workstations

Hierarchical architecture for parallel query processing on n...

引用

International Conference on High Performance computing

作者： Boquan Xie S.P. Dandamudi Centre for Parallel and Distributed Computing School of Computer Science Carleton University Ottawa ONT Canada Nortel Technologies Inc. Ottawa Canada

Networks of workstations (NOWs) are cost-effective alternatives to multiprocessor systems. Recently, NOWs have been proposed for parallel query processing. Idle CPU cycles of workstations in a NOW-based system can be used to process database query operations. We report on the performance of the hierarchical architecture for parallel query processing on a NOW. We have implemented the hierarchical architecture using PVM on a Pentium-based NOW. The experimental results reported suggest that the hierarchical architecture is successful in achieving good scale-ups and speedups indicating that the idle processor cycles are effectively used for query processing. The hierarchical system can also handle both light and heavy workloads in a load sharing fashion. Our results also suggest that the performance is sensitive to the minimum fragmentation size (chunk size) for partial operations and the structure of queries.

关键词： Query processing Workstations Database systems Computer architecture Delay Performance gain Distributed computing Computer science Transaction databases Personal communication networks

来源：评论

学校读者我要写书评

暂无评论

Distributed computing and modeling & simulation: Speeding up simulations and creating large models 11

Distributed computing and modeling & simulation: Speeding up...

引用

Simulation Winter Conference

作者： Simon J. E. Taylor Mohammadmersad Ghorbani Navonil Mustafee Stephen J. Turner Tamas Kiss Daniel Farkas Shane Kite Steffen Straßburger ICT Innovation Group School of Information Systems Computing and Mathematics Brunei University Uxbridge UK Centre for Parallel Computing University of Westminster London UK School of Business and Economics Swansea University Swansea UK Upper Courtyard Saker Solutions Alcester UK Parallel & Distributed Computing Centre School of Computer Engineering Nanyang Technological University Singapore Singapore School of Economic Sciences Ilmenau University of Technology Ilmenau Germany

Distributed computing has many opportunities for Modeling and Simulation (M&S). Grid computing approaches have been developed that can use multiple computers to reduce the processing time of an application. In terms of M&S this means simulations can be run very quickly by distributing individual runs over locally or remotely available computing resources. Distributed simulation techniques allow us to link together models over a network enabling the creation of large models and/or models that could not be developed due to data sharing or model reuse problems. Using real-world examples, this advanced tutorial discusses how both approaches can be used to benefit M&S researchers and practitioners alike.

关键词： Computational modeling Biological system modeling Data models Educational institutions Computers Grid computing Software

来源：评论

学校读者我要写书评

暂无评论

Portable checkpointing and recovery 95

Portable checkpointing and recovery

引用

International Symposium on High Performance Distributed computing

作者： L.M. Silva J.G. Silva S. Chapple L. Clarke Departamento de Engenharia Informatica Universidade de Coimbra Polo II Coimbra Portugal Edinburgh Parallel Computing Centre University of Edinburgh Edinburgh UK

ISBN: (纸本)9780818670886

This paper presents a checkpointing scheme that was implemented in a parallel library that runs on top of CHIMP/MPI. The main goals of the checkpointing mechanism are portability and efficiency. It runs on every platform supported by MPI in a machine-independent way. The scheme allows the migration of checkpoints and offers a flexible recovery mechanism based on data-reconfiguration. Some performance results will be presented at the end of the paper together with some techniques that can be used to increase the efficiency of the checkpointing mechanism.

关键词： Checkpointing parallel machines Libraries Guidelines Operating systems Workstations Computer crashes Distributed computing parallel processing Proposals

来源：评论

学校读者我要写书评

暂无评论

Physics leads the way at edinburgh HPC facilities

引用

Computers in Physics 1992年第4期6卷 334-334页

作者： Bowler, K.C. Chantler, K. Heggie, D.O. Kenway, R.D. Tildesley, D.J. Trew, A.S. Wallace, D.J. 1a senior lecturer at the University of Edinburgh Dept. of Physics Edinburgh EH9 3JZ Scotland 2a computing officer at the Edinburgh Parallel Computing Centre University of Edinburgh 3a reader at the University of Edinburgh Dept. of Mathematics and Statistics 4a reader at the University of Edinburgh Dept. of Physics 5a professor at the University of Southampton Dept. of Chemistry Southampton SO9 5NH England 6principal computing officer at EPCC e‐mail: arthur@epcc.edinburgh.ac.uk 7a professor at the University of Edinburgh Dept. of Physics and director of EPCC

K. C. Bowler, L. K. Chantler, D. C. Heggie, R. D. Kenway, D. J. Tildesley, A. S. Trew, D. J. Wallace; Physics Leads the Way at Edinburgh HPC Facilities, Compute

关键词：

来源：评论

学校读者我要写书评

暂无评论

Primary sequence analysis and representation techniques in carbohydrates

引用

Bioinformatics 1993年第6期9卷 723-728页

作者： Taylor, S.J.E. Rastall, R.A. Sykes, J.T. Winter, S.C. Bucke, C. Centre for Parallel Computing London WIM 8JS 115 New Cavendish Street United Kingdom Division of Biotechnology London WIM 8JS 115 New Cavendish Street United Kingdom Artificial Intelligence Division University of Westminster London WIM 8JS 115 New Cavendish Street United Kingdom

Sequence similarity calculations of carbohydrates present several problems which must be addressed if a computer implementation is to be achieved. These problems range from the computational representation of the complex carbohydrate structrure to the method by which the comparison of residue and linkage is to be made. This paper therefore discusses the form of this representation and how two or more carbohydrates can be meaningfully compared. An example set of results using this approach is presented and discussed to illustrate how similarity comparison can show relationships between carbohydrates, features that are otherwise hidden by the sheer volume of data which must be considered. © 1993, Oxford University Press. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A framework for building non-functional software architectures 01

A framework for building non-functional software architectur...

引用

2001 ACM Symposium on Applied computing, SAC 2001

作者： Rosa, Nelson S. Justo, George R.R. Cunha, Paulo R.F. Universidade Federal de Pernambuco Centro de Informática Av. Prof. Luiz Freire s/n Recife Pernambuco Brazil University of Westminster Centre for Parallel Computing 115 New Cavendish Street LondonW1M 8JS United Kingdom

ISBN: (纸本)1581132875

Non-functional requirements ( NFRs ) are rarely taken in account in most software development processes. There exist reasons that can help us to understand why these requirements are not explicitly dealt with: their complexity, t heir usually informal statement, t heir high abstraction level, as well as the rare support of languages, m ethodologies and tools for them. In this paper, w e introduce a framework for explicitly dealing with NFRs in the software development process. This framework addresses the description, i ntegration with functional requirements, r efinement and mapping of NFRs into actual implementation elements. © 2001 ACM.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：