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

Euromicro Workshop on Parallel and Distributed Processing

作者： K. Stockinger E. Schikuta IT Division CERN Geneva Switzerland Institute for Applied Computer Science and Information Systems Department of Data Engineering University of Technology Vienna Vienna Austria

We present ViMPIOS, a novel MPI-IO implementation based on ViPIOS, the Vienna Parallel Input Output System. ViMPIOS inherits the defining characteristics of ViPIOS, which makes it a client-server based system focusing on cluster architectures. ViMPIOS stands out from all other MPI-IO implementations by its "truly" portable design, which allows not only applications to be transferred between parallel architectures easily but also to keep their original performance characteristics on the new platform as far as possible. This is kept by the "smart" AI-blackboard module of ViPIOS, which is responsible for an appropriate data layout. Specifically in this paper we concentrate on the algorithm, which maps MPI-IO data structures on respective ViPIOS structures, and thus allows to exploit the ViPIOS properties.

关键词： Data structures High performance computing Message passing Programming profession information systems Data engineering Read only memory Bandwidth Libraries Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Redundancy in Model Specifications for Discrete Event Simulation

引用

ACM Transactions on Modeling and Computer Simulation 1999年第3期9卷 254-281页

作者： Nance, Richard E. Overstreet, C. Michael Page, Ernest H. Systems Research Center Virginia Polytechnic Institute Virginia State University Blacksburg VA 24061 Computer Science Department Old Dominion University Norfolk VA 23529-0162 Information Technology Division Mitre Corp. 7525 Colshire Drive McLean VA 22102-3481

Although redundancy in model specification generally has negative connotations, we offer arguments for revising those convictions. Defining "representational redundancy" as the inclusion of any symbols not required to fulfill the study objectives, we cite several sources of redundancy, classified as accidental or intentional, that contribute positively to the model development tasks. Comparative benefits and detriments are discussed briefly. Focusing on the most interesting source of redundancy - that which is intentionally induced by a modeling methodology - we demonstrate that automated elimination of redundancy can actually improve model execution time. Using four models drawn from the literature that are easily understood, but which represent some differences in size and complexity, the direct execution of the graphical representations shows improvements over a base case ranging from 27.3 percent to 68.1 percent in execution time. Further, increasing improvement is realized with increasing model size and complexity. These results are encouraging because they suggest that modeling methodologies with automated model diagnosis can significantly reduce both execution and development time and cost.

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

Validating prediction packages using superresolution direction finding techniques and oblique ionospheric soundings

Validating prediction packages using superresolution directi...

引用

IEE Colloquium on Frequency Selection and Management Techniques for HF Communications

作者： W. Featherstone H.J. Strangeways P.W. Baker Institute of Integrated Information Systems School of Electronic and Electrical Engineering University of Leeds Leeds UK Communications Division Defence Science and Technology Organisation Salisbury SA Australia

In this paper we present AOA (angle of arrival) estimates obtained from data recorded on an eight element L-shaped antenna array for signals that have undergone ionospheric propagation. The AOA estimates obtained are compared with the predicated angles for the propagation path. The advantages of using MLE based techniques over weighted spectrum type approaches have been demonstrated in the multipath environment where signals impinging on the array are correlated. The results show that the MLE is the most useful method to use, in conjunction with sounding techniques and prediction packages, to identify the ionospherically propagating paths. The results also demonstrate that array dimensions have to be carefully selected to minimise the beamwidth of the array at the operating frequency. This is to enable superresolution direction finding techniques to resolve the multipath components.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SENTINEL: A multiple engine information retrieval and visualization system

引用

Journal of the Association for information science and technology 1999年第7期50卷

作者： Kevin L. Fox Ophir Frieder Margaret M. Knepper Eric J. Snowberg Harris Corporation Information Systems Division P.O. Box 98000 Melbourne FL 32902-9800. Department of Computer Science Illinois Institute of Technology 10 West 31st Street Chicago IL 60616 Harris Corporation Information Systems Division P.O. Box 98000 Melbourne FL 32902-9800

