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

15th Annual International computer Software and Applications Conference, CMPSAC 1991

作者： Lumpp, James E. Shultz, Roger K. Casavant, Thomas L. Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa CityIA52242 United States Advanced Technology and Engineering Collins Commercial Avionics Rockwell International Corporation Cedar RapidsIA52498 United States

ISBN: (纸本)0818621524

The debugging and testing of commercial software constitutes a substantial portion of the development time and, by most estimates, over fifty percent of the overall cost of software development. For critical applications, such as avionics, complete testing is extremely important. However, as multiprocessor software solutions find their way into these critical applications as a means of increasing performance and reliability, the need for both debugging and testing tools increases dramatically. This paper focuses on the gathering of accurate run-time information providing support for both debugging and testing of embedded multi-processor systems by employing runtime identification of "simple events" and post-execution identification of "compound events." Additionally, we propose a novel 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. © 1991 IEEE.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Boosted incremental nelder-mead simplex algorithm: Distributed regression in wireless sensor networks

IFIP Advances in Information and Communication Technology

引用

IFIP Advances in Information and Communication Technology 2008年 284卷 199-212页

作者： Marandi, Parisa Jalili Charkari, Nasrollah Moghadam Parallel Processing Lab Electrical and Computer Engineering Department Tarbiat Modares University Tehran Iran

ISBN: (纸本)9780387848389

Wireless sensor networks (WSNs) have been of great interest among academia and industry due to their diverse applications in recent years. The main goal of a WSN is data collection. As the amount of the collected data increases, it would be essential to develop some techniques to analyze them. In this paper, we propose an in-network optimization algorithm based on Nelder-Mead simplex to incrementally do regression analysis over distributed data. Then, we improve the resulted regressor by the application of boosting concept from machine learning theory. Simulation results show that the proposed algorithm not only increases accuracy but is also more efficient in terms of communication compared to its gradient based counterparts. © 2008, IFIP International Federation for Information processing. All rights reserved.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Boosting incremental Nelder-Mead simplex for distributed regression over wireless sensor networks

Boosting incremental Nelder-Mead simplex for distributed reg...

引用

International Symposium on Telecommunications, IST

作者： Parisa Jalili Marandi Nasrollah Moghadam Charkari Parallel Processing Laboratory Computer Department Faculty of Engineering Tarbiat Moalem University Tehran Iran

Wireless sensor networks (WSNs) have attracted much interest in recent years. The main goal of a WSN is data collection. As the amount of the collected data increases, it would be essential to analyze them. However, restricted power supply of small sensors makes it a serious problem to transmit all the data to a fusion center for a centralized analysis. This is why the role of in-network processing seems crucial. In this paper, we propose an in-network optimization algorithm based on Nelder-Mead simplex to incrementally do regression analysis over distributed data. Then, we improve the resulted regressor by the application of boosting concept. Simulation results show that the proposed algorithm increases accuracy and is more efficient in terms of communication compared to its counterparts.

关键词： Boosting Algorithm design and analysis Wireless sensor networks Optimization Accuracy Data models Supervised learning

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Use of PARADISE: a meta-tool for visualizing parallel systems

Use of PARADISE: a meta-tool for visualizing parallel system...

引用

International Symposium on parallel processing

作者： J.A. Kohl T.L. Casavant Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA

Addresses the problem of creating software tools for visualizing the dynamic behavior of parallel applications and systems. PARADISE (parallel Animated Debugging and Simulation Environment) approaches this problem by providing a meta-tool environment for generating custom visual analysis tools. PARADISE is a meta-tool because it is a tool which is utilized to create other tools. The authors focus on the user's view of the use of PARADISE for constructing tools which analyze the interaction between parallel systems and parallel applications. An example of its use, involving the PASM parallel processing System, is given.< >

关键词： Visualization Algorithm design and analysis Image analysis parallel processing Laboratories Cities and towns Animation Computational modeling Analytical models Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The seamless approach to reconciling communication and locality in distributed memory parallel systems

The seamless approach to reconciling communication and local...

引用

International Symposium on parallel processing

作者： S.A. Fineberg T.L. Casavant B.H. Pease Parallel PrFessin Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA Parallel Processing Laboratory Department of Electrical and Computer Engineering University of Iowa Iowa IA USA

