Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection for MPI programs have the shortage of p...
详细信息
ISBN:
(纸本)9781479981113
Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection for MPI programs have the shortage of providing both input and non-determinism coverage, leading to missed bugs. In this paper, we employ symbolic execution to ensure the input coverage, and propose an on-the-fly schedule algorithm to reduce the interleaving explorations for non-determinism coverage, while ensuring the soundness and completeness. We have implemented our approach as a tool, called MPISE, which can automatically detect the deadlock and runtime bugs in MPI programs. The results of the experiments on benchmark programs and real world MPI programs indicate that MPISE finds bugs effectively and efficiently. In addition, our tool also provides diagnostic information and replay mechanism to help understand bugs.
Based on the high lift generated by Weis-Fogh mechanism, two stage wave power electricity generation device is designed, a size objective optimization model of parallel computation is established, the formula of Green...
详细信息
Based on the high lift generated by Weis-Fogh mechanism, two stage wave power electricity generation device is designed, a size objective optimization model of parallel computation is established, the formula of Green function is obtain, and hydrodynamics is calculated by using parallel computer.
With the rich set of embedded sensors installed in smartphones and the large number of mobile users, we witness the emergence of many innovative commercial mobile crowdsensing applications that combine the power of mo...
详细信息
T2O is one of the e-commerce business modes which developed from the context of media convergence. The paper explained the essence and motivation of T2O through the research methods of qualitative research, logical in...
详细信息
T2O is one of the e-commerce business modes which developed from the context of media convergence. The paper explained the essence and motivation of T2O through the research methods of qualitative research, logical inference, case analysis and so on. Firstly, the paper introduced the concept and mechanism of the T2O. Then, it analyzed the differences between the traditional e-commerce modes and T2O, and pointed the uniqueness of T2O. Finally, it launched the motivation of T2O's development from seven perspective, that are the policy-driven, internet thinking, technology-driven, industrial convergence, market demand, business integration and value chain integration.
The construction of modern software projects with a multitude of quality requirements is a challenging and complex task particularly for large scale systems. Underestimating this complexity may result in project failu...
详细信息
The construction of modern software projects with a multitude of quality requirements is a challenging and complex task particularly for large scale systems. Underestimating this complexity may result in project failures at worst or the delivery of poor quality products that are plagued with software defects at best. However, introducing scientific rigor at every step of the software development life cycle (SDLC) can reduce defect leakage through the different stages. While this can improve quality considerably it might affect upfront cost and speed of delivery. Thus, there is a clear need to introduce automation in software production and defect tracking. The Zero Deviation Life Cycle (ZDLC) framework addresses this conflict i.e. Quality vs. Cost, by proposing a methodology that can be applied not only to new projects but also to legacy applications.
With the rapid development of internet, the distributed file system is gradually facing problem of supporting concurrent 10 K and 100 K servers operations, so it now becomes an important issue that how to improve perf...
详细信息
With the rapid development of internet, the distributed file system is gradually facing problem of supporting concurrent 10 K and 100 K servers operations, so it now becomes an important issue that how to improve performance of the metadata server in high concurrent reading/writing environments. This paper designs and implements the distributed file system named RaccoonFS, researches and solves the problem of low response speed of namespace management brought by the lock competition in distributed file system, and it proposes a new metadata namespace management method that realized the technology of Copy-On-Write and Multi-Version Concurrency Control in B+ tree. Through the evaluation, the namespace management that combined COW and MVCC in B+ tree greatly improved the read and write performance.
Cloud computing refers to subscription-based, fee-for-service utilization of computer hardware and software over the Internet. The model is gaining acceptance for business information technology (IT) applications beca...
详细信息
Moving objects extraction is a crucial part of video surveillance system. This paper presents a foreground-background algorithm for motion detection. It is based on traditional adaptive mixture Gaussian model. By dyna...
详细信息
Moving objects extraction is a crucial part of video surveillance system. This paper presents a foreground-background algorithm for motion detection. It is based on traditional adaptive mixture Gaussian model. By dynamically adjusting the parameters and the number of Gaussian components, the computation cost reduced greatly. In order to solve detected moving target based on Gaussian mixture model easily broken, two-way matching method on the basis of frame difference thoughts with a series of image filtering methods are combined. In a stable outdoor detector, the algorithm deals with lighting changes, swaying of leaves, and various noises reliably. The proposed algorithm can identify moving objects more exactly than traditional method. An intrusion detection alarming system can be built to discover the abnormity by using the algorithm to process and analyze the video sequences.
Digital Library large data resource lack of analysis and use,in order to mining the value of big data resources,proposed platformization analysis and processing *** integrate R and Hadoop to construct distributed data...
详细信息
Digital Library large data resource lack of analysis and use,in order to mining the value of big data resources,proposed platformization analysis and processing *** integrate R and Hadoop to construct distributed data analysis platform,many big data analytical can be decomposed into “large” and “small” data processing section,overcome before scheme puzzle on analytical of large dataset,improve the performance of data analysis,platform able to handle data analysis tasks.
With the development of Internet,the amount of Information has been rapidly growing which is spread *** order to improve the value and accuracy of science information that is pushed in this paper,an intelligence dicho...
详细信息
With the development of Internet,the amount of Information has been rapidly growing which is spread *** order to improve the value and accuracy of science information that is pushed in this paper,an intelligence dichotomous method for science information categorization to identify science information from massive Web news is *** the experiment,85.3%recognition rate of the recognition non-tech news are realized and 82.9%accuracy rate,the results show that the method can effectively identify Web science information news and reduce the amount of independent news.
暂无评论