We describe a prototype information Retrieval system, SENTINEL, under development at Harris Corporation's information systems division. SENTINEL is a fusion of multiple information retrieval technologies, integrating n-grams, a vector space model, and a neural network training rule. One of the primary advantages of SENTINEL is its three-dimenstional visualization capability that is based fully upon the mathematical representation of information within SENTINEL. This three-dimensional visualization capability provides users with an intuitive understanding, with relevance feedback/query refinement techniques that can be better utilized, resulting in higher retrieval accuracy (precision).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integration of software analysis and design methods with formal description techniques

Integration of software analysis and design methods with for...

引用

1998 Asia Pacific Software Engineering Conference, APSEC 1998

作者： Sureerat, Saeeiab Saeki, Motoshi Dept. Of Computer Science Tokyo Institute of Technology Ookayama 2-12-1 Meguro-ku Tokyo152-8552 Japan Information Systems Division Hitachi Ltd. Japan

ISBN: (纸本)0818691832

This paper discusses a technique which shows how to integrate formal description techniques (FDTs) with specification & design methods such as OMT so that we can have new methods to support writing formal specifications. The integration mechanism is based on transformation rules of specification document produced following methods into the descriptions written in FDTs. The transformation rules specify the correspondences on two meta models;the method meta models and the FDT meta model, and are described as graph rewriting rules. As an example, we pick up OMT as a method and LOTOS as a FDT and define the transformation rule on their meta models. © 1998 IEEE.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Integration of software analysis and design methods with formal description techniques

Integration of software analysis and design methods with for...

引用

Asia-Pacific Conference on Software Engineering

作者： S. Sureerat M. Saeki Information Systems Division Hitachi and Limited Japan Department of Computer Science Tokyo Institute of Technology Tokyo Japan

This paper discusses a technique which shows how to integrate formal description techniques (FDTs) with specification & design methods such as OMT so that we can have new methods to support writing formal specifications. The integration mechanism is based on transformation rules of specification document produced following methods into the descriptions written in FDTs. The transformation rules specify the correspondences on two meta models; the method meta models and the FDT meta model, and are described as graph rewriting rules. As an example, we pick up OMT as a method and LOTOS as a FDT and define the transformation rule on their meta models.

关键词： Design methodology Object oriented modeling Formal specifications Mathematics Navigation information analysis Computer science information systems Writing Software systems

来源：评论

学校读者我要写书评

暂无评论

Load adjustment and filtering based on process criticality

Load adjustment and filtering based on process criticality

引用

IEEE International Conference on Embedded and Real-Time Computing systems and Applications (RTCSA)

作者： Tei-Wei Kuo Shie-Kai Ni Giun-Haur Huang Real Time Systems Laboratory Department of Computer Science and Information Engineering National Chung Cheng University Chiayi Taiwan Department of New Technology Development Platform Software Division Acer Incorporated Taipei Taiwan System Software Laboratory Institute for Information Industry Taipei Taiwan

ISBN: (纸本)081869209X

This paper generalizes the load scaling techniques proposed in (Kuo and Mok, 1991) for fixed-priority real-time applications. A framework is proposed to adjust the system workload by relating the criticality and flexibility of a process to the resource allocation problem. A load adjustment procedure based on the approximation algorithm (Ni et al., 1997) is proposed to maximize the system profit in an on-line fashion. When the list of allowable configurations is implicitly given by scalable periodic processes, the corresponding load filtering problem is shown to be NP-complete. We also prove the upper bound of the system profit and provide a mechanism to balance the schedulability and the maximum profit of the system.

关键词： Filtering Resource management Job shop scheduling Timing Real time systems Approximation algorithms Upper bound Laboratories Frequency Computer science

来源：评论

学校读者我要写书评

暂无评论

Smart executives for autonomous spacecraft

引用

IEEE Intelligent systems and Their Applications 1998年第5期13卷 56-61页

作者： Gat, Erann Pell, Barney Jet Propulsion Laboratory California Institute of Technology United States Res. Inst. for Adv. Computer Science NASA Ames Research Center United States Virginia Polytechnic Institute United States JPL MS 301-270 Pasadena CA 91109 4800 Oak Grove Dr. United States Information Systems Division NASA Ames Research Center United States NASA Ames United States Auton. Intgd. Prod. Development Team NASAs New Millenium Program United States Stanford University United States Cambridge University United Kingdom AAAI United States Mail Stop 269/2 NASA Ames Research Center Moffett Field CA 94035-1000 United States