With recent improvements in single CPU performance, several issues become more important in multiprocessor design. Two of these are interprocessor communication and locality. In parallel systems with fast CPUs, locality is vital to performance. However, traditional parallel programming models such as shared memory or message passing do not naturally lead to programs that exhibit locality. In the paper, the Seamless model for interprocessor communication is presented which is based on locality and that allows the programmer to explicitly manipulate a program's locality to optimize performance. Additionally, this model can support latency tolerance with proper hardware support. Extensions to the C programming language that support this model are also presented. Finally, a parallel program utilizing this model is provided to illustrate the paradigm.< >

关键词： Delay Central processing Unit Programming profession Memory management Message passing Concurrent computing Reduced instruction set computing Cache memory Cities and towns parallel programming

来源：评论

学校读者我要写书评

暂无评论

Boosting Performance and QoS for Concurrent GPU B+trees by Combining-Based Synchronization 23

Boosting Performance and QoS for Concurrent GPU B+trees by C...

引用

28th ACM SIGPLAN Annual Symposium on Principles and Practice of parallel Programming, PPoPP 2023

作者： Zhang, Weihua Zhao, Chuanlei Peng, Lu Lin, Yuzhe Zhang, Fengzhe Lu, Yunping School of Computer Science Fudan University China Institute of Big Data Fudan University China State Key Laboratory of Mathematical Engineering and Advanced Computing China Parallel Processing Institute Fudan University China Department of Computer Science Tulane University United States

ISBN: (纸本)9798400700156

Concurrent B+trees have been widely used in many systems. With the scale of data requests increasing exponentially, the systems are facing tremendous performance pressure. GPU has shown its potential to accelerate concurrent B+trees performance. When many concurrent requests are processed, the conflicts should be detected and resolved. Prior methods guarantee the correctness of concurrent GPU B+trees through lock-based or software transactional memory (STM)-based approaches. However, these methods complicate the request processing logic, increase the number of memory accesses and bring execution path divergence. They lead to performance degradation and variance in response time increasing. Moreover, previous methods do not guarantee linearizability among concurrent requests. In this paper, we design a combined-based concurrency control framework, called Eirene, for GPU B+tree to reduce the overhead of conflict detection and resolution. First, a combining-based synchronization method is designed to combine and issue requests. It combines the requests with the same key, constructs their dependence, decides the issued request, and determines their return values. Since only one request for each key is issued, key conflicts are eliminated. Then, an optimistic STM method is used to reduce structure conflicts. The query and the update requests are partitioned into different kernels. For the update kernels, STM is involved only when the number of the retry reaches a threshold. Finally, a locality-aware warp reorganization optimization is proposed to improve memory behavior and reduce conflicts by exploiting the locality among requests. Evaluations on an NVIDIA A100 GPU show that Eirene is efficient (a throughput of 2.4 billion per second) and can guarantee linearizability. Compared to the state-of-the-art GPU B+tree, it can achieve a speedup of 7.43X and reduce the response time variance from 36% to 5%. © 2023 ACM.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Integration of mobile ad hoc networks and the Internet using mobile gateways

Integration of mobile ad hoc networks and the Internet using...

引用

International Symposium on parallel and Distributed processing (IPDPS)

作者： H. Ammari H. El-Rewini Mobile Computing and Parallel Processing Laboratory Computer Science and Engineering Department School of Engineering Southern Methodist University Dallas TX USA Mobile Computing and Parallel Processing Lab Computer Science and Engineering Department School of Engineering Southern Methodist University Dallas TX USA

Summary form only given. Mobile ad hoc networks (MANET) and the Internet exhibit differences in their network architecture. These differences concern the various sorts of assumptions imposed not only on the structure and topology of the underlying networks, but also on communication patterns of mobile nodes in both networks. Integrating MANET and the Internet into a hybrid network is a challenging problem due to these differences. We propose a three-layer approach that uses both mobile IP and dynamic destination-sequenced distance vector (DSDV) to integrate these two types of networks into a hybrid environment, in order to provide MANET nodes with Internet connectivity and access to the Internet resources. Our approach is based on the use of mobile gateways as an interface between MANET and the Internet. These mobile gateways can use mobile IP when they communicate with the Internet and DSDV when they interact with MANET. We also show the results of several simulation experiments that were conducted to study the integrated environment.

关键词： Mobile ad hoc networks IP networks Internet Mobile computing computer networks Mobile communication Routing protocols Concurrent computing parallel processing computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：