Wavelet transform has emerged as a cutting edge technology within the field of image analysis and in computer graphics. However, it is a very computationally intensive process which requires innovative and computationally efficient method. The concurrent wavelet transform might be a solution to it. Here multiple threads are engaged to transform the image data concurrently. The previously proposed concurrent method has been modified and the communication among the threads basically based on the Message Sequence Charts (MSCs), has been modeled. The modified concurrent wavelet transform for image compression, MSCs based modeling of the communication among the threads and the directions of the formal verification of the modeled communications are proposed in detail.
['Kamrul Hasan Talukder', 'Koichi Harada']
Modeling the Communications in the Multi-threaded System for Concurrent Wavelet Transform to Compress the Image