Sökning: "rekursion"

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

  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. Assessment Accuracy of a Large Language Model on Programming Assignments

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

    Författare :Douglas Bengtsson; Axel Kaliff; [2023]
    Nyckelord :;

    Sammanfattning : The education sector is changing rapidly and adopting new practices of managing student assignments. Manually assessing student work can be costly, as well as sometimes erroneous, implying it can be beneficial to automate the grading process. LÄS MER

  4. 3. Dataoptimering via linjär programmering : Tillämpning av linjär programmering för kostoptimering

    Kandidat-uppsats, Mittuniversitetet/Institutionen för informationssystem och –teknologi

    Författare :Björn Norén; [2020]
    Nyckelord :Dataoptimering; linjär programmering;

    Sammanfattning : Linjär Programmering (LP) är ett effektivt optimeringsverktyg som har en central del vid minimering eller maximering. LP kan även användas småskaligt för individuella problem som att välja vad vi borde äta. LÄS MER

  5. 4. Efficient array for solving sudoku problem

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Aria Foroutan Rad; [2018]
    Nyckelord :;

    Sammanfattning : In Knuth’s example of Dancing Links and Algorithm X (DLX), pointers were used to connect the neighbors with each other. This has caused problems when DLX is used for parallelisation and to solve this some workaround is needed. One solution is to store the pointers as indicesin an array instead. LÄS MER

  7. 5. Rekursiv SQL: Prestanda och begränsningar i Postgresql

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

    Författare :Peter Caprioli; Fabian Ström; [2015]
    Nyckelord :;

    Sammanfattning : Rekursion inom SQL är ett relativt nytt begrepp som introducerades i standarden SQL:1999 eftersom man insåg att det fanns ett behov av att skriva mer kraftfulla frågor i SQL. De flesta som arbetar inom eller har kunskap om IT känner i stor utsträckning till SQL. LÄS MER