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

Simple item page
dc.check.embargoformatNot applicableen
dc.check.infoNo embargo requireden
dc.check.opt-outNoen
dc.check.reasonNo embargo requireden
dc.check.typeNo Embargo Required
dc.contributor.advisorManning, Joseph B.en
dc.contributor.authorTownley, Jacinta Maria
dc.contributor.funderScience Foundation Irelanden
dc.date.accessioned2014-01-29T16:34:46Z
dc.date.available2014-01-29T16:34:46Z
dc.date.issued2013
dc.date.submitted2013
dc.description.abstractThis 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.description.statusNot peer revieweden
dc.description.versionAccepted Version
dc.format.mimetypeapplication/pdfen
dc.identifier.citationTownley, J. M. 2013. Practical programming for static average-case analysis: the MOQA investigation. PhD Thesis, University College Cork.en
dc.identifier.endpage252
dc.identifier.urihttps://hdl.handle.net/10468/1345
dc.language.isoenen
dc.publisherUniversity College Corken
dc.rights© 2013, Jacinta Maria Townleyen
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/en
dc.subjectProgrammingen
dc.subjectStatic average-case analysisen
dc.subjectMOdular Quantitative Analysis (MOQA)en
dc.subject.lcshProgramming languages (Electronic computers)en
dc.subject.lcshReal-time data processing.en
dc.subject.lcshReal-time data processingen
dc.subject.lcshReal-time programmingen
dc.thesis.opt-outfalse
dc.titlePractical programming for static average-case analysis: the MOQA investigationen
dc.typeDoctoral thesisen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD (Science)en
ucc.workflow.supervisormanning@cs.ucc.ie
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
coraAbstract.pdf
Size:
17.25 KB
Format:
Adobe Portable Document Format
Description:
Abstract
Thumbnail Image
Name:
thesis.pdf
Size:
1.44 MB
Format:
Adobe Portable Document Format
Description:
Full Text E-Thesis
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
5.62 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Doctoral Theses
College of Science, Engineering and Food Science - Doctoral Theses
Computer Science - Doctoral Theses