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

IEEE Southeastcon

作者： Y. Liang C. Rhee S.K. Dhall S. Lakshmivarahan School of Electrical Engineering and Computer Science Parallel Processing Institute University of Oklahama Norman OK USA Department of Mathematics Statistics and Computer Science Eastern Kentucky University Richmond KY USA

Finding depth-first-search (DFS) trees of graphs is one of the fundamental problems in graph theory which has many practical applications. However, there exists no NC parallel algorithm for this problem in general graphs. NC parallel algorithms for finding DFS trees for the interval graphs and circular-arcs graphs are presented. These algorithms take O(log n) time using kappa n processors on the EREW model, where kappa is the number of cliques in a graph of n nodes.< >

关键词： Tree graphs parallel algorithms computer science Read-write memory parallel processing Mathematics Statistics Graph theory Application software Spine

来源：评论

学校读者我要写书评

暂无评论

Design of a system for software testing and debugging for multiprocessor avionics systems

Design of a system for software testing and debugging for mu...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： J.E. Lumpp R.K. Shultz T.L. Casavant Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA Advanced Technology and Engineering Collins Commercial Avionics Rockwell International Corporation Cedar Rapids IA USA

As multiprocessor software solutions find their way into critical applications such as avionics as a means of increasing performance and reliability, the need for both debugging and testing tools increases dramatically. The authors focus on the gathering of accurate run-time information providing support for both debugging and testing of embedded multiprocessor systems by using run-time identification of simple events and postexecution identification of compound events. Additionally, they propose a way of combining specification-based (black-box) system testing and automatic monitoring to substantially reduce the complexity, tedium, and cost of complete structural (white-box) testing.< >

关键词： Software testing System testing Software debugging Software performance Software tools Application software Aerospace electronics Runtime Multiprocessing systems computerized monitoring

来源：评论

学校读者我要写书评

暂无评论

Co-scheduling compute-intensive tasks on a network of workstations: model and algorithms

Co-scheduling compute-intensive tasks on a network of workst...

引用

International Conference on Distributed Computing Systems

作者： M.J. Atallah C. Lock D.C. Marinescu H.J. Siegel T.L. Casavant Computer Sciences Department Purdue University West Lafayette IN USA Dept. of Comput. Sci. Purdue Univ. West Lafayette IN USA Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA

The problem of using the idle cycles of a number of high-performance workstations, interconnected by a high-speed network, for solving computationally intensive tasks is discussed. The classes of distributed applications examined require some form of synchronization among the sub-tasks, hence the need for coscheduling to guarantee that sub-tasks start at the same time and execute at the same pace on a group of workstations. A model of the system that allows the definition of an objective function to be maximized is presented. Then a quadratic time and linear space algorithm is derived for computing the optimal coscheduling.< >

关键词： computer networks Workstations High performance computing Processor scheduling Resource management Concurrent computing Intelligent networks parallel processing Laboratories High-speed networks

来源：评论

学校读者我要写书评

暂无评论

Experimental analysis of communication/data-conditional aspects of a mixed-mode parallel architecture via synthetic computations 90

Experimental analysis of communication/data-conditional aspe...

引用

Proceedings of the 1990 ACM/IEEE conference on Supercomputing

作者： Samuel A. Fineberg Thomas L. Casavant Howard Jay Siegel Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa City IA Parallel Processing Laboratory School of Electrical Engineering Purdue University West Lafayette IN

ISBN: (纸本)9780897914123

Experimentation aimed at determining the potential benefit of mixed-mode SIMD/MIMD parallel architectures is reported. The experimentation is based on timing measurements made on the PASM system prototype at Purdue utilizing carefully coded synthetic variations of a well-known algorithm. The synthetic algorithms used to measure and evaluate this system were based on bitonic sorting of sequences stored in the processing elements. This computation was mapped to both the SIMD and MIMD modes of parallelism, as well as two hybrids of the SIMD and MIMD modes. The computations were coded in these four ways and experiments were performed that explore the trade-offs among them. The results of these experiments are presented and are discussed with special consideration of the effects of the system's architecture. The goal is to (as much as possible) obtain implementation independent analyses of the attributes of mixed-mode parallel processing with respect to the computational characteristics of the application being examined. The results are used to gain insight into the impact of computation mode on synchronization and data-conditional aspects of system performance.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Experimental analysis of communication/data-conditional aspects of a mixed-mode parallel architecture via synthetic computations

Experimental analysis of communication/data-conditional aspe...

引用

Supercomputing Conference

作者： S.A. Fineberg T.L. Casavant H.J. Siegel Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA Parallel Processing Laboratory School of Electrical Engineering Purdue University West Lafayette IN USA

Experimentation aimed at determining the potential benefit of mixed-mode SIMD/MIMD (single instruction, multiple data/multiple instruction, multiple data) parallel architectures is reported. The experimentation is based on timing measurements made on the PASM (Partitionable SIMD/MIMD) system prototype utilizing carefully coded synthetic variations of a well-known algorithm. The synthetic algorithms used to measure and evaluate this system were based on bitonic sorting of sequences stored in the processing elements. This computation was mapped to both the hybrids of the SIMD and MIMD modes. The computations were coded in these four ways and experiments were performed that explore the tradeoffs among them. The results of these experiments are presented and discussed, with special consideration of the effects of the system's architecture. The goal is to obtain implementation-independent analyses of the attributes of mixed-mode parallel processing with respect to the computational characteristics of the application being examined.< >