To make spacecraft more self-reliant and less dependent on ground intervention, the authors have developed an executive (EXEC) for a new control architecture, Remote Agent. EXEC has an expanded vocabulary for commanding spacecraft, provides a wide range of capabilities at different levels of abstraction, and has a highly modular design.

关键词： Space vehicles Hardware Control systems Humans Vocabulary Propulsion NASA Face Error correction Automatic control

来源：评论

学校读者我要写书评

暂无评论

Analysis of packet loss in transport layer over ATM networks

引用

International Journal of Communication systems 1998年第4期10卷

作者： Kazumi Kumazoe Kenji Kawahara Tetsuya Takine Yuji Oie Switching Division NEC Corporation Abiko 270-11 Japan Department of Computer Science and Electronics Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka 820 Japan Department of Information Systems Engineering Faculty of Engineering Osaka University Suita 565 Japan

In asynchronous transfer mode (ATM) networks, when cells are lost due to congestion, packets containing the lost cells should be retransmitted in the transport layer, which manages the end-to-end communication. The probability that a packet contains at least one lost cell depends on the packet length. It is thus very likely that the performance of the end-to-end communication is influenced by the packet length. In this paper, we analyse packet loss probability and the achievable maximum throughput when a block of data is divided into packets of fixed size and the lost packets are retransmitted based on the selective repeat automatic repeat request (ARQ). Through this analysis, we examine the effect of packet length and peak cell transmission rate on the performance measures mentioned above. © 1997 John Wiley & Sons, Ltd.

关键词： ATM transport layer packet loss analysis throughput analysis

来源：评论

学校读者我要写书评

暂无评论

Royal Academy of Medicine in Ireland - Section of Bioengineering - Proceedings of meeting held in Dundalk, Co. Louth, in February 1998.

引用

IRISH JOURNAL OF MEDICAL science 1998年第4期167卷 256-276页

作者： [Anonymous] Orthopaedic Research Unit The Queen’s University of Belfast School of Biomedical Sciences The Queen’s University of Belfast Howmedica International Ltd. Raheen Industrial Estate Limerick Department of Mechanical Engineering Trinity College Dublin 2 Mater Hospital Dublin 7 Orthopaedic Research Laboratory Århus University Hospital Denmark University of Limerick Limerick Limerick Regional Hospital Raheen Limerick Boston Scientific Ireland Ltd. Galway Department of Mechanical Engineering University College Dublin Dublin Department of Electrical and Electronic Engineering University College Dublin Dublin Bioengineering Research Centre Department of Mechanical Engineering University College Dublin Dublin Northern Ireland Bio-Engineering Centre (NIBEC) School of Electrical and Mechanical Engineering University of Ulster Newtownabbey Department of Mechanical & Manufacturing Engineering The Ashby Building The Queen’s University of Belfast Johnson and Johnson Professional Orthopaedic Division Queensway England Department of Cardiology and Department of Medical Physics & Bioengineering St. James’s Hospital Dublin 8 Burke House Ellison Street Castlebar Royal College of Surgeons in Ireland Department of Surgery Beaumont Hospital Dublin Department of Electronic and Electrical Engineering Trinity College Dublin 2 Department of Aeronautical Engineering The Queen’s University of Belfast Vascular Unit Belfast City Hospital Department of Medical Physics and Bioengineering St. James’s Hospital Dublin 8 Centre for Biomedical Electronics Department of Electronic and Computer Engineering University of Limerick Limerick Department of Mechanical and Aeronautical Engineering University of Limerick Limerick School of Health Sciences University of Ulster Ireland School of Physiotherapy University of Ulster Newtownabbey Clinical Engineering NI Medical Physics Agency Belfast and Radiology Royal Victoria Hospital Musgrave Park Hospital University of Limerick Biomedical Institute (ULBMI) Uni

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：