Practical programming for static average-case analysis: the MOQA investigation

Show simple item record

dc.contributor.advisor Manning, Joseph B. en Townley, Jacinta Maria 2014-01-29T16:34:46Z 2014-01-29T16:34:46Z 2013 2013
dc.identifier.citation Townley, J. M. 2013. Practical programming for static average-case analysis: the MOQA investigation. PhD Thesis, University College Cork. en
dc.identifier.endpage 252
dc.description.abstract This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future. en
dc.format.mimetype application/pdf en
dc.language.iso en en
dc.publisher University College Cork en
dc.rights © 2013, Jacinta Maria Townley en
dc.rights.uri en
dc.subject Programming en
dc.subject Static average-case analysis en
dc.subject MOdular Quantitative Analysis (MOQA) en
dc.subject.lcsh Programming languages (Electronic computers) en
dc.subject.lcsh Real-time data processing. en
dc.subject.lcsh Real-time data processing en
dc.subject.lcsh Real-time programming en
dc.title Practical programming for static average-case analysis: the MOQA investigation en
dc.type Doctoral thesis en
dc.type.qualificationlevel Doctoral en
dc.type.qualificationname PhD (Science) en
dc.internal.availability Full text available en No embargo required en
dc.description.version Accepted Version
dc.contributor.funder Science Foundation Ireland en
dc.description.status Not peer reviewed en Computer Science en
dc.check.type No Embargo Required
dc.check.reason No embargo required en
dc.check.opt-out No en
dc.thesis.opt-out false
dc.check.embargoformat Not applicable en
dc.internal.conferring Autumn Conferring 2013 en

Files in this item

This item appears in the following Collection(s)

Show simple item record

© 2013, Jacinta Maria Townley Except where otherwise noted, this item's license is described as © 2013, Jacinta Maria Townley
This website uses cookies. By using this website, you consent to the use of cookies in accordance with the UCC Privacy and Cookies Statement. For more information about cookies and how you can disable them, visit our Privacy and Cookies statement