Essays about: "Iteration Function System"

Showing result 1 - 5 of 10 essays containing the words Iteration Function System.

1. 1. Verisium Drone - PinDown ML-Debug Visualisation Tool

   University essay from Lunds universitet/Certec - Rehabiliteringsteknik och Design

   Author : Pontus Persson; [2023]
   Keywords : User Experience; user-friendly; web application; data plotting; visualisation; prototype fidelity; Technology and Engineering;

   Abstract : In collaboration with Cadence this thesis work has created a web based interface which aims to visualise large sets of data in a more human readable way. Cadence is a company specialising in electronic system design and is offering other companies solutions for silicon design creation, simulation, implementation and signoff of analog and digital circuits and a lot more. READ MORE

3. 2. Usability of a subscription-based book service : - How can a web application for a subscription-based book service be designed to reduce the number of clicks and improve subjective user experiences for given tasks in the aspect of usability?

   University essay from Linköpings universitet/Institutionen för datavetenskap

   Author : Elvira Amolegbe; Jakob Berggren; Frans Burman; Axel Falk; Philip Folkunger; Lars Nyreröd Granath; Alice Waller; Max Wallhem; Daniel Åström; [2022]
   Keywords : usability; navigability; user experience; number of clicks; subscription-based; web application;

   Abstract : To increase the number of customers buying from a web application, theory states that the application needs to be easy to use. In this study, navigability and usability will be investigated and tested on a web-based book-subscription service. READ MORE

4. 3. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

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

   Author : Mark Håkansson; [2022]
   Keywords : RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

   Abstract : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. READ MORE

5. 4. Quality Attributes of Data in Distributed Deep Learning Architectures

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : SHAMEER KUMAR PRADHAN; SAGAR TUNGAL; [2021-09-28]
   Keywords : Data quality; Data; Data quality attributes; Data quality challenges; Data quality workflow; Data quality assessment; Data quality maintenance; Design science research; Artifacts; Template; Deep learning; Distributed architecture; Distributed deep learning architecture; Advanced driver assistance systems;

   Abstract : Large volume of data is generated by different systems. Intelligent systems such as autonomous driving uses such large volume of data to train their artificial intelligence models. However, good quality data is one of the foremost needs of any system to function in an effective and safe manner. READ MORE

6. 5. Idiom-driven innermost loop vectorization in the presence of cross-iteration data dependencies in the HotSpot C2 compiler

   University essay from Linköpings universitet/Programvara och system

   Author : William Sjöblom; [2020]
   Keywords : compiler; vectorization; SIMD; Java; HotSpot; code optimization; reductions; prefix sums; parallel programming; data-level parallelism;

   Abstract : This thesis presents a technique for automatic vectorization of innermost single statement loops with a cross-iteration data dependence by analyzing data-flow to recognize frequently recurring program idioms. Recognition is carried out by matching the circular SSA data-flow found around the loop body’s φ-function against several primitive patterns, forming a tree representation of the relevant data-flow that is then pruned down to a single parameterized node, providing a high-level specification of the data-flow idiom at hand used to guide algorithmic replacement applied to the intermediate representation. READ MORE