Essays about: "icke-blockerande"

Found 3 essays containing the word icke-blockerande.

  1. 1. 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

  3. 2. Multi agent control with LTL specifications and abstraction with input memories

    University essay from KTH/Reglerteknik

    Author : Paul Rousse; [2017]
    Keywords : ;

    Abstract : Formal controller synthesis methods with temporal logic specications tryto guarantee the correctness of given specications with a system that mighthave complex behaviour. Most often, discrete abstractions of a continuoussystem are used in order to reduce the size of the problem. READ MORE

  4. 3. Data Transfer and Management through the IKAROS framework : Adopting an asynchronous non-blocking event driven approach to implement the Elastic-Transfer's IMAP client-server connection

    University essay from KTH/Radio Systems Laboratory (RS Lab)

    Author : Nikolaos Gkikas; [2015]
    Keywords : parallel file systems; distributed file systems; IKAROS file system; elastic-transfer; grid computing; storage systems; I O limitations; exascale; low power consumption; low cost devices; synchronous; blocking; asynchronous; non-blocking; event-driven; JSON.; parallella filsystem; distribuerade filsystem; IKAROS filsystem; elastic-transfer; grid computing; lagringssystem; I O-begränsningar; exa-skala; låg energiförbrukning; lågkostnadsenheter; synkron; blockerande; asynkron; icke-blockerande; händelsedriven; JSON;

    Abstract : Given the current state of input/output (I/O) and storage devices in petascale systems, incremental solutions would be ineffective when implemented in exascale environments. According to the "The International Exascale Software Roadmap", by Dongarra, et al. READ MORE