Log in

Relevant bibliographies by topics / Static tool / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Static tool.

Dissertations / Theses on the topic 'Static tool'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Static tool.'

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.

1

Tao, Hongjing. "Static analyzer, a design tool for TROM." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0002/MQ44886.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Morgenthaler, John David. "Static analysis for a software transformation tool /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1997. http://wwwlib.umi.com/cr/ucsd/fullcit?p9804509.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Dutko, Adam M. "THE RELATIONAL DATABASE: A NEW STATIC ANALYSIS TOOL?" Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Baca, Dejan. "Automated static code analysis : A tool for early vulnerability detection." Licentiate thesis, Karlskrona : Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00429.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Eads, Joshua Michael. "EtherAnnotate: a transparent malware analysis tool for integrating dynamic and static examination." Diss., Rolla, Mo. : Missouri University of Science and Technology, 2010. http://scholarsmine.mst.edu/thesis/pdf/Eads_09007dcc807a2d75.pdf.

Full text

Abstract:

Thesis (M.S.)--Missouri University of Science and Technology, 2010.<br>Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed May 4, 2010) Includes bibliographical references (p. 65-68).

APA, Harvard, Vancouver, ISO, and other styles

6

Gustafson, Christopher, and Sam Florin. "Qualification of Tool for Static Code Analysis : Processes and Requirements for Approval of Static Code Analysis in the Aviation Industry." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277941.

Full text

Abstract:

In the aviation industry, the use of software development tools is not as easily adopted as in other industries. Due to the catastrophic consequences of software errors in airborne systems, software development processes has rigorous requirements. One of these requirements is that a code standard must be followed. Code standards are used to exclude code constructions which could result in unwanted behaviours. The process of manually ensuring a specific code standard can be costly. This process could be automated by a tool for static code analysis, however, this requires a formal qualification.

APA, Harvard, Vancouver, ISO, and other styles

7

Al, Awadi Wali. "An Assessment of Static and Dynamic malware analysis techniques for the android platform." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2015. https://ro.ecu.edu.au/theses/1635.

Full text

Abstract:

With Smartphones becoming an increasingly important part of human life, the security of these devices is very much at stake. The versatility of these phones and their associated applications has fostered an increasing number of mobile malware attacks. The purpose of the research was to answer the following research questions: 1. What are the existing methods for analysing mobile malware? 2. How can methods for analysing mobile malware be evaluated? 3. What would comprise a suitable test bed(s) for analysing mobile malware? The research analyses and compares the various tools and methods availa

APA, Harvard, Vancouver, ISO, and other styles

8

Woods, Brian Keith. "Development of an active pulsed radar receiver for a mono-static borehole-radar tool." Thesis, Stellenbosch : University of Stellenbosch, 2003. http://hdl.handle.net/10019.1/2512.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Silva, Antonio Carlos Fernandes da. "ChipCflow: tool for convert C code in a static dataflow architecture in reconfigurable hardware." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-141638/.

Full text

Abstract:

A growing search for alternative architectures and softwares have been noted in the last years. This search happens due to the advance of hardware technology and such advances must be complemented by innovations on design methodologies, test and verification techniques in order to use technology effectively. Alternative architectures and softwares, in general, explores the parallelism of applications, differently to Von Neumann model. Among high performance alternative architectures, there is the Dataflow Architecture. In this kind of architecture, the process of program execution is determine

APA, Harvard, Vancouver, ISO, and other styles

10

Hubert, Laurent. "Foundations and implementation of a tool bench for static analysis of Java bytecode programs." Rennes 1, 2010. http://www.theses.fr/2010REN1S122.

Full text

Abstract:

In this thesis we study the static analysis of Java bytecode and its semantics foundations. The initialization of an information system is a delicate operation where security properties are enforced and invariants installed. Initialization of fields, objects and classes in Java are difficult operations. These difficulties may lead to security breaches and to bugs, and make the static verification of software more difficult. This thesis proposes static analyses to better master initialization in Java. Hence, we propose a null pointer analysis that finely tracks initialization of fields. It allo

