Essays about: "fork"

Showing result 11 - 15 of 68 essays containing the word fork.

  1. 11. Control Flow Based Static Execution Time Analysis Using Symbolic Execution

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Isak Sundell; [2022]
    Keywords : WCET; symbolic execution; LLVM;

    Abstract : To ensure the correctness of real time systems, it is important to determine the execution time of tasks. The worst case execution time of each task needs to be found in order to determine if the system is schedulable. This thesis aims at bounding the execution time of programs analyzed by KLEE, a symbolic execution engine. READ MORE

  3. 12. EU Food Production and Climate Policy : An analysis of the Farm to Fork Strategy

    University essay from Uppsala universitet/Statsvetenskapliga institutionen

    Author : Elias Håkansson; [2022]
    Keywords : Climate; European Green Deal; Farm to Fork Strategy; F2F; Food Production; Meat Consumption; Green House Gases; GHG;

    Abstract : This paper analyses the EU’s European Green Deal and the changes to Food production it seeks to implement in its Farm to Fork Strategy, introduced in 2019. Attempting to establish whether or not it will enable them to succeed in meeting their goal of a 55% reduction of Green House Gas Emissions by 2030. READ MORE

  4. 13. Including Finite Larmor Radius Effects on RF Heating of Fusion Plasmas using Weak-Form Contributions in COMSOL

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

    Author : Jonas Christ; [2022]
    Keywords : plasma; fusion; RF; radio frequency; IBW; FW; ion Bernstein wave; fast wave; simulation; FEM; finite element method; Taylor; Taylor expansion; COMSOL; MATLAB; FLR; finite larmor radius; magnetized plasma; hot plasma; thermal plasma; plasma; fusion; radiofrekvens; simulation; FEM; finita elementmethod; Taylor; Taylorutveckling; COMSOL; MATLAB; FLR; ändliga Larmorradie-effekter;

    Abstract : In a fusion plasma, the ions have to be heated to reach fusion relevant temperatures. One possibility is to launch an electromagnetic wave in the radio frequency band into the plasma. This wave can resonate with the ions at their cyclotron frequency and hence, the method is called ion cyclotron resonance heating. READ MORE

  5. 14. Farm to Fork Strategy - Impact on EU market participants

    University essay from Lunds universitet/Institutionen för handelsrätt

    Author : Ekaterina Tarasova; [2022]
    Keywords : European Green Deal; Farm to Fork Strategy; Common Agriculture Policy; Law and Political Science;

    Abstract : The study examines one of the core elements of the European Green Deal - the Farm to Fork Strategy. It has a goal to translate the intentions and proposals of the Strategy into the business language and evaluate potential impacts for the agri-business and other value chain players like IKEA. READ MORE

  6. 15. Identification of de novo Transcription Factor Binding Motifs Created by Cancer-related Mutations

    University essay from Uppsala universitet/Institutionen för biologisk grundutbildning

    Author : Siqi Li; [2022]
    Keywords : transcription factor binding motifs; funMotifs; PCAWG; mutations; de novo motifs;

    Abstract : In many countries, cancer is one of the biggest threats for citizens’ health, especially among aged people. Genomic mutations play a crucial role in cancer cell development. In previous decades, cancer research has been mainly focused on mutations in coding regions. READ MORE