Sökning: "allokeringar"

Visar resultat 1 - 5 av 8 uppsatser innehållade ordet allokeringar.

  1. 1. Automated Inference of ACSL Contracts for Programs with Heaps

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

  3. 2. Asset and Liability Management: Optimization using Least-Squares Monte Carlo

    Master-uppsats, Lunds universitet/Matematisk statistik

    Författare :Sanna Brandel; [2018]
    Nyckelord :Asset and liability management; Solvency capital requirement; least-squares Monte Carlo; nested Monte Carlo simulation; risk-adjusted net asset value; mean-variance optimization; Mathematics and Statistics;

    Sammanfattning : This thesis aims to examine an efficient asset and liability management method under Solvency II regulations, and to find an optimization framework that takes complex interactions between assets and liabilities into account. The investigated approach consists of a least-squares Monte Carlo method, where least-squares regression is used to obtain a proxy function for future net asset values. LÄS MER

  4. 3. Integrated Development for Sustainable Development : A study of the agriculture sector in Ghana

    Master-uppsats, KTH/Energisystemanalys

    Författare :Nicolina Lindblad; [2018]
    Nyckelord :Sustainable development; OSeMOSYS; CLEWs; Ghana; Agriculture;

    Sammanfattning : The growing demand for our most valuable resources; land, energy, and water, due to population growth and increased living standards, put the security of these resources at risk. The complexity of climate change, with the interdependencies between the aforementioned resources and potential feedback loops, makes the issue even more inextricable. LÄS MER

  5. 4. Distributed Dominant Resource Fairness using Gradient Overlay

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Alexander Östman; [2017]
    Nyckelord :Distributed; DRF; Dominant; Resource; Fairness; Gradient; Overlay;

    Sammanfattning : Resource management is an important component in many distributed clusters. A resource manager handles which server a task should run on and which user’s task that should be allocated. If a system has multiple users with similar demands, all users should have an equal share of the cluster, making the system fair. LÄS MER

  7. 5. Utrymmet för köpeskillingsallokering i redovisning och beskattning

    Master-uppsats, Linköpings universitet/Affärsrätt

    Författare :Christian Thalén Thor; [2016]
    Nyckelord :köpeskillingsallokering; redovisning; beskattning; Kellgren; rättvisande bild; god redovisningssed; periodisering; klassificering; reciprocitet; bedömingsreciprocitet; värderingsreciprocitet;

    Sammanfattning : Syftet med den här uppsatsen är att undersöka och därefter analysera kopplingen mellanredovisning och beskattning med hänsyn till köpeskillingsallokering. Uppsatsen gör ingetanspråk på fullständighet i ämnet, utan syftet är snarare att skapa en probleminventerande översikt. LÄS MER