Search or add a thesis

Advanced Search (Beta)
Home > Formal Design and Verifications in Parallel File Systems

Formal Design and Verifications in Parallel File Systems

Thesis Info

Access Option

External Link

Author

Ikram Ullah, Muhammad

Supervisor

Nasro Min-Allah

Program

PhD

Institute

COMSATS University Islamabad

City

Islamabad

Province

Islamabad.

Country

Pakistan

Thesis Completing Year

2010

Thesis Completion Status

Completed

Subject

Computer Science

Language

English

Link

http://prr.hec.gov.pk/jspui/handle/123456789/1807

Added

2021-02-17 19:49:13

Modified

2024-03-24 20:25:49

ARI ID

1676727759916

Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Similar


In this dissertation, the architecture of the existing file systems such as EXT, NTFS and UFS is reviewed. A study of space utilization patterns in different file systems has been presented. Effects of directory depth on file access have been discussed. Moreover, the use of formal approaches in design and verifications of parallel file systems are presented. Prototype verification system (PVS) is used as a tool to specify and verify the file system architecture. We used a top down approach to formalize the hierarchical file systems. The most important aspects of a file system such as read, write, delete and move are formalized using refinement techniques where abstract definitions of these operations are specified and then refined towards a pointer based application. Furthermore, formal specification and verification of the cyclic data striping algorithm for parallel file systems have been presented with the help of proof assistant PVS. Our study of applying formal methods to parallel file system design opens many new directions for the future research. Formalizing the complete parallel file system is a grand challenge for the scientific community. The hard links and file system security must be formally designed and verified for building robust, reliable and error free parallel file system architectures. Several different algorithms for tree structure organization of data files must be formally verified before use in parallel file systems.
Loading...
Loading...

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

ویکھو کیڈا ہے یار کمال کردا

ویکھو کیڈا ہے یار کمال کردا
آپے وچھڑدا، آپ ملال کردا
گیوں گیسو دراز نیں موہڈیاں تے
کوئی جا کے اوہنوں سوال کردا
اینویں پھردا جنگلاں وچ کملا
پہلے اندروں پرت کے بھال کردا
اینویں دوس ہے بندیاں ماڑیاں تے
چاہندا جو سو جاہ و جلال کردا
پہلے سچ تے جھوٹ نتار لیندا
جو چاہندا سو ساڈے نال کردا
جے کر اپنے مار نہ سٹ جاندے
غیر کردا، کی اوہدی مجال کردا
جند جان تے مال سب وار دیندے
اک وار جو خط ارسال کردا
منہ ویکھدا رتا شریک دا جے
نال چاٹاں دے اپنا لال کردا

The Aims of the Prophetic Hijrah and its Teaching and Guidance

The aim of Hijrah is not to run away from problem that occurred in the process of giving da'wah, but rather to establish the resolve in solving the problem. Hijrah as a movement carried out by the Prophet Muhammad (PBUH) and his companions from Makkah to Madinah, aimed to keep, maintain and uphold the message of Allah, in the form of Islamic aqeedah and shari’a, in order to achieve the mercy and pleasure of Allah SWT. This move, as we can see in the seerah, later brought a great impact to the success of the Islamic da’wah which was increasingly evolving. Hence the fundamental problem that has led to the migration has been solved. In fact, the Hijrah brought a significant impact not just to the Islamic world but also to world civilisation. The story and background of the migration of Rasulullah (PBUH) from Makkah to Madinah is touched in this writing to show that there were a lot of lessons and guidance that can be inferred. It did not merely signify a final destination for Makkah Muslims, but was also the beginning of a continuous effort to establish a strong and resilient ummah. The event of Hijrah in fact had changed the world after that forever. It highlighted the perseverance of the Rasulullah (PBUH) and the early Muslims through the difficult times. Hijrah demonstrates that for people with faith, there is hope for ease after difficulties. There was also a great unity model among Muslims of different backgrounds. The Hijrah had also marked the beginning of the Islamic State under the leadership of Rasulullah (PBUH) which then became a reference for all state governance everywhere in the future

Measurement of Banks Efficiency in Emerging Economices

The objective of the study was to measure the risk-adjusted efficiency of 918 banks operating in 24 emerging economies for the period of 1999-2013. This study was taken into account the undesirable outputs, i.e. non-performing loans while considered the sequential nature of banking operations to measure more robust efficiency estimates. To achieve this objective, the study employed a directional distance function technique based on network DEA approach. The study concluded that overall average efficiency of banks increased as NPLs was incorporated in the model. The risk-adjusted efficiency of banks was 0.80 points. The study performed three equality of distributions test. First, it made comparative analysis of efficiency scores with and without incorporating undesirable outputs in modeling. The distributions of efficiency scores were significantly different when credit quality was taken into account. Second, the study found significant difference between efficiency scores of deposit mobilization stage and loan financings stage. Third, it compared the efficiency scores in pre-crisis and post-crisis period and reported significant difference at 1% level of significance. The results of a follow-on non-parametric regression found that smaller, better capitalized and private banks were more efficient. The conditions conducive for high levels of technical efficiency by banks were found to be characterized by economic growth and low inflation. The financial crisis of 2007–2008 impacted more adversely the regions that had higher proportions of non-performing loans in banks‟ portfolios. However, the empirical findings of the study had fundamental implications for policy makers, such as (i) the banks need to be sufficiently capitalized (ii) Central banks need to play their role in discouraging the accumulation of non-performing loans and (iii) good macroeconomic management that keeps inflation low and stimulate growth provides the environment in which the bank can perform efficiently.