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

9th International Workshop on distributed Algoriths, WDAG 1995

作者： Chase, Craig M. Garg, Vijay K. Parallel and Distributed Systems Laboratory Electrical and Computer Engineering Department The University of Texas at Austin United States

ISBN: (纸本)3540602747

We show that the problem of predicate detection in distributed systems is NP-complete. We introduce a class of predicates, linear predicates, such that for any linear predicate B there exists an efficient detection of the least cut satisfying B. The dual of linearity is post-linearity. These properties generalize several known properties of distributed systems, such as the set of consistent cuts forms a lattice, and the WCP and GCP predicate detection results given in earlier work. We define a more general class of predicates, semi-linear predicates, for which efficient algorithms are known to detect whether a predicate has occurred during an execution of a distributed program. However, these methods may not identify the least such cut. Any stable predicate is an example of a semi-linear predicate. In addition, we show that certain unstable predicates can also be semi-linear, such as mutual exclusion violation. Finally, we show application of max-flow to the predicate detection problem. This result solves a previously open problem in predicate detection, establishing the existence of an efficient algorithm to detect predicates of the form X1 + x2… +xn i are variables on different processes, k is some constant, and n is larger than 2. © Springer-Verlag Berlin Heidelberg 1995.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of DECS: distributed environment for cooperative software

Design and implementation of DECS: distributed environment f...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： S.P. Rana C. Sun Parallel and Distributed Systems Laboratory Department of Computer Science Wayne State University Detroit MI USA IBM Corporation USA

A distributed environment for cooperative software (DECS) provides a flexible and extensible platform for the development and execution of cooperative software. It takes the advantages of object-oriented technology and emphasizes composition as the basis for developing large distributed system from reusable components. In this paper, we give an overview of DECS, present the compositional approach, and then describe the design and implementation of DECS run-time system.

关键词： Collaborative software Hardware Communications technology Collaborative work Software tools Runtime environment Protocols computer architecture Sun computer science

来源：评论

学校读者我要写书评

暂无评论

An algorithm for guaranteeing synchronous ordering of messages

An algorithm for guaranteeing synchronous ordering of messag...

引用

International Symposium on Autonomous Decentralized systems (ISADAS)

作者： V.V. Murty V.K. Garg Parallel and Distributed Systems Laboratory Department of Electrical & Computer Engineering University of Texas Austin Austin TX USA

The paper studies the characteristics of synchronous ordering of messages. Synchronous ordering of messages defines synchronous communication based on the causality rather than time. We present the sufficient conditions, based on the causality relations, for any algorithm to provide synchronous ordering. We also propose an algorithm using acknowledgment messages to implement the sufficient conditions. The algorithm is deadlock-free, and provides a higher degree of concurrency than existing algorithms.< >

关键词： Sufficient conditions System recovery Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Deriving distributed algorithms from a general predicate detector

Deriving distributed algorithms from a general predicate det...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： J.R. Mitchell V.K. Garg Parallel and Distributed Systems Laboratory Electrical and Computer Engineering Department University of Texas Austin Austin TX USA

Designing and debugging distributed systems requires the detection of conditions across the entire system. As an illustration, monitoring the status of an application requires detection of termination, and using virtual time requires the periodic calculation of the global virtual time. The generalized conjunctive predicate (GCP) detector offers a method to derive detection algorithms for these and other problems based on optimizing the base algorithm.

关键词： distributed algorithms Detectors distributed computing Debugging Concurrent computing Design engineering computerized monitoring Application software Design optimization Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

parallel AND distributed TLM COMPUTATION WITH SIGNAL-PROCESSING FOR ELECTROMAGNETIC-FIELD MODELING

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年第3-4期8卷 169-185页

