توضیح اصطلاحات فقہیہ: بذل المجہود کا مطالعہ و تجزیہ

Istilahat-e-fiqhia (Juristic terms) is of vital importance in understanding the exact meaning of the Islamic injunctions. Hadith Commentators, therefore, in their Hadith commentaries, ardently explain these terms literally as well as idiomatically. The present article, with the said perspective, studies Bazl al-Majhud fi Hall Sunan Abi Dawud, a multi-voluminous Arabic commentary of classical hadith corps Sunan Abi Dawud by renowned hadith scholar Moulana Khalil Ahmad Saharanpuri. It discovers that Moulana Saharanpuri elucidates the juristic terms with all the methods adopted by the experts of Ilm Lughat, Ilm Gharib al-Hadith, etc. He, in his elucidation, not only gives the inquiries of the experts but also evaluates them and gives his observations. However in some places he just copies the experts and doesn’t comment.

Performance Improvement of Parallel Sparse Matrix-Vector Product on Pc Cluster

The efficient parallelization of sparse matrix-vector product (SMVP) is of prime importance in scientific computing. To achieve this on a distributed memory computers, we concentrate on minimizing the inter-processor communication, achieving a good balance of workload, overlapping communication with computation along with optimizing single processor performance. The thesis consists of two parts presenting the optimization and improvement of sparse matrix-vector multiplication performance on single as well as multi processors. For the performance improvement of SMVP on a single scalar processor, we propose two sparse storage formats, namely the grouped compressed row storage with permutation (GCRSP) and the blocked compressed row storage with permutation (BCRSP). The proposed formats are designed to efficiently exploit the benefits of blocking such as reduced indirect addressing, increased spatial and temporal locality along with eliminating the corresponding overheads. For the good load balancing and low communication cost, reordering of sparse matrices according to their sparsity structure is highly important. For this purpose we proposed reordering based partitioning strategies that tend to exploit sparsity of input matrix presenting the balanced load distribution along with the reduced communication cost. It has been observed that GCRSP improves the performance over simple compressed row storage (CRS) and compressed row storage with permutation (CRSP) with an average of 16% and 25%, respectively. Moreover, due to blocking in BCRSP, the performance improvements of an average of 32%, 41% and 20% are observed over CRS, CRSP and GCRSP respectively. Likewise, the proposed partitioning models permuted row column matrix produce an average of 49% better load balancing and 14% better communication than the corresponding naïve row/column and checker board models. Moreover, they produce same level of balanced load and an average of 78% better communication than the corresponding balanced naïve partitioning i.e. row/column block and balanced checker board (BCH) models. On the whole an average of 30% performance gain for parallel SMVP is achieved by using BCRSP format along with permuted row partitioning over the implementation using CRS format with naïve row partitioning using cluster of eight processors.