Essays about: "TLA"

Showing result 1 - 5 of 12 essays containing the word TLA.

  1. 1. Decentralized Validation of Reproducible Builds : A protocol for collaborative and decentralized validation of package reproducibility

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

    Author : Johan Moritz; [2023]
    Keywords : Blockchain; Reproducible builds; Collaborative intelligence; Model checking; Hyperledger Fabric; TLA ; Blockkedjor; Reproducerbara byggen; Kollaborativ intelligens; Modeltestning; Hyperledger Fabric; TLA ;

    Abstract : As the threat of supply-chain attacks grows, the need for techniques to protect software integrity likewise increases. The concept of reproducible builds is one such protection. READ MORE

  3. 2. Composing Specifications Given in Different Formalisms

    University essay from KTH/Datavetenskap

    Author : Arvid Siberov; Gabriel Skoglund; [2022]
    Keywords : ;

    Abstract : The field of contract theory is concerned with formal proofs of how smaller components may be composed into larger systems. This thesis shows how one framework for constructing such proofs may be used to prove properties of compositions where some components are specified using the TLA+ formalism. READ MORE

  4. 3. A Method for Porting Software Using Formal Specifications

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

    Author : Fredrik Öberg; Magnus Fredriksson; [2021]
    Keywords : porting; formal specification; TLA ; testing; Rust; portering; formell specifikation; TLA ; testning; Rust;

    Abstract : Formal specifications are mathematically based techniques with which a system can be analyzed, and its functionalities be described. Case studies have shown that using formal specifications can help reduce bugs and other inconsistencies when implementing a complex system; they are more likely found during the software design phase rather than later. READ MORE

  5. 4. Evaluation of float-truncation based compression techniques for the ATLAS jet trigger

    University essay from Lunds universitet/Partikel- och kärnfysik; Lunds universitet/Fysiska institutionen

    Author : Love Kildetoft; [2021]
    Keywords : Physics and Astronomy;

    Abstract : Data compression methods allow more data to be stored within a certain storage framework while still keeping the characteristics of the data in question. At the Large Hadron Collider on the grounds of CERN in Switzerland, limited data storage capability is and has always been an urgent problem. READ MORE

  6. 5. Differences in tumor volume for treated glioblastoma patients examined with 18F-fluorothymidine PET and contrast-enhanced MRI

    University essay from Umeå universitet/Institutionen för fysik

    Author : Karolina Hedman; [2020]
    Keywords : PET MRI; positron emission tomography; magnetic resonance imaging; brain tumor; glioblastoma; image segmentation; adaptive thresholding; feature extraction; radiotracer; gadolinium; image processing; image analysis;

    Abstract : Background: Glioblastoma (GBM) is the most common and malignant primary brain tumor. It is a rapidly progressing tumor that infiltrates the adjacent healthy brain tissue and is difficult to treat. Despite modern treatment including surgical resection followed by radiochemotherapy and adjuvant chemotherapy, the outcome remains poor. READ MORE