Sökning: "logik system"

Visar resultat 31 - 35 av 96 uppsatser innehållade orden logik system.

  1. 31. Kartläggning av önskvärda egenskaper i arkitekturer samt ramverk för separation av användargränssnitt från logik

    Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Författare :Alper Kilic; Johan Åkesson; [2019]
    Nyckelord :Användbarhet; enkät; dokumentation; dataflöde; inlärning; för-genererad kod; modularitet; testbarhet; designprinciper; arkitektur; ramverk; enkelriktat dataflöde; gemenskap;

    Sammanfattning : Choosing an architecture or a framework for a system can be tricky at times especially for beginners. The wrong choice can not only affect the projects success rate negatively but can also be a bad business decision. LÄS MER

  3. 32. Instrumentell paradox i kyrklig praktik : stödets logik och dramaturgi

    Master-uppsats, Lunds universitet/Socialhögskolan

    Författare :Elinn Leo Sandberg; [2019]
    Nyckelord :poverty; service user: experience; instrumental paradox; civil society; church; deaconry; Philosophy and Religion; Social Sciences;

    Sammanfattning : Instrumental paradox in church practice - the logic and dramaturgy of the support Despite recent changes in the Swedish welfare system with devaluation of income from Social Services and an invitation from government to civil society to carry out welfare tasks little research has been conducted on service users’ experience of support from civil society. The purpose of this study, was to investigate why poor service users seek economic and material support from the Church of Sweden. LÄS MER

  4. 33. Verifying Temporal Properties Using Deductive Verifiers

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

    Författare :Jesper Amilon; Axel Lindeberg; [2019]
    Nyckelord :;

    Sammanfattning : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. LÄS MER

  5. 34. Low Density Parity Check Encoder and Decoder on SiLago Coarse Grain Reconfigurable Architecture

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

    Författare :Weijiang Kong; [2019]
    Nyckelord :LDPC; CGRA; Reconfigurable architecture; VLSI design; ASIC; LDPC; CGRA; Konfigurerbar arkitektur; VLSI design; ASIC;

    Sammanfattning : Low density parity check (LDPC) code is an error correction code that has been widely adopted as an optional error correcting operation in most of today’s communication protocols. Current design of ASIC or FPGA based LDPC accelerators can reach Gbit/s data rate. LÄS MER

  7. 35. Bitcoin och borgenärerna - En kryptovaluta i konflikt med konkursinstitutet?

    Magister-uppsats, Göteborgs universitet/Juridiska institutionen

    Författare :Stina Karinsdotter; [2018-09-11]
    Nyckelord :;

    Sammanfattning : 2008 lanserades Bitcoin, den första blockkedjan. Ett decennium senare var Bitcoin hetare än någonsin och värdeökningskurvan under hösten 2017 var brantare än för något annat egendomsslag i historien. Men det är inte bara den fluktuerande kursen som gör Bitcoin till en vilde. Kärnan i Bitcoin är inte tekniken utan ideologin. LÄS MER