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

International Conference and Exhibition on High-Performance Computing and Networking, HPCN 1994

作者： Sedan, Angela Bi, Hua GMD Institute for Computer Architecture and Software Technology Germany

ISBN: (纸本)9783540579816

The parLisp system consists of a parallel run-time system and a set of tools for parallel symbolic processing with Lisp on the distributed memory parallel machine MANNA. The parallel run-time system provides and implements efficiently language features and mechanisms for expressing parallelism appropriately and for handling the data access problem by either explicit copying or by Virtual Shared Memory. A set of tools for detection of parallelism, mapping, profiling and visualization supports the process of getting efficient parallel symbolic applications. © 1994, Springer Verlag. All rights reserved.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

Latency hiding in message-passing architectures

Latency hiding in message-passing architectures

引用

International Symposium on Parallel Processing

作者： U. Bruening W.K. Giloi W. Schroeder-Preikschat GMD Institute for Computer Architecture and Software Technology Berlin Germany

The paper demonstrates the advantages of having two processors in the node of a distributed memory architecture, one for computation and one for communication. The architecture of such a dual-processor node is discussed. To exploit fully the potential for parallel execution of computation threads and communication threads, a novel, compiler-optimized IPC mechanism allows for an unbuffered no-wait send and a prefetched receive without the danger of semantics violation. It is shown how an optimized parallel operating system can be constructed such that the application processor's involvement in communication is kept to a minimum while the utilization of both processors is maximized. The MANNA implementation results in an effective message start-up latency of only 1...4 microseconds. It is also shown how the dual-processor node is utilized to efficiently realize virtual shared memory.< >

关键词： Delay computer architecture Operating systems Memory architecture Concurrent computing Yarn Message passing software Distributed computing Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Comments on "Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets"

引用

IEEE Transactions on computers 1994年第12期43卷 1453-1456页

作者： G. Ciardo C. Lindemann Department of Computer Science College of William and Mary Williamsburg VA USA GMD Institute for Computer Architecture and Software Technology (GMD-FIRST) Technische Universitat Berlin Berlin Germany

We point out some errors in the combinatorial approach for the steady-state analysis of a deterministic and stochastic Petri net (DSPN) presented by M. Lu, D. Zhang, and T. Murata (1990). However, the methodology for analyzing the self-stability of fault-tolerant clock synchronisation (FCS) systems introduced in that paper is applicable for FCS systems with many clocking modules, even if the combinatorial approach is not valid. This is due to the progress in improving the efficiency of the DSPN solution algorithm made in recent years. We show that the explicit computation of the steady-state solution of the DSPN can be performed with reasonable computational effort on a modern workstation by the software package DSPNexpress.< >

关键词： Clocks Synchronization Stochastic processes Petri nets Electromagnetic compatibility Stochastic systems Steady-state Fault tolerant systems Probability distribution Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Formal design of hybrid systems 3rd

Formal design of hybrid systems

引用

3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994

作者： Xinyao, Yu Ji, Wang Chaochen, Zhou Pandya, Paritosh K. International Institute for Software Technology The United Nations University P. O. Box 3058 China Department of Automatic Control Beijing University of Aeronautics and Astronautics Beijing100083 China Department of Computer Science Changsha Institute of Technology Changsha410073 China Computer Science Group Tata Institute of Fundamental Research Homi Bhabha Road Bombay400005 India

ISBN: (纸本)9783540584681

A hybrid system is a system containing both of time-evolving components and event-driven components. A formal approach is explored in this paper, based on Extended Duration Calculus (EDC), for the development of hybrid systems. A typical example of hybrid system from modern control theory, a two-level adaptive control system, is used for illustrating our approach. Its high level consists of an event-driven supervisor which reacts to the change of plant structure, and its time-evolving low level consists of adaptive controllers and other components. Firstly performance specifications and system specification of the case are formulated in EDC;then they are refined stepwise into specifications of the supervisor and the low level components. Our approach emphasizes the interface between the two kinds of components in the hybrid system. © Springer-Verlag Berlin Heidelberg 1994.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Predicting the drape of woven cloth using interacting particles 94

Predicting the drape of woven cloth using interacting partic...

引用

21st Annual Conference on computer Graphics and Interactive Techniques, SIGGRAPH 1994

作者： Breen, David E. House, Donald H. Wozny, Michael J. European Computer-Industry Research Centre Design Research Center Rensselaer Polytechnic Institute Arabellastrasse 17 MunichD-81925 Germany Visualization Laboratory Texas A and M University Department of Computer Science Williams College College of Architecture College StationTX77843-3137 United States National Institute of Standards and Technology Design Research Center Rensselaer Polytechnic Institute MEL 220/B322 GaithersburgMD20899 United States