APA, Harvard, Vancouver, ISO, and other styles

11

Skoglund, Björn. "Code profiling as a design tool for application specific instruction sets." Thesis, Linköping University, Department of Electrical Engineering, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-8585.

Full text

Abstract:

<p>As the embedded devices has become more and more generalized and as their product cycles keeps shrinking the field has opened up for the Application Specific Instruction set Processor. A mix between the classic generalized microcontroller and the specialized ASIC the ASIP keeps a set of general processing instructions for executing embedded software but combines that with a set of heavily specialized instructions for speeding up the data intense application core algorithms. One important aspect of the ASIP design flow</p><p>research is cutting design time and cost. One way of that is automa

APA, Harvard, Vancouver, ISO, and other styles

12

Gebhard, Gernot [Verfasser], and Reinhard [Akademischer Betreuer] Wilhelm. "Static timing analysis tool validation in the presence of timing anomalies / Gernot Gebhard. Betreuer: Reinhard Wilhelm." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013. http://d-nb.info/1053679947/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Hameed, Muhammad Muzaffar, and Muhammad Zeeshan ul Haq. "DefectoFix : An interactive defect fix logging tool." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5268.

Full text

Abstract:

Despite the large efforts made during the development phase to produce fault free system, most of the software implementations still require the testing of entire system. The main problem in the software testing is the automation that could verify the system without manual intervention. Recent work in software testing is related to the automated fault injection by using fault models from repository. This requires a lot of efforts, which adds to the complexity of the system. To solve this issue, this thesis suggests DefectoFix framework. DefectoFix is an interactive defect fix logging tools tha

APA, Harvard, Vancouver, ISO, and other styles

14

Al-Kassar, Feras. "Testability Tarpits - Navigating the Challenges of Static Tools in Web Applications." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS675.

Full text

Abstract:

L'objectif de cette thèse était d'évaluer l'efficacité d'une combinaison de scanners de sécurité commerciaux et open source. Grâce à l'expérimentation, nous avons identifié divers modèles de code qui entravent la capacité des outils de pointe à analyser les projets. En détectant ces modèles au cours du cycle de développement des logiciels, notre approche peut offrir aux développeurs un retour d'information précieux sur la testabilité de leur code. En outre, elle leur permet d'évaluer plus précisément le risque résiduel que leur code puisse encore contenir des vulnérabilités, même si les analys

APA, Harvard, Vancouver, ISO, and other styles

15

Wicks, John A. "An efficiency rating tool for process-level VHDL behavioral models." Diss., This resource online, 1996. http://scholar.lib.vt.edu/theses/available/etd-06062008-151205/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Lerner, Harry 1969. "Static types to dynamic variables : re-assessing the methods of prehistoric Huron chipped stone tool documentation and analysis in Ontario." Thesis, McGill University, 2000. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33298.

Full text

Abstract:

An assemblage of prehistoric Huron chipped stone tools has been analyzed in terms of its inherently dynamic properties. It is hypothesized that the series of measurements and ratios that has been developed is more efficient than existing systems for gauging the changing nature of these implements over time. The statistical evaluation of the data revealed strong linear relationships between various pairs of variables, such as projectile point length and tip angle and end scraper bit edge angles and bit height. It was found that comparing these data to other attributes of these tools, such as us

APA, Harvard, Vancouver, ISO, and other styles

17

Szipka, Károly. "Prediction of the machine tool errors under quasi-static load : Developing methodology through the synthesis of bottom-up and top-down modeling approach." Thesis, KTH, Industriell produktion, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-186143.

Full text

Abstract:

One of the biggest challenges in the manufacturing industry is to increase the understanding of the sources of the errors and their effects on machining systems accuracy. In this thesis a new robust empirical evaluation method is developed to predict the machine tool errors under quasi-static load including the effect of the variation of stiffness in the workspace, the geometric and the kinematic errors. These errors are described through combined computational models for a more accurate assessment of the machine tool’s capability. The purpose of this thesis is to establish such methodology th