作者： SO, PPM ESWARAPPA, C HOEFER, WJR NSERC/MPR Teltech Research Chair in RF Engineering Department of Electrical and Computer Engineering University of Victoria Victoria British Columbia V8W 3P6 Canada Poman So received his B.Sc. degree in computer science and physics from the University of Toronto Toronto Onatario Canada in 1985. He obtained his B.A. Sc. and M.A.Sc. degrees in electrical engineering (summa cum laude) from the University of Ottawa Ottawa Ontario Canada in 1987 and 1989 respectively. Mr So was a research engineer in the University of Ottawa from January 1989 to October 1991 his research interests included CAD techniques of microwave circuits and numerical methods for electromagnetic wave modelling. He specialized in the development of electromagnetic engineering CAD software and successfully implemented a number of electromagnetic wave simulators based on the two-dimensional and three-dimensional transmission-line matrix methods. From August 1990 to February 1991 he accompanied Professor W. J. R. Hoefer to Rome Italy and Sophia Antiopolas France. During that time he implemented a parallel version of the 3D-TLM simulator for the CM-2 Connection Machine using C-Star and X Windows Library. He is a research engineer and a Ph.D. student at the University of Victoria Victoria British Columbia Canada. He ported the 2D- and 3D-TLM simulators to DECmpp 1200 massively parallel computer using MPL C and C++. He also combined OSA90/hope a commercially available microwave CAD program with a 2D-TLM simulation module for geometry optimization using the Datapipe technique of OSA90/hope. Recently he has developed a distributed client-server computing technique for the TLM method this technique could accelerate the TLM simulation by more than an order of magnitude. Channabasappa Eswarappa received the M.Tech. degree in electrical engineering from the Indian Institute of Technology Kanpur India in 1983 and Ph. D. degree from the University of Ottawa Canada in 1990. He worked as an Assistant Executive Engineer and later as

This paper describes the implementation of transmission-line matrix (TLM) method algorithms on a massively parallel computer (DECmpp 12000), the technique of distributed computing in the UNIX environment, and the combination of TLM analysis with Prony's method as well as with autoregressive moving average (ARMA) digital signal processing for electromagnetic field modelling. By combining these advanced computation techniques, typical electromagnetic field modelling of microwave structures by TLM analysis can be accelerated by a few orders of magnitude.

关键词： Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Multiagent fault‐diagnosis expert system in power systems

引用

European Transactions on Electrical Power 1995年第5期5卷 341-347页

作者： Wang, J.P. Trécat, J. Dr. Jianping Wang is a doctor fellow in the Faculte Polytechnique de Mons in Belgium. His current research field is parallel processing applications in power systems. Dr. Wang obtained his BS degree from Southwest Jiaotong University in P.R. Chinain 1982. From 1982 to 1990 he was appointed as an assistant lecturer. lecturer and associate professor respectively in the electrical engineering department of Southwest Jiaotong University. He obtained his Ph.D in the FacultC Polytechnique de Mons in July of 1993. (BD Dolez 3 1 FPMS B-7000 Mons Belgium T +32-65/37 41 87 Fax +32-65/37 43 00) Professor J. Trécat is a director in the power system laboratory in the Faculty Polytechnique de Mons. He obtained his Ph.D in the University of Manchester Institute of Science and Technology(UM1ST) in U.K. in 1970. He has been working in the fields of power system automation artificial intelligence application and computer vision in the Facult6 Polytechnique de Mons since 1970. He is a senior member of IEEE and he has made much contribution both in electrical engineering education and research. (BD Dolez 3 I FPMS B-7000 Mons T +32-651374185. Fax +32-6513743 00)

In order to solve the speed problem and shallow reasoning problem met in current research in fault diagnosis expert system, this paper presents a model based parallel fault diagnosis expert system for energy management systems (EMS). The Petri net model, which corresponds to the relationship between power system components and their protection systems, has been used for the inference in fault diagnosis. A multiagent parallel processing expert system, which is based on five transputers in Sun workstation, has been built for fault diagnosis purposes. The test results show that this expert system is not only fast but also has better performances. Copyright © 1995 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ADEAS: a distributed environment for acoustic simulation

ADEAS: a distributed environment for acoustic simulation

引用

Scalable High Performance Computing Conference

作者： V.V. Arni T.L. Huntsberger B.A. Huntsberger Intelligent Systems Laboratory Department of Computer Science University of South Carolina Columbia SC USA Parallel Supercomputer Initiative College of Science and Mathematics University of South Carolina Columbia SC USA

