Essays about: "system proposed using C#"

Showing result 1 - 5 of 89 essays containing the words system proposed using C#.

  1. 1. Novel Method of ASIC interface IP development using HLS

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Anestis Athanasiadis; Chandranshu Mishra; [2023]
    Keywords : High Level Synthesis; HLS; Untimed C ; Control logic; I3C; clock-accurate design; IP development; Technology and Engineering;

    Abstract : High-Level Synthesis(HLS) is a design methodology that enables designers to implement hardware from high-level coding languages, such as C, C++, or System C. It provides designers with the ability to convey their design at a higher level of abstraction, which allows more emphasis on an algorithm and functional aspects of design instead on low-level hardware details. READ MORE

  3. 2. Accelerating the Green Transition - Investigating the Feasibility of E-Fuel Production Connected to a CHP Plant

    University essay from Lunds universitet/Institutionen för energivetenskaper

    Author : Johanna Scholtz; Alice Maillard; [2023]
    Keywords : CCU; CHP plant; e-fuels; e-methane; e-methanol; e-kerosene; Technology and Engineering;

    Abstract : The overall purpose of this thesis is to investigate the feasibility of producing electrofuels from CO2 and H2 in connection to a CHP plant equipped with carbon capture technology. This is done by investigating the production of e-methane, e-methanol and e-kerosene from captured CO2 and H2 produced from electrolysis. READ MORE

  4. 3. Automated Inference of ACSL Contracts for Programs with Heaps

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

  5. 4. Development of a Machine Learning Survival Analysis Pipeline with Explainable AI for Analyzing the Complexity of ED Crowding : Using Real World Data collected from a Swedish Emergency Department

    University essay from KTH/Medicinteknik och hälsosystem

    Author : Tobias Haraldsson; [2023]
    Keywords : SHAP; Explainable AI; Survival Analysis; LOS; Machine Learning; ED Crowding; SHAP; Förklarbar AI; Överlevnadsanalys; LOS; Maskininlärning; Överbelastning på Akuten;

    Abstract : One of the biggest challenges in healthcare is Emergency Department (ED)crowding which creates high constraints on the whole healthcare system aswell as the resources within and can be the cause of many adverse events.Is is a well known problem were a lot of research has been done and a lotof solutions has been proposed, yet the problem still stands unsolved. READ MORE

  6. 5. Simulations of the Tenuous Upper Atmospheres of Exoplanets

    University essay from Lunds universitet/Astrofysik; Lunds universitet/Fysiska institutionen

    Author : Lucian Spitzner; [2023]
    Keywords : astronomy; astrophyics; exoplanets; transmission spectroscopy; magnetic fields; atmospheres; ions; Physics and Astronomy;

    Abstract : Over the last decade, the interest in research on extraterrestrial planets has expanded dramatically. With the number of confirmed exoplanets having increased tenfold over the last ten years, we now know that many different types of exoplanets exist. READ MORE