Essays about: "static program analysis"
Showing result 1 - 5 of 65 essays containing the words static program analysis.
-
1. Machine Vision Based Quality Control and Fault Detection in a Textile Dyeing Machine
University essay from Lunds universitet/Industriell elektroteknik och automationAbstract : 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
-
2. Investigating programming language support for fault-tolerance
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
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ålbyggnadAbstract : 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
-
4. Polarizability and Orientation Dynamics of Small Proteins
University essay from Uppsala universitet/MaterialteoriAbstract : 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
-
5. Analyzing and Reducing Compilation Times for C++ Programs
University essay from Linköpings universitet/Programvara och systemAbstract : 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