Sökning: "icke-blockerande"
Hittade 5 uppsatser innehållade ordet icke-blockerande.
1. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
2. Multi agent control with LTL specifications and abstraction with input memories
Master-uppsats, KTH/ReglerteknikSammanfattning : 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
3. ESTETISK VÄGPLANERING : Prestanda hos A*PS och Theta*
Kandidat-uppsats, Högskolan i Skövde/Institutionen för informationsteknologiSammanfattning : 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
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)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
5. Opto-elektriska korskopplare i optiska nät, Mätningar och nätanalys
Magister-uppsats, Blekinge Tekniska Högskola/Institutionen för telekommunikation och signalbehandlingSammanfattning : 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