Essays about: "multi-threaded semantics"

Found 3 essays containing the words multi-threaded semantics.

1. 1. Real-time Detection and Tracking of Moving Objects Using Deep Learning and Multi-threaded Kalman Filtering : A joint solution of 3D object detection and tracking for Autonomous Driving

   University essay from Umeå universitet/Institutionen för tillämpad fysik och elektronik

   Author : Henrik Söderlund; [2019]
   Keywords : Master Thesis; Engineering; Autonomous Driving; Object Detection; Object Tracking; Deep Learning; Kalman Filter; Computer Vision; LiDAR;

   Abstract : Perception for autonomous drive systems is the most essential function for safe and reliable driving. LiDAR sensors can be used for perception and are vying for being crowned as an essential element in this task. READ MORE

3. 2. Sound and Complete Reachability Analysis under PSO

   University essay from Institutionen för informationsteknologi

   Author : Magnus Lång; [2013]
   Keywords : ;

   Abstract : Modern multiprocessor systems use weak (relaxed) memory models in order to execute memory sharing multi-threaded code in an efficient manner, but are much harder for programmers to reason about than systems using the sequential consistency memory model. The SB abstraction and its implementation in the Memorax tool allows sound and complete checking of control state reachability under the TSO memory model, used in modern x86 processors. READ MORE

4. 3. Machine Assisted Reasoning for Multi-Threaded Java Bytecode

   University essay from KTH/Elektronik- och datorsystem, ECS

   Author : Mikael Zayenz Lagerkvist; [2005]
   Keywords : formal methods; semantics; verification; multi-threaded semantics;

   Abstract : In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management. In addition, the subset contains a treatment of parallel threads of execution. READ MORE