Essays about: "Static Program Analysis"

Showing result 1 - 5 of 65 essays containing the words Static Program Analysis.

  1. 1. Machine Vision Based Quality Control and Fault Detection in a Textile Dyeing Machine

    University essay from Lunds universitet/Industriell elektroteknik och automation

    Author : Evelina Morgan; Valter Möller; [2023]
    Keywords : Technology and Engineering;

    Abstract : Fault detection systems come in a variety of formats and are used in many different types of machines and industries. They can be used to perform fast and accurate detection, classification and analysis. The need for user interaction can be decreased and by that the general level of automation can be increased. READ MORE

  3. 2. Investigating programming language support for fault-tolerance

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Ismail Demirkoparan; [2023]
    Keywords : Dataflow; Fault tolerance; Data streaming; Distributed systems; Checkpointing; Logging; Lineage; Lineage stash; Arc-Lang; Apache Flink;

    Abstract : Dataflow systems have become the norm for developing data-intensive computing applications. These systems provide transparent scalability and fault tolerance. For fault tolerance, many dataflow-system adopt a snapshotting approach which persists the state of an operator once it has received a snapshot marker on all its input channels. READ MORE

  4. 3. Finite Element Macro-modeling of a Historical Masonry Building : Influence of Isotropic vs Anisotropic Plastic Material Model Assumption in Static Analysis

    University essay from KTH/Bro- och stålbyggnad

    Author : Madeleine Olsson; Maja Gustavsson; [2023]
    Keywords : ;

    Abstract : In this study, a macro-modeling strategy is implemented in a bearing wall with arch openings in an existing historical masonry building. This is to investigate what differences and similarities can be observed from the assumption of an orthotropic versus an isotropic constitutive material model. READ MORE

  5. 4. Polarizability and Orientation Dynamics of Small Proteins

    University essay from Uppsala universitet/Materialteori

    Author : Ebba Koerfer; [2022]
    Keywords : Protein orientation; single-particle imaging; polarizability; orientation dynamics; rigid rotor model;

    Abstract : Proteins often carry an intrinsic electric dipole moment, which can interact with external electric fields and cause protein motion. Previous research has found that the orientation of small proteins in gas phase can be controlled in a static electric field. READ MORE

  6. 5. Analyzing and Reducing Compilation Times for C++ Programs

    University essay from Linköpings universitet/Programvara och system

    Author : Dennis Mivelli; [2022]
    Keywords : C ; Compilation; Build; Dependencies; File Dependencies; File inclusions; Time; Speed; Compilation time; Build time; Design patterns; PImpl; Bridge; Dependency injection; Pointer to implementation; Mocking; GoogleTest; gMock; large; large-scale; Reduce; Reduce compilation times; Reduce build times; C ; Kompilering; Byggtid; Beroenden; Filberoenden; Filinkluderingar; Tid; Hastighet; Kompileringstid; Designmönster; PImpl; Bridge; Dependency injection; Pointer to implementation; Mockning; Mocking; GoogleTest; gMock; Storskalig; Minska kompileringstid; Minska;

    Abstract : Software companies often choose to develop in C++ because of the high performance that the language offers. Facilitated by static compilation and powerful optimization options, runtime performance is paid for with compilation time. READ MORE