Sökning: "concurrent programming"
Visar resultat 11 - 15 av 50 uppsatser innehållade orden concurrent programming.
11. Improving Performance of a Trading System through Lock-Free Programming
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
12. Constraining future extensions of immutable classes
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
13. Teaching Concurrency in a Modern Manner, Flipped Classroom or Game-Based Learning
Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)Sammanfattning : 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. LÄS MER
14. Att skapa en fleranvändarmiljö : En kvalitativ fallstudie som undersöker tekniska aspekter och användarens perspektiv
Kandidat-uppsats, Linnéuniversitetet/Institutionen för informatik (IK)Sammanfattning : Studien avsåg att olika aspekter för att skapa underlag för utvecklingen med att förbättra fleranvändning. Syftet var, utöver de olika aspekterna, att på konceptuell nivå utvärdera hur fleranvändning kan utföras tekniskt samt undersöka hur användarna påverkas av denna förändring. LÄS MER
15. Executive Summaries in Software Model Checking
Master-uppsats, KTH/Teoretisk datalogi, TCSSammanfattning : 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. LÄS MER