APA, Harvard, Vancouver, ISO, and other styles

18

Laspas, Theodoros. "Closed Force Loop Evaluation of Machining Systems." Licentiate thesis, KTH, Maskin- och processteknologi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-227664.

Full text

Abstract:

Machine tools accuracy has been a cornerstone in defining machining system capability and directly affecting dimensional and geometrical tolerance of machined parts. The effort for achieving higher precision and accuracy can be distinguished in two general ideas. One is to improve performance of machine tools by designing better, stiffer and more accurate machine tools. The other is to develop tools and methods for evaluating and measuring their behaviour and gain knowledge of their performance. In order to properly control the machine tool characteristics that can affect and improve their acc

APA, Harvard, Vancouver, ISO, and other styles

19

Zarinkhail, Mohammad Shuaib. "Static MySQL Error Checking." University of the Western Cape, 2010. http://hdl.handle.net/11394/8492.

Full text

Abstract:

Masters of Science<br>Coders of databases repeatedly face the problem of checking their Structured Query Language (SQL) code. Instructors face the difficulty of checking student projects and lab assignments in database courses. We collect and categorize common MySQL programming errors into three groups: data definition errors, data manipulation errors, and transaction control errors. We build these into a comprehensive list of MySQL errors, which novices are inclined make during database programming. We collected our list of common MySQL errors both from the technical literature and directly b

APA, Harvard, Vancouver, ISO, and other styles

20

Král, Benjamin. "Forenzní analýza malware." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2018. http://www.nusl.cz/ntk/nusl-385910.

Full text

Abstract:

This master's thesis describes methodologies used in malware forensic analysis including methods used in static and dynamic analysis. Based on those methods a tool intended to be used by Computer Security Incident Response Teams (CSIRT) is designed to allow fast analysis and decisions regarding malware samples in security incident investigations. The design of this tool is thorougly described in the work along with the tool's requirements on which the tool design is based on. Based on the design a ForensIRT tool is implemented and then used to analyze a malware sample Cridex to demonstrate its

APA, Harvard, Vancouver, ISO, and other styles

21

Hellström, Patrik. "Tools for static code analysis: A survey." Thesis, Linköping University, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-16658.

Full text

Abstract:

<p>This thesis has investigated what different tools for static code analysis, with anemphasis on security, there exist and which of these that possibly could be used in a project at Ericsson AB in Linköping in which a HIGA (Home IMS Gateway) is constructed. The HIGA is a residential gateway that opens up for the possibility to extend an operator’s Internet Multimedia Subsystem (IMS) all the way to the user’s home and thereby let the end user connect his/her non compliant IMS devices, such as a media server, to an IMS network.</p><p>Static analysis is the process of examining the source code o

APA, Harvard, Vancouver, ISO, and other styles

22

Lekeš, Petr. "Návrh a optimalizace tělesa vřeteníku pro obráběcí stroj." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-444267.

Full text

Abstract:

This diploma thesis deals with the design and optimization of a headstock for machine tool. Thesis was focused to comparison of several types of slide-ways and linear guides of headstock, considering their static and dynamic rigidity. An overview in the field of machine tools, their static and dynamic properties, use materials and design of headstocks, considering types of guideways, types of guideways drives and types of drives of spindle was made. Among the other main goals is included design of several types of guideway of headstock for horizontal machine tool, elaboration of computational

APA, Harvard, Vancouver, ISO, and other styles

23

Königsson, Niklas. "Limitations of static analysis tools : An evaluation of open source tools for C." Thesis, Umeå universitet, Institutionen för datavetenskap, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-155299.

Full text

Abstract:

This paper contains an evaluation of common open source static analysistools available for C. The tools algorithms are examined and measured in a test environment designed for such benchmarks to present their strengths and weaknesses. The examined tools represent different approaches to static analysis to get a good coverage of the algorithms that are commonly used. The test environment shows how many bugs that are correctly reportedby the tools, and also how many falsely reported bug they produce. The revealed strengths and weaknesses are discussed in relation to the tools algorithms to gain

APA, Harvard, Vancouver, ISO, and other styles

24

Homdim, Tchuenteu Joel Landry. "Analysis and dynamic modeling of intermediate distributors for balancing of production lines." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/18626/.

Full text

Abstract:

The work carried out at the company Pulsar Engineering s.r.l, and discussed in this thesis, focuses on the construction of a model for the dynamic simulation of the operations of a machine that allows feeding and sorting/merging in the tissue sector called REDS INTERMEDIATE. The goal is to derive a powerful dynamic model that can simulate a large range of REDS intermediate that could work in different existing operating modes (DIVERTER, COMBINER and By-pass modes) and containing all existing operating strategies (REVOLVER and TETRIS strategies). This was possible with the aid of a powerful s

APA, Harvard, Vancouver, ISO, and other styles

25

Ecorchard, Gaël. "Static accuracy enhancement of redundantly actuated parallel kinematic machine tools." [Auerbach/Vogtl.] Verl. Wiss. Scripten, 2010. http://d-nb.info/1000285359/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Ecorchard, Gaël. "Static Accuracy Enhancement of Redundantly Actuated Parallel Kinematic Machine Tools." Doctoral thesis, Universitätsbibliothek Chemnitz, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200902064.

Full text

Abstract:

Redundant parallel kinematic machines are parallel mechanisms to which one or more kinematic branch is added in order to improve their mechanical properties, in particular, their stiffness. Redundant parallel kinematic machines have then more actuators than their degree of freedom. New calibration methods are developed in this thesis in order to deal with the particularities related to the actuation redundancy. First, calibration methods using geometrical models are tested. Several measurement systems and control models are compared. A self-calibration is also carried out, where the redundant

APA, Harvard, Vancouver, ISO, and other styles

27

Ecorchard, Gaël. "Static Accuracy Enhancement of Redundantly Actuated Parallel Kinematic Machine Tools." Doctoral thesis, Verlag Wissenschaftliche Scripten, Zwickau, 2008. https://monarch.qucosa.de/id/qucosa%3A19252.

Full text

Abstract:

Redundant parallel kinematic machines are parallel mechanisms to which one or more kinematic branch is added in order to improve their mechanical properties, in particular, their stiffness. Redundant parallel kinematic machines have then more actuators than their degree of freedom. New calibration methods are developed in this thesis in order to deal with the particularities related to the actuation redundancy. First, calibration methods using geometrical models are tested. Several measurement systems and control models are compared. A self-calibration is also carried out, where the redundant

APA, Harvard, Vancouver, ISO, and other styles

28

Ramos, Alexander. "Evaluating the ability of static code analysis tools to detect injection vulnerabilities." Thesis, Umeå universitet, Institutionen för datavetenskap, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-128302.

Full text

Abstract:

Identifying and eliminating security vulnerabilities in programs can be very time consuming. A way to automate and speed up the process is to integrate static code analysis tools in the development process. Choosing a static code analysis tool for a project is not an easy task since different tools have their own strengths and performance characteristics. One way of testing the qualifications of a tool for finding flaws is to test them against a test suite, constructed for the specific purpose of static code analysis tool testing. In this paper the tools Visual Code Grepper, FindBugs and Sonar

APA, Harvard, Vancouver, ISO, and other styles

29

Tichý, Antonín. "Porovnání nosných struktur obráběcích strojů z tradičního a netradičního materiálu." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2019. http://www.nusl.cz/ntk/nusl-400934.

Full text

Abstract:

The topic of this diploma thesis is compare materials in machine tool structures. The introduction part is about literature retrieval in field of constructional components in machine frames. There are discribe the indiviual parts of machine structures their properties and influence, witch affect their static toughness, stabilty and accuracy of the whole milling machine. The most important part is focused to the materials witch constructions of machine are made from. The main of this thesis is a practical part, where is designed the own model of milling machine solved on the basis of experience

APA, Harvard, Vancouver, ISO, and other styles

30

Mamun, Md Abdullah Al, and Aklima Khanam. "Concurrent Software Testing : A Systematic Review and an Evaluation of Static Analysis Tools." Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4310.

Full text

Abstract:

Verification and validation is one of the most important concerns in the area of software engineering towards more reliable software development. Hence it is important to overcome the challenges of testing concurrent programs. The extensive use of concurrent systems warrants more attention to the concurrent software testing. For testing concurrent software, automatic tools development is getting increased focus. The first part of this study presents a systematic review that aims to explore the state-of-the-art of concurrent software testing. The systematic review reports several issues like co

APA, Harvard, Vancouver, ISO, and other styles

31

RIZZO, ROBERTO GIORGIO. "Energy-Accuracy Scaling in Digital ICs: Static and Adaptive Design Methods and Tools." Doctoral thesis, Politecnico di Torino, 2019. http://hdl.handle.net/11583/2743228.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Sickorez, Robert D. "Allocating Air Force career field accession targets : an optimization-based tool." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03sep%5FSickorez.pdf.

Full text

Abstract:

Thesis (M.S. in Applied Science (Operations Research))--Naval Postgraduate School, September 2003.<br>Thesis advisor(s): David H. Olwell, W. Matthew Carlyle. Includes bibliographical references. Also available online.

APA, Harvard, Vancouver, ISO, and other styles

33

Jones, Julia W. "Study of Navy recruiting simulation tool." Thesis, Monterey, California : Naval Postgraduate School, 2010. http://edocs.nps.edu/npspubs/scholarly/theses/2010/Mar/10Mar%5FJones%5FJulia.pdf.

Full text

Abstract:

Thesis (M.S. in Management)--Naval Postgraduate School, March 2010.<br>Thesis Advisor(s): Eitelberg, Mark J. ; Roberts, Benjamin J. "March 2010." Description based on title screen as viewed on April 28, 2010. Author(s) subject terms: Manpower/Supply, Recruiting, Utilization, Training, Simulation. Includes bibliographical references (p. 105-108). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

34

Janeba, Jan. "Marketingová komunikace v prostorách železničních stanic." Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-114170.

Full text

Abstract:

Definition of marketing specifics in public transportation service utilities. Analysis of marketing communication instruments of the České dráhy, a.s. company, in the railways stations rooms. Proposal of possible improvements for effective communication.

APA, Harvard, Vancouver, ISO, and other styles

35

Rozehnalová, Magda. "Design totální stanice." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2010. http://www.nusl.cz/ntk/nusl-229357.

Full text

Abstract:

This diploma thesis presents a design solution of a total station. The proposal is processed especially with regard to technical, ergonomic and aesthetic requirements. The main inovation of the proposal lies in a complex ergonomic and aesthetic solution that better reflects modern trends in the field of surveying technology. In comparison to current designs of the device, new proposal of the total station perfectly integrates certain parts of the device, such as a control panel. Since it is a relatively small device, it is important to design all details properly, especially the form and arran

APA, Harvard, Vancouver, ISO, and other styles

36

Busch, Benjamin C. "Cognitive bargaining model an analysis tool for third party incentives?" Thesis, Monterey, California : Naval Postgraduate School, 2009. http://edocs.nps.edu/npspubs/scholarly/theses/2009/Dec/09Dec%5FBusch.pdf.

Full text

Abstract:

Thesis (M.A. in Security Studies (Defense Decision-Making))--Naval Postgraduate School, December 2009.<br>Thesis Advisor(s): Looney, Robert. Second Reader: Tsypkin, Mikhail. "December 2009." Description based on title screen as viewed on January 29, 2010. Author(s) subject terms: Inducements, bargaining, war, Ukraine, Russia, denuclearization, Prospect Theory, rational choice, cognitive, model, bargaining and war. Includes bibliographical references (p. 75-80). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

