Sökning: "icke-blockerande"

Hittade 5 uppsatser innehållade ordet icke-blockerande.

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

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

    Författare :Kelun Liu; [2021]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

    Master-uppsats, KTH/Reglerteknik

    Författare :Paul Rousse; [2017]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  4. 3. ESTETISK VÄGPLANERING : Prestanda hos A*PS och Theta*

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för informationsteknologi

    Författare :Jon Wahlström; [2015]
    Nyckelord :A*PS; Theta*; vägplanering; estetisk vägplanering;

    Sammanfattning : Arbetet undersöker prestanda och estetik hos A*PS och Theta* inom olika miljötyper, där miljötyper är ett generaliserat begrepp för spelmiljöer och innefattar en struktur samt ett antal blockerande objekt. Båda teknikerna är varianter av A*-algoritmen och används för att åstadkomma estetisk vägplanering. LÄS MER

  5. 4. 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

    Master-uppsats, KTH/Radio Systems Laboratory (RS Lab)

    Författare :Nikolaos Gkikas; [2015]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  7. 5. Opto-elektriska korskopplare i optiska nät, Mätningar och nätanalys

    Magister-uppsats, Blekinge Tekniska Högskola/Institutionen för telekommunikation och signalbehandling

    Författare :Stefan Melin; [2002]
    Nyckelord :OEXC; OXC; Våglängder; Korskopplare; DXC; Portar; Opto-elektrisk; Nätanalys; Regenerering;

    Sammanfattning : Det här examensarbetet som är utfört hos Telia Research AB behandlar opto-elektriska korskopplare (OEXC) i ett modellnät. Arbetet omfattar två delar, en karaktärisering av OEXC:er tillverkade av en specifik leverantör och en nätanalysdel. Karaktärisering av OEXC:er bestod av mätningar utförda i laboratorium på Telia Research AB. LÄS MER