Essays about: "static program analysis"

Showing result 21 - 25 of 65 essays containing the words static program analysis.

  1. 21. Automation of Formative Assessment : Implementation and Evaluation of an Artificial Teaching Assistant

    University essay from KTH/Lärande

    Author : Johan Myrsmeden; [2018]
    Keywords : constructivism; formative assessment; automated assessment; computer-aided education; computer-aided assessment; konstruktivism; formativ bedömning; automatiserad bedömning; datorstödd undervisning; datorstödd bedömning;

    Abstract : The Swedish government has decided to add programming to the Swedish curriculum to strengthen students’ digital skills. The teachers who will teach programming do not always know programming themselves. READ MORE

  3. 22. Intrusion Detection System for Android : Linux Kernel System Salls Analysis

    University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Author : Martin Borek; [2017]
    Keywords : Android; security; malware; detection; system calls; ARM; Android; säkerhet; malware; detektion; systemanrop;

    Abstract : Smartphones provide access to a plethora of private information potentially leading to financial and personal hardship, hence they need to be well protected. With new Android malware obfuscation and evading techniques, including encrypted and downloaded malicious code, current protection approaches using static analysis are becoming less effective. READ MORE

  4. 23. Structural Analysis & Weight Optimization : Wheel Loader Front Axle Casings

    University essay from Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Author : Georg Svedling; Erik Wikblom; [2017]
    Keywords : Wheel Loader; Weight Optimization; Topology Optimization; Strucutral Analysis; Mechanical Desing; Axle Casing;

    Abstract : The purpose of this thesis work was to establish methodologies for performing structural analysis and weight optimization of wheel loader front axle casings at Volvo Construction Equipment AB (Volvo CE). A methodology for creating extensive finite element models to analyze durability with respect to both static failure and fatigue life was to be created in the software ANSYS 18. READ MORE

  5. 24. Lightweight Software Isolation via Flow-Sensitive Capabilities in Scala

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Erik Reimers; [2017]
    Keywords : Scala; LaCasa; flow-sensitive; aliasing;

    Abstract : Aliasing is a potential source of problems in software development and can, for example,lead to data races in concurrent programs. More recent programming languages includealiasing control in order to catch more errors at compile time. However, this does notexist for most widely-used languages.LaCasa introduces aliasing control to Scala. READ MORE

  6. 25. Designing for algorithmic awareness - Materializing machine learning

    University essay from Malmö högskola/Fakulteten för kultur och samhälle (KS)

    Author : Christensen Thomas Sandahl; [2017]
    Keywords : computational composites; Machine learning;

    Abstract : The following paper explores how to materialize machine learning in order to make it tangible andsensible thereby offering users the needed tools for engaging the technology in reflective use. Theproject draws inspiration from the Static! research program on designing for energy awareness. READ MORE