Einloggen

Thematische Bibliographien / Programs analysis / Dissertationen

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Programs analysis.

Dissertationen zum Thema „Programs analysis“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Programs analysis" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

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.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S.)--West Virginia University, 1999.<br>Title from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Jakobsson, Filip. "Static Analysis for BSPlib Programs." Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE2005.

Der volle Inhalt der Quelle

Annotation:

La programmation parallèle consiste à utiliser des architectures à multiples unités de traitement, de manière à ce que le temps de calcul soit inversement proportionnel au nombre d’unités matérielles. Le modèle de BSP (Bulk Synchronous Parallel) permet de rendre le temps de calcul prévisible. BSPlib est une bibliothèque pour la programmation BSP en langage C. En BSPlib on entrelace des instructions de contrôle de la structure parallèle globale, et des instructions locales pour chaque unité de traitement. Cela permet des optimisations ﬁnes de la synchronisation, mais permet aussi l’écriture de

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Armstrong, Alasdair. "Formal analysis of concurrent programs." Thesis, University of Sheffield, 2015. http://etheses.whiterose.ac.uk/13089/.

Der volle Inhalt der Quelle

Annotation:

In this thesis, extensions of Kleene algebras are used to develop algebras for rely-guarantee style reasoning about concurrent programs. In addition to these algebras, detailed denotational models are implemented in the interactive theorem prover Isabelle/HOL. Formal soundness proofs link the algebras to their models. This follows a general algebraic approach for developing correct by construction verification tools within Isabelle. In this approach, algebras provide inference rules and abstract principles for reasoning about the control flow of programs, while the concrete models provide laws

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Kim, Minjang. "Dynamic program analysis algorithms to assist parallelization." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/45758.

Der volle Inhalt der Quelle

Annotation:

All market-leading processor vendors have started to pursue multicore processors as an alternative to high-frequency single-core processors for better energy and power efficiency. This transition to multicore processors no longer provides the free performance gain enabled by increased clock frequency for programmers. Parallelization of existing serial programs has become the most powerful approach to improving application performance. Not surprisingly, parallel programming is still extremely difficult for many programmers mainly because thinking in parallel is simply beyond the human perceptio

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Zhang, Connie. "Static Conflict Analysis of Transaction Programs." Thesis, University of Waterloo, 2000. http://hdl.handle.net/10012/1052.

Der volle Inhalt der Quelle

Annotation:

Transaction programs are comprised of read and write operations issued against the database. In a shared database system, one transaction program conflicts with another if it reads or writes data that another transaction program has written. This thesis presents a semi-automatic technique for pairwise static conflict analysis of embedded transaction programs. The analysis predicts whether a given pair of programs will conflict when executed against the database. There are several potential applications of this technique, the most obvious being transaction concurrency control in systems

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Xu, 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.

Der volle Inhalt der Quelle

Annotation:

The pure methods in a program are those that exhibit functional or side effect free behaviour, a useful property of methods or code in the context of program optimization as well as program understanding. However, gathering purity data is not a trivial task, and existing purity investigations present primarily static results based on a compile-time analysis of program code. We perform a detailed examination of dynamic method purity in Java programs using a Java Virtual Machine (JVM) based analysis. We evaluate multiple purity definitions that range from strong to weak, consider purity forms

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Mitchell, Neil. "Transformation and analysis of functional programs." Thesis, University of York, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.495901.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Benton, Peter Nicholas. "Strictness analysis of lazy functional programs." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.281891.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

Abu, Hashish Nabil. "Mutation analysis of dynamically typed programs." Thesis, University of Hull, 2013. http://hydra.hull.ac.uk/resources/hull:8444.

Der volle Inhalt der Quelle

Annotation:

The increasing use of dynamically typed programming languages brings a new challenge to software testing. In these languages, types are not checked at compile-time. Type errors must be found by testing and in general, programs written in these languages require additional testing compared to statically typed languages. Mutation analysis (or mutation testing) has been shown to be effective in testing statically (or strongly) typed programs. In statically typed programs, the type information is essential to ensure only type-correct mutants are generated. Mutation analysis has not so far been ful

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Hardwicke, Shannon Bragg. "An Analysis of Student Assistance Programs." Diss., Virginia Tech, 2006. http://hdl.handle.net/10919/27780.

Der volle Inhalt der Quelle

Annotation:

The purpose of this study was to examine a sample of students who participated in a student assistance program in Southwest Virginia. Using existing data from a school system in Southwest Virginia, this sample was observed to measure changes in student academic performance. The sample was also examined to determine the extent to which they instituted positive behaviors such as school attendance and reduction of disciplinary actions taken. In addition, this study assessed differences in demographic characteristics among student participants. Also studied was the extent to which gender diffe

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Lin, Nai-Wei. "Automatic complexity analysis of logic programs." Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186287.

Der volle Inhalt der Quelle

Annotation:

This dissertation describes research toward automatic complexity analysis of logic programs and its applications. Automatic complexity analysis of programs concerns the inference of the amount of computational resources consumed during program execution, and has been studied primarily in the context of imperative and functional languages. This dissertation extends these techniques to logic programs so that they can handle nondeterminism, namely, the generation of multiple solutions via backtracking. We describe the design and implementation of a (semi)-automatic worst-case complexity analysis

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Carré, Jean-Loup. "Static analysis of embedded multithreaded programs." Cachan, Ecole normale supérieure, 2010. https://theses.hal.science/tel-01199739.

Der volle Inhalt der Quelle

Annotation:

Cette thèse présente un algorithme d'analyse statique pour des programmes parallèles. Il généralise des techniques d'interprétation abstraite utilisée dans le cas de programmes sans parallélisme et permet de détecter des erreurs d'exécution, exempli gratia, les déréférencements de pointeur invalide, les débordements de tableaux, les débordements d'entiers. Nous avons implémenté cet algorithme. Il analyse un code industriel de taille conséquente (100 000 lignes de code) en quelques heures. Notre technique est modulaire, elle peut utiliser n'importe quel domaine abstrait créé pour le cas de prog

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Stewart, Jonathan A. "An Analysis of Bilingual Programs in the Context of a Schoolwide Reading Program." DigitalCommons@USU, 2004. https://digitalcommons.usu.edu/etd/6217.

Der volle Inhalt der Quelle

Annotation:

There has been much controversy over the effectiveness of bilingual education in helping English language learning (ELL) students to become successful students. One variable overlooked in this literature has been the use of effective instruction in these programs. This investigation compared students in a schoolwide reading program that utilizes research-based practices, Success for All (SF A) and its Spanish counterpart Éxito Para Todos (EPT). Three groups of third-grade students were compared at 8-week intervals throughout the school year: English-speaking students in SF A, ELL (English lang

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Scott, 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Scott, 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

McGraw, 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.

Der volle Inhalt der Quelle

Annotation:

Master of Arts<br>Department of Sociology, Anthropology, and Social Work<br>Nadia Shapkina<br>This study examines male-based sexual violence prevention programs on college campuses. In an effort to combat the widespread problem of sexual violence against college women, universities have implemented sexual assault prevention programs. While past programs have focused on risk-reduction strategies that target women, new programs are beginning to focus on approaching men to challenge hegemonic masculinity and gender social norms that are conducive to sexual violence. Thus far, the methods of these

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Hackett, 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.

Der volle Inhalt der Quelle

Annotation:

This thesis examines a mathematical programming model called FORPLAN as a planning tool for strategic analysis of forest management alternatives. This model uses economic efficiency as the objective of forest management planning. The dynamic theory of multiple use forestry is analyzed and expressed as a linear programming analogue in FORPLAN. The main weakness of this theory is that it focuses on single stand analysis. Even so, forest wide constraints applied to certain FORPLAN formulations compensate for this weakness. A strata-based forest management problem is developed to show the econ

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Wu, 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.

Der volle Inhalt der Quelle

Annotation:

This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 195-196).<br>I present Nero, a new system that automatically infers and regenerates programs that access databases. The developer first implements a Python program that uses lists and dictionaries to implement the database fun

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Bernhard, 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Rodriguez, Dulma. "Amortised resource analysis for object-oriented programs." Diss., lmu, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:19-149832.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Nguyen, Phung Hua Computer Science &amp 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.

