Sökning: "Jacob Wahlgren"

Hittade 3 uppsatser innehållade orden Jacob Wahlgren.

  1. 1. “Men om det blir som jag tror så kommer samhället att vara jämställt mellan kvinnor och män om några år.” : En kvalitativ studie om svenska elevers uppfattningar om jämställdhet då, nu och sedan

    Uppsats för yrkesexamina på avancerad nivå, Malmö universitet/Fakulteten för lärande och samhälle (LS)

    Författare :Daniel Sinclaire; Jacob Titze; [2023]
    Nyckelord :education; gender equality; history; historical consciousness; national test;

    Sammanfattning : Gender equality has long been a part of the curriculum for the Swedish school system. The subject is meant to permeate all aspects of school operation and teachers' education in the classroom. History as a subject is no exception. Although it is part of the school curriculum and practice, there is a lack of studies concerning the topic. LÄS MER

  3. 2. Using GPU-aware message passing to accelerate high-fidelity fluid simulations

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

    Författare :Jacob Wahlgren; [2022]
    Nyckelord :high-performance computing; computational fluid dynamics; spectral element method; graphical processing units; message passing interface; högprestandaberäkningar; beräkningsströmningsdynamik; spektralelementmetoden; grafikprocessorer; meddelandeförmedlingsgränssnitt;

    Sammanfattning : Motivated by the end of Moore’s law, graphics processing units (GPUs) are replacing general-purpose processors as the main source of computational power in emerging supercomputing architectures. A challenge in systems with GPU accelerators is the cost of transferring data between the host memory and the GPU device memory. LÄS MER

  4. 3. Formal security analysis of authentication in an asynchronous communication model

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

    Författare :Jacob Wahlgren; Sam Yousefzadegan Hedin; [2020]
    Nyckelord :formal verification; Tamarin Prover; formal analysis; information security; authentication; formell verifiering; Tamarin Prover; formell analys; informationssäkerhet; autentisering;

    Sammanfattning : Formal analysis of security protocols is becoming increasingly relevant. In formal analysis, a model is created of a protocol or system, and propositions about the security of the model are written. A program is then used to verify that the propositions hold, or find examples of where they do not. LÄS MER