Sökning: "Program Analysis"

Visar resultat 16 - 20 av 995 avhandlingar innehållade orden Program Analysis.

  1. 16. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

    Författare :Idriss Riouak; Programvaruteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

    Sammanfattning : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. LÄS MER

  3. 17. Static WCET Analysis Based on Abstract Interpretation and Counting of Elements

    Författare :Stefan Bygde; Björn Lisper; Andreas Ermedahl; Jan Gustafsson; Konstantinos Sagonas; Ulf Nilsson; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; parametric WCET analysis; program analysis; abstract interpretation; Computer science; Datalogi; Computer Science; datavetenskap;

    Sammanfattning : In a real-time system, it is crucial to ensure that all tasks of the system holdtheir deadlines. A missed deadline in a real-time system means that the systemhas not been able to function correctly. If the system is safety critical, this canlead to disaster. LÄS MER

  4. 18. Hälsopromotion i skolan : utvärdering av DISA - ett program för att förebygga depressiva symtom hos ungdomar

    Författare :Pernilla Garmy; Agneta Berg; Eva Clausson; Ulf Jakobsson; Ingela Skärsäter; Högskolan Kristianstad; []
    Nyckelord :Adolescents; depressive symptoms; school-based program; prevention;

    Sammanfattning : Background: DISA (Depressive Symptoms In Swedish Adolescents) is a cognitive behavioral intervention aimed at preventing stress and depressive symptoms in adolescents. It is frequently used in Swedish schools for students aged 13-15 years. DISA is commonly offered to females, but at some schools, the intervention is also offered to males. LÄS MER

  5. 19. The Paradoxes of Socio-Emotional Programmes in School : Young people’s perspectives and public health discourses

    Författare :Sofia Kvist Lindholm; Karin Zetterqvist Nelson; Karin Osvaldsson Cromdal; Vicky Coppock; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; socio-emotional programs; manual-based programs; mental health; social and emotional wellbeing; prevention; health promotion; children’s perspectives; interviews; participant observation; Socio-emotionella program; manualbaserade program; psykisk ohälsa; prevention; hälsopromotion; barns perspektiv; intervjuer; deltagande observation;

    Sammanfattning : Over the past decades socio-emotional programmes have been implemented in schools worldwide. Depression in Swedish Adolescents (DISA) and Social and Emotional Training (SET) are two socio-emotional programmes being practised in Swedish schools. LÄS MER

  7. 20. Complex Cavity Analysis : Analytical Fluid-Power Models Using CAD Information

    Författare :Magnus Sethson; Richard T. Burton; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis covers different methods of topology search for making time-domain simulation models based on geometric information. The application is in the field of fluid-power. Automatic methods for extracting simulation models from CAD data are presented. LÄS MER