Essays about: "concurrent programming"

Showing result 11 - 15 of 48 essays containing the words concurrent programming.

  1. 11. Improving Performance of a Trading System through Lock-Free Programming

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

    Author : Harald Ng; Josef Karlsson Malik; [2018]
    Keywords : lock-free; concurrency; trading system; performance; atomic operations; låsfrihet; prestanda; tradingsystem; concurrency; atomiska operationer;

    Abstract : Concurrent programming is a form of computing, where several computations are executed in overlapping time periods. This can improve a system’s capability of handling growing amounts of work and execute faster on multicore processors. Lock is a usual tool used to ensure shared data is handled correctly. READ MORE

  3. 12. Constraining future extensions of immutable classes

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

    Author : Mikael Blomstrand; [2018]
    Keywords : scala; dotty; compiler; jvm; mållgan; final; immutable;

    Abstract : Immutable data and persistent data structures are seeing more and more use. Many common programming errors can be solved by simply using immutable data, and in concurrent and parallel programming, they remove the need for data synchronization. READ MORE

  4. 13. Teaching Concurrency in a Modern Manner, Flipped Classroom or Game-Based Learning

    University essay from Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Author : Bobby Murphie; Mattias Hansen; [2018]
    Keywords : Teaching; Learning; Multithreading; Concurrency; Game-based learning; Flipped classroom;

    Abstract : Mycket forskning har gjorts för att hitta förbättrade sätt att lära ut concurrency. Allt från visualiseringsverktyg till spel-baserad inlärning och flippat klassrum. Dock så saknas forskning som jämför metoder och modeller som lär ut concurrency. READ MORE

  5. 14. Executive Summaries in Software Model Checking

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Lasse Berglund; [2018]
    Keywords : program verification; software engineering; concurrent programming; model checking; software model checking;

    Abstract : Model checking is a technique used to verify whether a model meets a given specification by exhaustively and automatically checking each reachable state in the model. It is a well-developed technique, but it suffers from some issues, perhaps most importantly the state space explosion problem. READ MORE

  6. 15. Safe Kernel Programming with Rust

    University essay from KTH/Programvaruteknik och datorsystem, SCS

    Author : Johannes Lundberg; [2018]
    Keywords : rust; kernel; safe; programming;

    Abstract : Writing bug free computer code is a challenging task in a low-level language like C. While C compilers are getting better and better at detecting possible bugs, they still have a long way to go. For application programming we have higher level languages that abstract away details in memory handling and concurrent programming. READ MORE