Essays about: "c programming language"

Showing result 21 - 25 of 153 essays containing the words c programming language.

  1. 21. A Comparative Study on Deductive Verification for Rust and C

    University essay from KTH/Datavetenskap

    Author : Nils Löfberg; Aron Bergman; [2022]
    Keywords : ;

    Abstract : In programming, deductive verification is a technique to generate proof that a function obeys a set of manually specified regulations in the form of annotations. In addition to these annotations, the verifier also utilizes the constraints of the underlying programming language to prove that the function cannot cause the program to crash unexpectedly. READ MORE

  3. 22. Efficient High-level Synthesis Implementation of massive MIMO Processing on RFSoC

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

    Author : Sijia Cheng; [2022]
    Keywords : Technology and Engineering;

    Abstract : Massive multiple-input multiple-output (MIMO) refers to a wireless access technology that equips base station (BS) with hundreds to thousands of antennas to serve tens of user equipment (UE) in the same time-frequency resource. These extensive antennas improve spectral and energy efficiency, but the detection algorithms tend to be more complex with operations, multiplications, and inversions on larger size matrix. READ MORE

  4. 23. Representing ultrasound in Augmented Reality

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Hanna Gjöthlén; Salem Lojic; [2022]
    Keywords : ;

    Abstract : This thesis covers the implementation of an augmented reality (AR) system where ultrasound images are captured from an ultrasound scanner (i.e. probe) and sent to an interface application through a server and then projected into the real world using AR technology. READ MORE

  5. 24. Embedded GUI Library Development

    University essay from Uppsala universitet/Solcellsteknik

    Author : Sofia Dreborg; [2022]
    Keywords : GUI; Embedded Systems; Microcontroller; MCU;

    Abstract : This project aimed to create a simple open-source embedded graphical user interface library that could be used on more or less any microcontroller platform. The programming language was intended to be C++ for the GUI but as the project evolved C was chosen above C++. READ MORE

  6. 25. Towards Embedded Implementations of Multi-Armed Bandit Algorithms for Optimised Channel Selection

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Alex Kangas; [2021]
    Keywords : ;

    Abstract : The proliferation of Internet of Things increases the demand for achieving a high performance for embedded devices on the Internet. The IEEE 802.15.4 wireless network standard provides ultra low complexity, cost, power consumption and data rate for inexpensive devises, although it has problems such as external interference and multi-path fading. READ MORE