关键词： computer architecture Concurrent computing parallel processing Sorting parallel architectures Laboratories Prototypes Performance gain Algorithm design and analysis Switches

来源：评论

学校读者我要写书评

暂无评论

Mathematical transformation of Petri-nets for development of parallel/distributed programs

Mathematical transformation of Petri-nets for development of...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Y.E. Papelis T.L. Casavant Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA

A novel approach for visually specifying parallel/distributed software using extended Petri-nets (PNS) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their well-known analytical properties. In order to increase the expressive power of PNs, the extension of transition enabling functions is used. The main focus is a set of automatic transformations derived to transform such an extended net into a basic PN. Then, well-known analytical methods can be used to investigate characteristic properties of the system and validate correct operation. A graphical programming tool (XPAT) has been built to automate the visual programming process as well as the transformations.< >

关键词： Testing parallel processing Control systems Software systems Power system modeling Laboratories Distributed control Distributed computing Petri nets Automatic control

来源：评论

学校读者我要写书评

暂无评论

Specification and identification of events for debugging and performance monitoring of distributed multiprocessor systems

Specification and identification of events for debugging and...

引用

International Conference on Distributed Computing Systems

作者： J.E. Lumpp T.L. Casavant H.J. Siegel D.C. Marinescu Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA Parallel Processing Laboratory School of Electrical Engineering Purdue University USA Parallel Processing Laboratory School of Electrical Engineering Purdue University West Lafayette IN USA Computer Science Department Purdue University West Lafayette IN USA

The design of a debugging and performance analysis system that includes a specification language for process-level events and hardware for nonintrusive identification of these events during the execution of parallel and distributed application for a nonshared memory system is presented. The design is based on a formal event/action model and a layered architecture model that have been previously presented. Background, related work, and specification, and identification of events are discussed.< >

关键词： Debugging computerized monitoring Programming profession Multiprocessing systems parallel processing Laboratories Condition monitoring Hardware Application software Data structures

来源：评论

学校读者我要写书评

暂无评论

A distributed management scheme for partitionable parallel computers

引用

IEEE Transactions on parallel and Distributed Systems 1990年第1期1卷 120-126页

作者： M. Jeng H.J. Siegel Computer Science Department University of Houston Houston TX USA Parallel Processing Laboratory School of Electrical Engineering Purdue University West Lafayette IN USA

A distributed scheme for dynamic partitioning is investigated. Distributed procedures to split a subsystem and to combine subsystems are presented. The correctness of each of these two procedures is shown, and the complexity is analyzed. The procedures are applicable to parallel computers that use interconnection networks, such as hypercube, omega, multistage cube, and extra-stage cube networks.< >

关键词： Concurrent computing Distributed computing Multiprocessor interconnection networks computer networks parallel processing Application software Hypercubes Intelligent networks Resource management Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

Efficient masking techniques for large-scale SIMD architectures

Efficient masking techniques for large-scale SIMD architectu...

引用

Frontiers of Massively parallel Computation

作者： W.G. Nation S.A. Fineberg M.D. Allemang T. Schwederski T.L. Casavant H.J. Siegel Parallel Processing Laboratory School of Electrical Engineering Purdue University West Lafayette IN USA Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA Institute for Microelectronics Stuttgart Stuttgart Germany

SIMD (single-instruction-stream, multiple-data-stream) architectures require mechanisms that efficiently enable and disable mask processors to support flexible programming. Most current SIMD architectures use local masking. Global processor masks, specified by the control unit, are more efficient for tasks where the masking is data independent. An efficient hybrid masking technique that supports global masking, as well as local masking, for SIMD architectures constructed from standard microprocessors is proposed. A design for the hybrid mechanism is described, and its experimental performance using the existing PASM prototype is examined. It is shown that the hybrid masking technique can increase the utilization of PEs and thus increase performance, the degree of improvement being algorithm dependent.< >

关键词： Large-scale systems parallel processing Microprocessors Laboratories Concurrent computing computer architecture Prototypes Microelectronics Cities and towns parallel programming

来源：评论

学校读者我要写书评

暂无评论

A model for monitoring and debugging parallel and distributed software

A model for monitoring and debugging parallel and distribute...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： D.C. Marinescu J.E. Lumpp T.L. Casavant H.J. Siegel Computer Science Department Purdue University West Lafayette IN USA School of Electrical Engineering Parallel Processing Laboratory Purdue University West Lafayette IN USA Department of Electrical snd Computer Engineering University of Iowa Iowa IA USA Purdue Univ. West Lafayette IN USA

Several aspects of the multidimensional problem of providing monitoring support for the debugging and performance analysis of distributed and parallel systems and parallel applications are presented. The key elements of the solution to the problem are a formal event-action model at the process level and a layered architectural model. The application of the event-action model to the development of the abstract layered architectural model is shown, as well as a proposed implementation sketch of a nonintrusive monitor for the PASM parallel processing system.< >

关键词： Software debugging Yarn Probes Hardware Instruments computerized monitoring parallel processing Application software Timing Condition monitoring

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：