Der volle Inhalt der Quelle

Annotation:

Static analysis is significant since it provides the information about the run- time behaviour of an analysed program. Such information has many applications in compiler optimisations and software engineering tools. Interprocedural anal- ysis is a form of static analysis, which can exploit information available across procedure boundaries. The analysis is traditionally designed as whole-program analysis, which processes the entire program. However, whole-program analysis is problematic when parts of the analysed program are not available to partici- pate in analysis. In this case, a whole-prog

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Novillo, 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Lehner, 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.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S. in Leadership and Human Resources Development)--Naval Postgraduate School, March 2008.<br>Thesis Advisor(s): Horner, Donald H., Jr. ; Mehay, Stephen L. "March 2008." Description based on title screen as viewed on May 1, 2008. Includes bibliographical references (p. 85-98). Also available in print.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Lehner, William D. "An analysis of Naval Officer accession programs." Thesis, Monterey, Calif. : Naval Postgraduate School, 2008. http://handle.dtic.mil/100.2/ADA479949.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S. in Leadership and Human Resources Development)--Naval Postgraduate School, March 2008.<br>Thesis Advisor(s): Horner, Donald H., Jr. ; Mehay, Stephen L. "March 2008." Title from title page of PDF document (viewed on: Jul 3, 2008). Includes bibliographical references (p. 85-98).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Sereni, Damien. "Termination analysis of higher-order functional programs." Thesis, University of Oxford, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.437001.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Sands, David. "Calculi for time analysis of functional programs." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/46536.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Balachandra, Lakshmi 1974. "Experimental learning programs : an analysis and review." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/28687.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.B.A.)--Massachusetts Institute of Technology, Sloan School of Management, 2004.<br>"June 2004 -- revised October 2004."<br>Includes bibliographical references (leaves 47-48).<br>Experiential Learning programs have increasingly been included in corporate training programs. Today there is a wide range of experiential learning programs using a variety of methodologies. However, there is a surprising dearth of research on the effectiveness of such programs for learning in business. This thesis reviews and analyzes one form of experiential learning--a program that utilizes outdoor activit

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Lamb, Andrew Allinson 1980. "Linear analysis and optimization of stream programs." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/29668.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.<br>Includes bibliographical references (p. 123-127).<br>As more complex DSP algorithms are realized in practice, there is an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this end, we present a set of aggressive optimizations that target linear sections of a stream program. Our input language is StreamIt, which represents programs as a hierarchical graph of autonomous filters. A filter is linear if each of its outpu

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Greenquist, Chad J. "An analysis of IABC Minnesota training programs." Online version, 1998. http://www.uwstout.edu/lib/thesis/1999/1999greenquistc.pdf.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Weiser, 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Pépin, Martin. "Quantitative and algorithmic analysis of concurrent programs." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS450.

Der volle Inhalt der Quelle

Annotation:

Dans cette thèse nous étudions l'espace d'état des programmes concurrents à l'aide des outils de la combinatoire analytique. Dans un premier temps nous analysons une classe de programmes utilisant du parallélisme, du choix non déterministe, des boucles et de la synchronisation de type fork-join. Pour cette classe nous proposons des résultats quantitatifs sur l'explosion combinatoire de l'espace d'état et des outils algorithmiques efficaces de génération aléatoire uniforme d'exécutions. Dans un second temps nous étudions une nouvelle classe de graphes dirigés sans cycles en tant qu'approximatio

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Rassa, 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.