ISBN: (纸本)0897916670

We demonstrate a physically-based technique for predicting the drape of a wide variety of woven fabrics. The approach exploits a theoretical model that explicitly represents the microstructure of woven cloth with interacting particles, rather than utilizing a continuum approximation. By testing a cloth sample in a Kawabata fabric testing device, we obtain data that is used to tune the model's energy functions, so that it reproduces the draping behavior of the original material. Photographs, comparing the drape of actual cloth with visualizations of simulation results, show that we are able to reliably model the unique large-scale draping characteristics of distinctly different fabric types. © ACM 1994.

关键词： Weaving

来源：评论

学校读者我要写书评

暂无评论

Image compression based on wavelet transform for remote sensing

Image compression based on wavelet transform for remote sens...

引用

Recent Advances in Remote Sensing and Hyperspectral Remote Sensing 1994

作者： Lee, Heung K. Kim, Seong W. Kim, Kyung S. Choi, Soon D. Department of Computer Science KAIST 373-1 Kusong-Dong Yusong-Ku Taejon305-701 Korea Republic of Satellite Technology Research Center KAIST 373-1 Kusong-Dong Yusong-Ku Taejon305-701 Korea Republic of Software Enginnering Research Institute KIST 373-1 Kusong-Dong Yusong-Ku Taejon305-701 Korea Republic of

In this paper, we present an image compression algorithm that is capable of significantly reducing the vast amount of information contained in multispectral images. The developed algorithm exploits the spectral and spatial correlations found in multispectral images. The scheme encodes the difference between images after contrast/brightness equalization to remove the spectral redundancy, and utilizes a two-dimensional wavelet transform to remove the spatial redundancy. The transformed images are then encoded by hilbert-curve scanning and run-length-encoding, followed by huffman coding. We also present the performance of the proposed algorithm with the LAND-SAT MultiSpectral Scanner data. The loss of information is evaluated by PSNR(peak signal to noise ratio) and classification capability. © 1994 SPIE. All rights reserved.

关键词： Wavelet transforms

来源：评论

学校读者我要写书评

暂无评论

Parallel bidirectional heuristic search on the EM-4 multiprocessor

Parallel bidirectional heuristic search on the EM-4 multipro...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： A. Sohn M. Sato S. Sakai Y. Kodama Y. Yamaguchi Computer and Information Science Department New Jersey Institute of Technology Newark NJ USA Computer Architecture Section Electro Technical Laboratory Tsukuba Ibaraki Japan Real World Computing Tsukuba Research Center Tsukuba Ibaraki Japan

Solving search problems takes a large amount of computational resources both in terms of execution time and memory usage. This report presents experimental results of Parallel Bidirectional Heuristic Search (PBiHS) on the 80-processor EM-4 multithreaded data-flow multiprocessor. The PBiHS searches from two directions in parallel while search in each direction is also performed in parallel. Important data structures are distributed to all processors to help reduce the execution time of realistic problem sizes down to a few seconds or less. We implement two search problems, the Eight Puzzle and the Tower of Hanoi, and execute on the target multiprocessor. Execution results demonstrate that the Parallel Bidirectional Heuristic Search can solve the tree depth 20-40 of the Eight-Puzzle and the 3-9 disks of the Tower of Hanoi in an optimal or near optimal number of iterations in less than two seconds, is highly scalable as it gives over 40-fold speedup on 80 processors, and yields on the average 10-fold improvement over unidirectional search for the 8-Puzzle while generating a far less number of nodes.< >

关键词： Search problems Poles and towers Artificial intelligence Concurrent computing Data structures Parallel processing Information science computer architecture Laboratories Buildings

来源：评论

学校读者我要写书评

暂无评论

USING VIRTUAL ENVIRONMENTS IN THE DESIGN OF SHIPS

引用

NAVAL ENGINEERS JOURNAL 1994年第3期106卷 91-106页

作者： JONS, OP RYAN, JC JONES, GW Otto P. Jons:received a Diplom Ing. in shipbuilding from the Technical University of Hanover W. Germany and an MS in naval architecture and marine engineering from MIT. He then joined Litton Ship Systems where he was responsible for the preliminary design of the DD-963 hull structure and then for ship system integration as manager LHA ship systems engineering department. From 1972 to 1974 he was the principal research scientist at Hydronautics. In 1974 as technical director he helped establish the Crystal City office of Designers and Planners. Mr. Jons was one of the co-founders of Advanced Marine Enterprises Inc. in 1976 where he serves as corporate vice president engineering. J. Christopher Ryan:earned his bachelors and masters degrees in naval architecture from Webb Institute and MIT respectively. He spent three years at the advanced marine technology division of Litton Industries working on the DD-963 class ship design and related computer aided design projects. He subsequently went to the Navy Department concentrating on early stage design of surface combatants for twelve years including work on the FFG-7 Sea Control Ship CSGN and CVV aircraft carrier projects. He then shifted focus and became the Technical Director for the Computer Supported Design Program in NavSea for five years. Mr. Ryan has served in several supervisory positions within the Ship Design Group in NavSea since that time. He is currently the director of the future ship concepts division. Gary W. Jones:graduated from the University of Tennessee in 1971 with a BS in mechanical engineering and followed up with graduate work at George Washington University and the University of Maryland. Mr. Jones was with the Naval Sea Systems Command from 1971 until 1988 where he was a naval architect in the submarine section of the hull form design division. In 1988 he was detailed to the Defense Advanced Research Projects Agency (DARPA) where he became the program manager for the advanced submarine technology program's hydrodynamic hydroac

