Communication Among Multiple Threads in the Concurrent Wavelet Transformation for Image Compression

With the increasing growth of technology and the entrance into the digital age, a huge amount of image data needs to have handled every time which often presents difficulties. So, these data must be stored and retrieved in an efficient and effective manner, in order for it to be put to practical use. In this connection, wavelet transform is used for decades as it emerged as a cutting edge technology within the field of image analysis and in computer graphics. Due to the intensive computation of wavelet transform of the image data, the multi-threaded concurrent computing is considered to be a solution. The Message Sequence Charts (MSCs) are used effectively to specify the communicating threads in the way where high-level transition systems are used to capture the control flow of the system components and MSCs to describe the non-atomic component interactions. This specification is efficiently amenable to formal verification. We present the way how to specify the communicating threads using MSCs. The compression method and the use of wavelet transform for compression are presented. Moreover, the MSC based specification along with the modified concurrency in the threads for concurrent wavelet transform are also presented.