Der volle Inhalt der Quelle

Annotation:

Masters of Public Health - see Magister Public Health<br>Overreliance on donor supported health programs has crippled many African countries and there is inadequate long-term planning on the future sustainability of health systems. In the age of uncertainty in global politics and global economy, the future of these donor funded programs is also uncertain. It is imperative for African nations to begin to take responsibility for their health programs. In as much as the name “donation” suggests that something is given free of charge, in actual sense this may not be the case due to hidden co

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Hooker, 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.

Der volle Inhalt der Quelle

Annotation:

<p> Developing research, anecdotal evidence and a growing focus on non-pharmacological interventions for veterans with post-traumatic stress support the use equine-therapy as a therapeutic outlet; however, programmatic factors that contribute to veteran’s desire to attend such programs are under-investigated. Furthermore, evaluative processes in equine therapy for this particular population are scare and vary greatly from program to program. The use of the Importance-Performance Analysis (IPA) tool when applied to social services yields direct, applicable feedback of program success and

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Tinker, 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.

Der volle Inhalt der Quelle

Annotation:

Current water shortages in the United States and Texas are expected to only worsen so that by 2050, approximately 40% of both U.S. and Texas residents will live in areas of water scarcity (U.S. House Committee, 2003; Texas Water Development Board, 2003). In response to these grim projections, both lawmakers and environmentalists are calling for conservation measures so that future shortages or costly new supply initiatives are avoided. One area where substantial consumption decreases could be made is the municipal sector, which is projected to account for 35% of all water consumed in Texas by

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Nagapattinam, 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Zhan, 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.

Der volle Inhalt der Quelle

Annotation:

Availability of diverse computation packages for marine risers eases structural assessment and reduces cost for experiments and design. Successful industrial applications have proven that time domain analysis programs provide effective solution for global response analysis. Nevertheless, good command of methodologies adopted by popular programs and awareness of limitations corresponding to different techniques are imperative, if the analyst intends to make proper use of the computerized tools. Frequently it remains uncertain to know the correctness of analyze results due to lack of comparison

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Naci, Sofiane. "Data analysis and optimisation of array-dominated programs." Thesis, University of Cambridge, 2008. https://www.repository.cam.ac.uk/handle/1810/252096.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Cain, 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.

Der volle Inhalt der Quelle

Annotation:

There are many tools and techniques to help developers debug and test their programs. Dynamic data flow analysis is such a technique. Existing approaches for performing dynamic data flow analysis for object oriented programs have tended to be data focused and procedural in nature. An approach to dynamic data flow analysis that used object oriented principals would provide a more natural solution to analysing object oriented programs. Dynamic data flow analysis approaches consist of two primary aspects; a model of the data flow information, and a method for collecting action information from a

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Baspaly, 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Weston, 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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Bernard, Amy Lynn. "A descriptive analysis of selected smoking cessation programs." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/774763.

Der volle Inhalt der Quelle

Annotation:

The purpose of this research was to compare and contrast the components and characteristics of selected widely available smoking cessation programs.To reach this goal, an evaluation form was developed after an extensive review of the literature which addressed the structure, duration, techniques, issues which were discussed, success rates and availability of the programs. This form was tested for content validity by a jury of experts and was used to review each of thirteen selected smoking cessation programs. The reviews were conducted by the author using program materials received from the sp

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Green, Kerrie L. "A descriptive analysis of cardiac rehabilitation education programs." Virtual Press, 2000. http://liblink.bsu.edu/uhtbin/catkey/1177976.

Der volle Inhalt der Quelle

Annotation:

