Dissertations / Theses on the topic 'Programs analysis'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Programs analysis.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Nagulakonda, Vikram. "Assertion seeding development of program instrumentation through iterative formal analysis /." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1080.
Full textJakobsson, Filip. "Static Analysis for BSPlib Programs." Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE2005.
Full textArmstrong, Alasdair. "Formal analysis of concurrent programs." Thesis, University of Sheffield, 2015. http://etheses.whiterose.ac.uk/13089/.
Full textKim, Minjang. "Dynamic program analysis algorithms to assist parallelization." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/45758.
Full textZhang, Connie. "Static Conflict Analysis of Transaction Programs." Thesis, University of Waterloo, 2000. http://hdl.handle.net/10012/1052.
Full textXu, HaiYing. "Dynamic purity analysis for Java programs." Thesis, McGill University, 2007. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18481.
Full textLin, Nai-Wei. "Automatic complexity analysis of logic programs." Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186287.
Full textMitchell, Neil. "Transformation and analysis of functional programs." Thesis, University of York, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.495901.
Full textAbu, Hashish Nabil. "Mutation analysis of dynamically typed programs." Thesis, University of Hull, 2013. http://hydra.hull.ac.uk/resources/hull:8444.
Full textBenton, Peter Nicholas. "Strictness analysis of lazy functional programs." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.281891.
Full textCarré, Jean-Loup. "Static analysis of embedded multithreaded programs." Cachan, Ecole normale supérieure, 2010. https://theses.hal.science/tel-01199739.
Full textHardwicke, Shannon Bragg. "An Analysis of Student Assistance Programs." Diss., Virginia Tech, 2006. http://hdl.handle.net/10919/27780.
Full textStewart, Jonathan A. "An Analysis of Bilingual Programs in the Context of a Schoolwide Reading Program." DigitalCommons@USU, 2004. https://digitalcommons.usu.edu/etd/6217.
Full textScott, Christopher G. "Undergraduate leadership programs a case study analysis of Marietta College's McDonough Leadership Program /." Ohio : Ohio University, 2007. http://www.ohiolink.edu/etd/view.cgi?ohiou1187296643.
Full textScott, Christopher G. "Undergraduate Leadership Programs: A Case Study Analysis of Marietta College’s McDonough Leadership Program." Ohio University / OhioLINK, 2007. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1187296643.
Full textMcGraw, Lora K. "Challenging masculinities: a program analysis of male-based university sexual violence prevention programs." Thesis, Kansas State University, 2017. http://hdl.handle.net/2097/35389.
Full textHackett, James Simpson. "An economic analysis of multiple use forestry using FORPLAN-Version 2." Thesis, University of British Columbia, 1989. http://hdl.handle.net/2429/29033.
Full textWu, Jerry. "Using dynamic analysis to infer Python programs and convert them into database programs." Thesis, Massachusetts Institute of Technology, 2018. https://hdl.handle.net/1721.1/121643.
Full textRodriguez, Dulma. "Amortised resource analysis for object-oriented programs." Diss., lmu, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:19-149832.
Full textBernhard, Joshua C. "An analysis of Company XYZ's insurance programs." Menomonie, WI : University of Wisconsin--Stout, 2005. http://www.uwstout.edu/lib/thesis/2005/2005bernhardj.pdf.
Full textNguyen, Phung Hua Computer Science & Engineering Faculty of Engineering UNSW. "Static analysis for incomplete object-oriented programs." Awarded by:University of New South Wales. School of Computer Science and Engineering, 2005. http://handle.unsw.edu.au/1959.4/24228.
Full textNovillo, Diego. "Analysis and optimization of explicitly parallel programs." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0012/NQ60007.pdf.
Full textLehner, William D. "An analysis of Naval Officer acession programs." Monterey, Calif. : Naval Postgraduate School, 2008. http://bosun.nps.edu/uhtbin/hyperion-image.exe/08Mar%5FLehner.pdf.
Full textLehner, William D. "An analysis of Naval Officer accession programs." Thesis, Monterey, Calif. : Naval Postgraduate School, 2008. http://handle.dtic.mil/100.2/ADA479949.
Full textSereni, Damien. "Termination analysis of higher-order functional programs." Thesis, University of Oxford, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.437001.
Full textWeiser, David A. "Hybrid analysis of multi-threaded Java programs." Laramie, Wyo. : University of Wyoming, 2007. http://proquest.umi.com/pqdweb?did=1400971421&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.
Full textGreenquist, Chad J. "An analysis of IABC Minnesota training programs." Online version, 1998. http://www.uwstout.edu/lib/thesis/1999/1999greenquistc.pdf.
Full textSands, David. "Calculi for time analysis of functional programs." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/46536.
Full textBalachandra, Lakshmi 1974. "Experimental learning programs : an analysis and review." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/28687.
Full textLamb, Andrew Allinson 1980. "Linear analysis and optimization of stream programs." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/29668.
Full textRassa, Adam Omary. "A cost analysis of medicine donation programs to Tanzania’s neglected tropical diseases control program." University of the Western Cape, 2019. http://hdl.handle.net/11394/7055.
Full textHooker, Taylor. "Equine Assisted Programs for Military Service Members| A Program Evaluation Using Importance-Performance Analysis." Thesis, Clemson University, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10792627.
Full textTinker, Audrey Kristen. "The Austin Green Building Program: an analysis of the program's effectiveness." Diss., Texas A&M University, 2003. http://hdl.handle.net/1969.1/1492.
Full textNagapattinam, Ramamurthi Ragavendar. "Dynamic Trace-based Analysis of Vectorization Potential of Programs." The Ohio State University, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=osu1339733528.
Full textZhan, Jin Ping. "Review and verification of marine riser analysis programs." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for marin teknikk, 2010. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-11640.
Full textCain, Andrew Angus, and n/a. "Dynamic data flow analysis for object oriented programs." Swinburne University of Technology, 2005. http://adt.lib.swin.edu.au./public/adt-VSWT20060904.161506.
Full textBaspaly, Dave. "Analysis of community mediation programs in North America." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ54546.pdf.
Full textWeston, Nathan Philip. "Incremental data-flow analysis for aspect-oriented programs." Thesis, Lancaster University, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.543988.
Full textBernard, Amy Lynn. "A descriptive analysis of selected smoking cessation programs." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/774763.
Full textGreen, Kerrie L. "A descriptive analysis of cardiac rehabilitation education programs." Virtual Press, 2000. http://liblink.bsu.edu/uhtbin/catkey/1177976.
Full textNakade, Radha Vi. "Verification of Task Parallel Programs Using Predictive Analysis." BYU ScholarsArchive, 2016. https://scholarsarchive.byu.edu/etd/6176.
Full textSălcianu, Alexandru D. (Alexandru Doru) 1975. "Pointer analysis and its applications for Java programs." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/86781.
Full textNavaratnam, K. K. "Cost-benefit analysis of secondary vocational education programs." Diss., Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/76461.
Full textFuller, Judith Ann. "A comparative analysis of two television reading programs /." The Ohio State University, 1987. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487327695620589.
Full textNaci, Sofiane. "Data analysis and optimisation of array-dominated programs." Thesis, University of Cambridge, 2008. https://www.repository.cam.ac.uk/handle/1810/252096.
Full textHayashi, Yasushi. "Shape-based cost analysis of skeletal parallel programs." Thesis, University of Edinburgh, 2001. http://hdl.handle.net/1842/14029.
Full textOhlsson, Henry. "Cost-benefit analysis of labor market programs : applied to a temporary program in northern Sweden." Doctoral thesis, Umeå universitet, Institutionen för nationalekonomi, 1988. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-65820.
Full textNailor, Michael G. "The economics of voluntary cost-share programs, an analysis of the rural water quality program." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0032/MQ47351.pdf.
Full textSettenvini, Matteo. "Algorithmic Analysis of Name-Bounded Programs : From Java programs to Petri Nets via π-calculus". Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3112.
Full textMaglaras, Dimitrios. "A formal mechanism for analysis and re-implementation of legacy programs." Thesis, University of South Wales, 2001. https://pure.southwales.ac.uk/en/studentthesis/a-formal-mechanism-for-analysis-and-reimplementation-of-legacy-programs(2173ac6f-5d70-4bf4-8efb-c4fe4ff7d17a).html.
Full text