A major contributor to the expense and length of time to design, build, and test new systems has been the need to build and test hardware prototypes to determine their effectiveness in meeting operational requirements. Recent and dramatic advances in computer simulation technologies hold forth the promise of revolutionizing design and acquisition strategies by providing the means to validate end users' requirements prior to hardware construction. By designing and operationally testing virtual prototypes in a virtual environment, these technologies will soon offer naval architects the ability to build and launch ships in computer-based cyberspace in lieu of the shipbuilder's ways. The authors of this paper provide the background for these developments, explore the significance and ramifications of these technologies to the current process of ship and system design, outline challenges lying ahead, and present their vision and recommendations for future development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PROMOTER: an application-oriented programming model for massive parallelism

PROMOTER: an application-oriented programming model for mass...

引用

Programming Models for Massively Parallel computers

作者： W.K. Giloi A. Schramm GMD Research Institute for Computer Architecture and Software Technology Berlin Germany

The article deals with rationale and concepts of a programming model for massive parallelism. We mention the basic properties of massively parallel applications and develop a programming model for data parallelism on distributed-memory computers. Its key features are a suitable combination of homogeneity and heterogeneity aspects, a unified representation of data point configuration and interconnection schemes by explicit virtual data topologies, and various synchronization schemes and nondeterminisms. The outline of the linguistic representation and the abstract executional model are given.< >

关键词： Parallel programming Parallel processing Concurrent computing computer architecture Topology Differential equations Object oriented modeling software Distributed computing Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

ASYNCHRONOUS TRANSFER MODE (ATM) OPERATION VIA SATELLITE - ISSUES, CHALLENGES AND RESOLUTIONS

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第3期12卷 211-222页

作者： CHITRE, DM GOKHALE, DS HENDERSON, T LUNSFORD, JL MATHEWS, N COMSAT Laboratories 22300 Comsat Drive Clarksburg MD 20871 USA. Received his B.Sc. from the University of Bombay India an M.A. in mathematics from the University of Cambridge U.K. and a Ph.D. in physics from the University of Maryland. He is currently an Associate Executive Director of the Network Technology Division at COMSAT Laboratories. He has been involved in research and development activities in ISDN VSAT networks data communications and network systems and architectures. Prior to his current positions Dr. Chitre was a Principal Scientist in the Network Technology Division at COMSAT Laboratories. Dr. Chitre joined COMSAT Laboratories in 1980. He has made major contributions to the analysis and architecture of data communication ISDN and BISDN via satellite. Dr. Chitre directs and participates in the international and national standards activities in ISDN BISDN and data communication as they apply to satellite communication. He was Chairman of the Working Group on Protocols and Network Timing Function of the CCIR/CCITT Joint Ad Hoc Group on ISDN-Satellite Matters during 1990–1992. Currently he is the Chairman of the Working Group on New Technologies in the ITU Intersector Coordinating Group (ICG) on Satellite Matters. Dr. Chitre was a programme manager during 1990 and 1991 on a contract from INTELSAT on systems studies on satellite communications systems architectures for ISDN and broadband ISDN systems. Currently he is the technical manager of the DoD Contract on ATM via satellite demonstration and the programme manager for the INTELSAT contract on analysis and top-level specification of INTELSAT ISDN subnetworks and SDH compatible transport network. Department manager for ISDN/Data Communications in the Network Technology Division of COMSAT Laboratories. His responsibilities include managing the implementation of next generation telecommunication systems for fixed and mobile satellite systems. Current projects include the development of a high data rate gateway switch that provides for the

Key issues regarding the operation of the broadband integrated services digital network (BISDN) via satellite are presented herein. The specific issues, challenges, and their resolutions are detailed. In particular, the impact of error characteristics and propagation delay on the operation of BISDN via satellite is discussed. Solutions are presented for removing adverse effects and providing high-quality service to users of BISDN via satellite.

关键词： ATM BISDN

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：