Essays about: "concurrency"

Showing result 21 - 25 of 101 essays containing the word concurrency.

  1. 21. On Secure Administrators for Group Messaging Protocols

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

    Author : David Balbas Gutierrez; [2021]
    Keywords : Secure Messaging – Group Messaging – Ratcheting – Group Key Agreement – Cryptographic Administrators – Group Administration;

    Abstract : In the smartphone era, instant messaging is fully embedded in our daily life. Messaging protocols must preserve the confidentiality and authenticity of sent messages both in two-party conversations and in group chats, in which the list of group members may suffer modifications over time. READ MORE

  3. 22. RTIC - A Zero-Cost Abstraction for Memory Safe Concurrency

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Henrik Tjäder; [2021]
    Keywords : Embedded systems; real-time; concurrency; RTIC; RTFM; Real-Time For the Masses; Real-Time Interrupt-driven Concurrency;

    Abstract : Embedded systems are commonplace, often with real-time requirements, limited resources and increasingly complex workloads with high demands on security and reliability. The complexity of these systems calls for extensive developer experience and many tools has been created to aid in the development of the software running on such devices. READ MORE

  4. 23. Hardware Architecture Impact on Manycore Programming Model

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Erik Stubbfält; [2021]
    Keywords : Computer Architecture; Parallel Computing;

    Abstract : This work investigates how certain processor architectures can affectthe implementation and performance of a parallel programming model.The Ericsson Many-Core Architecture (EMCA) is compared and contrastedto general-purpose multicore processors, highlighting differencesin their memory systems and processor cores. READ MORE

  5. 24. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms

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

    Author : Kelun Liu; [2021]
    Keywords : Communication; Time-Predictability; Network-on-Chip; Software Specification; Worst-Case Communication Time; Kommunikation; Tid Förutsägbarhet; Nätverk-på-Chip; MjukvaruSpecifikation; Kommunikationstid i Värsta Fall;

    Abstract : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. READ MORE

  6. 25. Applying Stateless Model Checking to Work-Stealing libraries

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Robert Markovski; [2021]
    Keywords : ;

    Abstract : Software verification by testing does not always detect concurrency errors. Software verification by Stateless Model Checking searches the state space more systematically than testing and can therefore detect concurrency errors which may not be found by testing alone. READ MORE