Programs are often subjected to significant optimizing and parallelizing transformations. It is therefore important to model parallel behaviours and formally verify the equivalence of their functionalities. In this wo...
详细信息
ISBN:
(纸本)9781467385312
Programs are often subjected to significant optimizing and parallelizing transformations. It is therefore important to model parallel behaviours and formally verify the equivalence of their functionalities. In this work, the untimed PRES+ model (Petri net based Representation of Embedded Systems) encompassing data processing is used to model parallel behaviours. Being value based with inherent scope of capturing parallelism, PRES+ models depict such data dependencies more directly; accordingly, they are likely to be more convenient as the intermediate representations (IRs) of boththe source and the transformed codes for translation validation than strictly sequential variable-based IRs like Finite State Machines with Datapath (FSMDs) (which are essentially sequential control data-flow graphs (CDFGs)). In this work, a path based equivalence checking method for PRES+ models is presented.
In this paper, we propose a high-rate nonbinary multi-parallel-concatenated single-parity-check (NB-MPCSPC) code as a low-complexity coding scheme for data storage channels. the proposed scheme is composed of parallel...
详细信息
ISBN:
(纸本)9781467372190
In this paper, we propose a high-rate nonbinary multi-parallel-concatenated single-parity-check (NB-MPCSPC) code as a low-complexity coding scheme for data storage channels. the proposed scheme is composed of parallel branches of nonbinary SPC codes over a Galois Field (GF) and can be flexibly designed to achieve a wide range of code rates and codeword lengths. the encoding can be directly implemented based on the parity-check matrix; while the decoding is simplified by using the first-order MacLaurin Series to approximate the check-node operation. Compared with its binary counterpart, the proposed nonbinary coding scheme significantly improves bit-error-rate (BER) performance in the error-floor region. Simulation results show that a noticeable performance gain is obtained over conventional binary low-density parity-check (LDPC) codes when used in turbo equalization for partial-response channels.
Hadoop/MapReduce has emerged as a de facto programming framework to explore cloud-computing resources. Hadoop has many configuration parameters, some of which are crucial to the performance of MapReduce jobs. In pract...
详细信息
Recent researches focus on the data replication issue from relational tables to schema-free collections in a batch processing way. However, there are few publications on live data replication in real time. In this pap...
详细信息
ISBN:
(纸本)9781467394741
Recent researches focus on the data replication issue from relational tables to schema-free collections in a batch processing way. However, there are few publications on live data replication in real time. In this paper, we attempt to address this legacy issue with new stream processing framework. the process of replication consists of log-based change data capture and stream-based data replication. Data replication mappings are present, and the proposed architecture of stream processing framework including column grouping, column merging and column versioning, is introduced to avoid data lost in case of failure. Finally, our experimental evaluation of live data replication approach with stream processing framework shows the higher effectiveness and efficiency than current methods.
Observing the latest manufacturing processes, the following tendencies can be noted: the gain of the energetic efficiency and shortening of the processing time withparallel preservation of the dimensions tolerance, s...
详细信息
Cloud computing technologies are bringing new scales of computational processing power and storage capacity to meet very demanding requirements of today's applications. One such family of applications is the one o...
详细信息
ISBN:
(纸本)9781467394741
Cloud computing technologies are bringing new scales of computational processing power and storage capacity to meet very demanding requirements of today's applications. One such family of applications is the one of analytics based on processing big data. More specifically, there is a large family of analytics applications from processing log data files. Indeed, log data files are commonplace in many Internet-based systems and applications, comprising system logs, server logs, application logs, databases logs, user activity logs, etc. these applications are analytics oriented applications based on processingthe various types of log files. While log data file processing has been recently an issue of investigation by many researchers and developers, the new feature is that of scale: Cloud based systems can enable processing unlimited amount of data either off-line or online in streaming mode. In this work we evaluate the performance of a MapReduce Hadoop-based implementation for processing large log data files of a Virtual Campus. the study aims to reveal the potential of using such implementations as a basis for learning analytics for use by a variety of users in a Virtual Campus.
It is very important for the study of predicting fluids flowing mechanisms in porous media that the characteristics of porous media can be extracted in relatively smaller scales, and then are copied in a larger region...
详细信息
ISBN:
(纸本)9781479966011
It is very important for the study of predicting fluids flowing mechanisms in porous media that the characteristics of porous media can be extracted in relatively smaller scales, and then are copied in a larger region to reconstruct 3D porous media. One of multiple-point statistics (MPS) method, the single normal equation simulation algorithm (SNESIM), has been widely used in reconstructing 3D porous media recently. However, owing to its large CPU cost and rigid memory demand, the application of SNESIM has been limited in some cases. To overcome this disadvantage, parallelization of SNESIM is performed on the compute unified device architecture (CUDA) kernels in the graphic processing unit (GPU) to acquire high-quality reconstruction with a low CPU cost. this parallel GPU-version 3D porous media reconstruction method only requires fixed and relatively small size memory and benefits from the tremendous calculating power given by CUDA kernels to shorten the CPU time, showing its high efficiency and a useful trend for the reconstruction of porous media compared withthe former CPUversion reconstruction method.
this short note tries to propose a somewhat different structure of the prevalent power system analysis approaches as a research idea for the near future power grids. It proposes a change in attitude to deal with power...
详细信息
ISBN:
(纸本)9781510830059
this short note tries to propose a somewhat different structure of the prevalent power system analysis approaches as a research idea for the near future power grids. It proposes a change in attitude to deal with power system basic analysis such as load flow, fault analysis, transient stability, harmonic analysis, and so on; the new attitude seem more suitable than prevalent frameworks for the coming power grids in which privatization, restructuring and data security accompanied by advanced communication and measuring facilities are all came to each other. the letter emphasis on a customer-by-customer decentralized approach which leads us to have real-time analysis of a n-million busbar system on million computers somehow communication transactions are substantially limited, measurements are reduced, restructuring policies are met, and the entire previously research advancements such as parallelprocessing and optimization based features are applicable in the new platform.
GPGPU (General Purpose computing on Graphics processing Units) has marked a revolution in the field of parallel Computing allowing to achieve computational performance unimaginable until a few years ago. this hardware...
详细信息
ISBN:
(纸本)9781467394741
GPGPU (General Purpose computing on Graphics processing Units) has marked a revolution in the field of parallel Computing allowing to achieve computational performance unimaginable until a few years ago. this hardware has proven to be extremely reliable and suitable to simulate Cellular Automata (CA) models for modeling complex systems whose evolution can be described in terms of local interactions. Starting from previous GPGPU implementations of CA models with CUDA, this paper presents an effective implementation of a well-known numerical model for simulating lava flows on Graphical processing Units (GPU) based on the OpenCL (Open Computing Language) standard. In addition, a preliminary Civil Defence application related Hazard maps of an area located at Mt. Etna volcano (South Italy), confirms the validity of OpenCL and both low-cost and high-end graphics hardware as an alternative to expensive solutions for the simulation of CA models.
Traditional signal direction of arrival (DOA) estimation algorithm has exist some problems, such as a large amount of calculation and slow convergence speed. In this paper, neural network method is used to improve the...
详细信息
Traditional signal direction of arrival (DOA) estimation algorithm has exist some problems, such as a large amount of calculation and slow convergence speed. In this paper, neural network method is used to improve the performance of DOA estimation. Due to the fact that BP neural network is inclined to be trapped in local minimum point, particle swarm optimization (PSO) algorithm is applied to optimization the weights and threshold. the model of DOA estimation based on PSO-BP neural network is constructed and trained. Simulation results show that, compared with classical RBFNN method and traditional MUSIC algorithm, the optimized BP neural network method has higher estimation accuracy and real-time performance.
暂无评论