37

Pekari, Gregory Chivers Kurt Miles Erickson Brian G. Belcher Robert C. Kartashov Vitalii. "An analysis comparing Commander Submarine Force U.S. Pacific Fleet (CSP) current inventory management tool versus PACFLT Regional Inventory Stocking Model (PRISM) : a proposed demand-based management tool /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FPekari.pdf.

Full text

Abstract:

Thesis (M.B.A.)--Naval Postgraduate School, June 2003.<br>"MBA professional report"--Cover. Joint authors: Kurt Miles Chivers, Brian G. Erickson, Robert C. Belcher, Vitalii Kartashov. Thesis advisor(s): Raymond Franck, Keebom Kang, Dan Dolk. Includes bibliographical references (p. 119-120). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

38

Fúsek, Jakub. "Měřicí stanice v automatické obráběcí lince." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2018. http://www.nusl.cz/ntk/nusl-378870.

Full text

Abstract:

This master thesis deals with the use of measuring stations in an automatic machining lines. An overview of the methods of measuring engineering products in engineering practice with a focus on automation of measurement is described. The basic principles of function of these machines, their construction and materials are described. The largest part describes coordinate measuring machines, which continue to evolve and offer more and more possibilities for automatic measurement. The practical part is aimed at documenting the sample situation of measurements on this type of equipment and evaluati

APA, Harvard, Vancouver, ISO, and other styles

39

Steinert, Bastian. "Built-in recovery support for explorative programming : preserving immediate access to static and dynamic information of intermediate development states." Phd thesis, Universität Potsdam, 2014. http://opus.kobv.de/ubp/volltexte/2014/7130/.

Full text

Abstract:

This work introduces concepts and corresponding tool support to enable a complementary approach in dealing with recovery. Programmers need to recover a development state, or a part thereof, when previously made changes reveal undesired implications. However, when the need arises suddenly and unexpectedly, recovery often involves expensive and tedious work. To avoid tedious work, literature recommends keeping away from unexpected recovery demands by following a structured and disciplined approach, which consists of the application of various best practices including working only on one thing at

APA, Harvard, Vancouver, ISO, and other styles

40

Clarke, William M. "Rethinking the REAL ID Act and national identification cards as a counterterrorism tool." Thesis, Monterey, California : Naval Postgraduate School, 2009. http://edocs.nps.edu/npspubs/scholarly/theses/2009/Dec/09Dec%5FClarke.pdf.

Full text

Abstract:

Thesis (M.A. in Security Studies (Homeland Security and Defense))--Naval Postgraduate School, December 2009.<br>Thesis Advisor(s): Dahl, Erik J. ; Denning, Dorothy E. "December 2009." Description based on title screen as viewed on January 26, 2010. Author(s) subject terms: REAL ID, PASS ID, biometrics, driver's license, enhanced driver's license, national identification card, biometric technologies, fingerprints, iris scan, facial recognition, hand geometry, Department of Homeland Security. Includes bibliographical references (p. 85-96). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

41

Shaw, Shirley A. "Hypercard: A promising tool for constructivist methodolody." CSUSB ScholarWorks, 1992. https://scholarworks.lib.csusb.edu/etd-project/1121.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Chapin, Timothy Stewart. "Urban revitalization tools : assessing the impacts of sports stadia at the microarea level /." Thesis, Connect to this title online; UW restricted, 1999. http://hdl.handle.net/1773/10831.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Wainer, Gwen. "Economic sanctions : an effective tool of foreign policy." Honors in the Major Thesis, University of Central Florida, 2000. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/210.

Full text

Abstract:

This item is only available in print in the UCF Libraries. If this is your Honors Thesis, you can help us make it available online for use by researchers around the world by following the instructions on the distribution consent form at http://library.ucf.edu/Systems/DigitalInitiatives/DigitalCollections/InternetDistributionConsentAgreementForm.pdf You may also contact the project coordinator, Kerri Bottorff, at kerri.bottorff@ucf.edu for more information.<br>Bachelors<br>Arts and Sciences<br>Political Science

APA, Harvard, Vancouver, ISO, and other styles

44

Margolis, Michael C. "Upgradeable operational availability forecasting tool for the U.S. Navy P-3 replacement aircraft /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03sep%5FMargolis.pdf.

Full text

Abstract:

Thesis (M.S. in Operations Research)--Naval Postgraduate School, September 2003.<br>Thesis advisor(s): Arnold H. Buss, David A. Schrady. Includes bibliographical references (p. 107-108). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

45

Nshimiyimana, Jean Marie Mr, Oluwafeyisayo Oyeniyi, Mathew Mr Seiler, Kimberly Ms Hawkins, and Temitope Mr Adeyanju. "Development of Public Health Indicator Visualization Tool." Digital Commons @ East Tennessee State University, 2019. https://dc.etsu.edu/asrf/2019/schedule/32.

Full text

Abstract:

As the public and government officials become aware of the impact of public health on communities, it is important that relevant public health statistics be available for decision making. Existing web resources have limited visualization options, cannot visually compare a county to all others in the US, and cannot compare the counties in an arbitrary region to all others in the US. The College of Public Health Indicator Visualization Tool (CPHIVT) is a web application providing visualization and ranking for a county in the US in comparison to all counties for a specific health indicator. An it

APA, Harvard, Vancouver, ISO, and other styles

46

Freeman, Wilma M. Milton Pamela. "Electronic Commerce : case analyses and tools utilized in the accomplishment of buying Defense /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Sep%5FFreeman.pdf.

Full text

Abstract:

Thesis (M.S. in Contract Management)--Naval Postgraduate School, Sept. 2004.<br>Thesis advisor(s): Marshall Engelbeck, E. Cory Yoder. Includes bibliographical references (p. 57-61). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

47

Kinstler, Daniel Paul Johnson Raymond W. "Developing a Markov Model to be used as a force shaping tool for the Navy Nurse Corps /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Mar%5FKinstler.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Hunt, Andrew W. "Basic Expeditionary Airfield Resource (BEAR) Requirements Analysis Tool (BRAT)." Quantico, VA : Marine Corps Command and Staff College, 2008. http://handle.dtic.mil/100.2/ADA491134.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Gilman, Scott D., and Russell A. Rhoads. "Wargaming and simulation as tools for CONOPS development." Thesis, Monterey, California. Naval Postgraduate School, 2004. http://hdl.handle.net/10945/1423.

Full text

Abstract:

Approved for public release; distribution is unlimited<br>The purpose of this thesis is to use wargaming and simulation to gain insight into the effective employment of a new Command, Control, Communications, Computers, Intelligence, Surveillance, and Reconnaissance (C4ISR) system, the Adaptive Joint C4ISR Node (AJCN). The AJCN provides the supported commander with several capabilities, to include: range extension, waveform bridging, signal intelligence, electronic warfare, and information operations. Two methods are used to gain insight to the support generation of the concept of operations f

APA, Harvard, Vancouver, ISO, and other styles

50

Freeman, Jonathan. "Military assistance as a tool of 20th Century American grand strategy : the American experience in Korea and Vietnam after World War II." Thesis, London School of Economics and Political Science (University of London), 2018. http://etheses.lse.ac.uk/3816/.

Full text

Abstract:

Military Assistance, the development and training of capacity and capability of foreign security forces, has largely been ignored by the research community, including the security studies research community. Military Assistance, as a tool, creates the possibility of both positive and negative outcomes for both recipient and providing nations, and as such it should be examined within the broader framework of international relations, with regards to the projection and perception of power. This research is timely and important, since Military Assistance is an actively pursued security solution wi

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!