Sökning: "Implementation languages"

Visar resultat 1 - 5 av 227 uppsatser innehållade orden Implementation languages.

  1. 1. A type-driven approach for sensitivity checking with branching

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Daniel Freiermuth; [2023-10-24]
    Nyckelord :Computer; science; computer science; thesis; differential privacy; type system; sensitivity; branching;

    Sammanfattning : Differential Privacy (DP) is a promising approach to allow privacy preserving statistics over large datasets of sensitive data. It works by adding random noise to the result of the analytics. Understanding the sensitivity of a query is key to add the right amount of noise capable of protecting privacy of individuals in the dataset. LÄS MER

  3. 2. Code Synthesis for Heterogeneous Platforms

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Zhouxiang Fu; [2023]
    Nyckelord :Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Sammanfattning : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. LÄS MER

  4. 3. Dasty : Revealing Real-World Prototype Pollution Consequences with Dynamic Taint Analysis

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Paul Moosbrugger; [2023]
    Nyckelord :Prototype Pollution Gadgets; Dynamic Taint Analysis; Forced Branch Execution; NodeProf Instrumentation; Truffle GraalJS;

    Sammanfattning : Prototype pollution is a vulnerability in JavaScript and other prototype-based languages that allows malicious actors to inject a property into an object’s prototype. The injected property can subsequently trigger gadgets - source code sections that use the properties in sensitive locations. LÄS MER

  5. 4. Java Auto Grader

    Uppsats för yrkesexamina på grundnivå, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Shahm Abdulrazzak; Tor Mattsson; [2023]
    Nyckelord :Property-based Testing. JUnit Quick-Check. Automation. Auto grader. Test generator. Programming. Java.;

    Sammanfattning : The process of grading code submissions in programming courses is time-consuming and error-prone. To address this issue, we propose a project that automates the testing and grading process for Java code submissions at Halmstad University. LÄS MER

  7. 5. Novel Method of ASIC interface IP development using HLS

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

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

    Sammanfattning : 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. LÄS MER