Acoustic properties of environments are difficult to model, due to their dependence not only on geometry, but also an the internal properties of materials (density, etc.). An acoustically accurate model that can be quantitatively validated is extremely useful for the evaluation of improved enclosures, silencers, acoustically absorbent materials, and human factors studies. We present a new parallel algorithm that generates full 3D simulations of speech intelligibility and sound pressure levels which include sound diffraction, sophisticated external noise and surface absorption models. The simulation environment interface is decoupled from the algorithm using a C++ framework running under X11R5 and Motif. The sequential version of this algorithm produced sound pressure levels that agreed with measured values on the STS-40 Space Shuttle mission to within 4%. We also present the results of some experimental studies performed using ParaSoft Express on the 56-node Intel Paragon at the University of South Carolina.< >

关键词： Acoustic materials Solid modeling Geometry Human factors parallel algorithms Speech enhancement Acoustic diffraction Acoustic noise Working environment noise Noise generators

来源：评论

学校读者我要写书评

暂无评论

Hypercube algorithm for image component labeling

Hypercube algorithm for image component labeling

引用

Scalable High Performance Computing Conference

作者： Y. Cheng J.R. Jensen T.L. Huntsberger B.A. Huntsberger Department of Geography University of South Carolina Columbia SC USA Intelligent Systems Laboratory Department of Computer Science University of South Carolina Columbia SC USA Parallel Supercomputer Initiative College of Science and Mathematics University of South Carolina Columbia SC USA

Labeling the connected regions of a digitized image is a fundamental computation in image analysis and computer vision. By assigning a unique label to each connected region, higher level image operations can identify, extract, and process different connected regions separately. Because of its primary importance, the problem has attracted research in developing parallel algorithms. Most of the research has been theoretical in nature, with notable exceptions. We present a new component labeling algorithm that is a parallelized hybrid of the sequential algorithms of R.M. Haralick and L.G. Shapiro (1979) and A. Rosenfeld, J. Pfaltz (1966). Experimental studies on the nCUBE/10 hypercube system at the University of South Carolina show that the algorithm has a relatively efficient balance of time complexity and storage utilization.< >

关键词： Hypercubes Labeling computer vision Image storage Pixel parallel algorithms Iterative algorithms Image analysis Geography Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Communication support for a distributed hypermedia system

Communication support for a distributed hypermedia system

引用

IEEE Singapore International Conference on Networks

作者： G.J. Lu H.K. Pung T.S. Chua S.F. Chan Distributed and Multimedia Systems Laboratory Department of Information Systems and Computer Science National University of Singapore Singapore

A distributed multimedia information system should support retrieval of both static and time-dependent continuous media. The isochronous nature of continuous media imposes a very strict requirement on communication support, in terms of bandwidth, delay and delay jitter. This paper first introduces a distributed hypermedia system (DHS) being developed. It shows that in order to support the retrieval of continuous media of arbitrary length, communication bandwidth, delay bound and delay jitter bound must be guaranteed. The authors then present experiences and results of their initial implementation of the system on UNIX workstations connected via Ethernet. Finally, they evaluate the suitability of the current platform and present their future work plan.

关键词： Multimedia systems Information retrieval Delay Information systems Bandwidth Jitter Workstations Databases High-speed networks Network servers

来源：评论

学校读者我要写书评

暂无评论

A distributed Lisp programming system: Implementation and usage 12

A distributed Lisp programming system: Implementation and us...

引用

12th International Conference on distributed Computing systems, ICDCS 1992

作者： Pearson, Mark P. Dasgupta, Partha Distributed Systems Laboratory College of Computing Georgia Institute of Technology AtlantaGA30332-0280 United States Department of Computer Science and Engineering Arizona State University TempeAZ85287-5406 United States

The implementation details of a Lisp environment built on top of a distributed operating system are presented. The system provides transparent distribution, protected large-grain persistent heaps, concurrency within e... 详细信息

ISBN: (纸本)0818628650

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：