The purpose of this research was to obtain information on the content of education within cardiac rehabilitation programs, methods of administering education, what the barriers are to providing education and which professionals administer education.To reach this goal, a questionnaire was modified from a previous study and a pilot study was undertaken to establish reliability of the questionnaire. The questionnaire was then sent to a sample of 100 directors of cardiac rehabilitation programs belonging to The American Association of Cardiovascular and Pulmonary Rehabilitation (AACVPR). The quest

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Să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.

Der volle Inhalt der Quelle

Annotation:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.<br>Includes bibliographical references (p. 135-137).<br>by Alexandru D. Sălcianu.<br>S.M.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Hayashi, Yasushi. "Shape-based cost analysis of skeletal parallel programs." Thesis, University of Edinburgh, 2001. http://hdl.handle.net/1842/14029.

Der volle Inhalt der Quelle

Annotation:

This work presents an automatic cost-analysis system for an implicitly parallel skeletal programming language. Although deducing interesting dynamic characteristics of parallel programs (and in particular, run time) is well known to be an intractable problem in the general case, it can be alleviated by placing restrictions upon the programs which can be expressed. By combining two research threads, the “skeletal” and “shapely” paradigms which take this route, we produce a completely automated, computation and communication sensitive cost analysis system. This builds on earlier work in the area

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Tanteri, E. "Analysis of computer programs for modeling casting processes." Thesis, Київський національний університет технологій та дизайну, 2019. https://er.knutd.edu.ua/handle/123456789/14621.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Navaratnam, K. K. "Cost-benefit analysis of secondary vocational education programs." Diss., Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/76461.

Der volle Inhalt der Quelle

Annotation:

The purpose of this study was to propose and field test a cost-benefit analysis model to determine the profitability of secondary vocational education programs. The model consisted of costs, process, and benefits components. Instructional personnel, building, equipment, materials and supplies, administration, travel, services, utilities, and maintenance were the major components of the costs. Process implied the actual conduct of the program. Increased earnings from graduates' employment, earnings from cooperative placement, provision of services, and noneconomic benefits obtained by the gradu

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

Fuller, Judith Ann. "A comparative analysis of two television reading programs /." The Ohio State University, 1987. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487327695620589.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Nakade, Radha Vi. "Verification of Task Parallel Programs Using Predictive Analysis." BYU ScholarsArchive, 2016. https://scholarsarchive.byu.edu/etd/6176.

Der volle Inhalt der Quelle

Annotation:

Task parallel programming languages provide a way for creating asynchronous tasks that can run concurrently. The advantage of using task parallelism is that the programmer can write code that is independent of the underlying hardware. The runtime determines the number of processor cores that are available and the most efficient way to execute the tasks. When two or more concurrently executing tasks access a shared memory location and if at least one of the accesses is for writing, data race is observed in the program. Data races can introduce non-determinism in the program output making it imp

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

Ferrara, Pietro <1981&gt. "Static analysis via abstract interpretation of multithreaded programs." Doctoral thesis, Università Ca' Foscari Venezia, 2009. http://hdl.handle.net/10579/1031.

Der volle Inhalt der Quelle

Annotation:

The goal of this thesis is to present a generic static analysis of Java multithreaded programs. Multithreaded programs execute many task, called threads, in parallel. Threads communicate through the shared memory implicitly, and they synchronize on monitors, wait-notify primitives, etc... Some years ago dual core architectures started being distributed on the broad market at low price. Today almost all the computers are at least dual core. Manycore, i.e. putting more and more cores on the same CPU, is now the current trend of CPU market. This multicore revolution yields to new challenges on th

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

Settenvini, 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.

Der volle Inhalt der Quelle

Annotation:

Context. Name-bounded analysis is a type of static analysis that allows us to take a concurrent program, abstract away from it, and check for some interesting properties, such as deadlock-freedom, or watching the propagation of variables across different components or layers of the system. Objectives. In this study we investigate the difficulties of giving a representation of computer programs in a name-bounded variation of π-calculus. Methods. A preliminary literature review is conducted to assess the presence (or lack thereof) of other successful translations from real-world programming lang

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!