Sökning: "TLA"
Visar resultat 1 - 5 av 15 uppsatser innehållade ordet TLA.
1. Decentralized Validation of Reproducible Builds : A protocol for collaborative and decentralized validation of package reproducibility
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
2. Composing Specifications Given in Different Formalisms
Kandidat-uppsats, KTH/DatavetenskapSammanfattning : 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. LÄS MER
3. A Method for Porting Software Using Formal Specifications
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
4. Evaluation of float-truncation based compression techniques for the ATLAS jet trigger
Kandidat-uppsats, Lunds universitet/Partikel- och kärnfysik; Lunds universitet/Fysiska institutionenSammanfattning : 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. LÄS MER
5. Differences in tumor volume for treated glioblastoma patients examined with 18F-fluorothymidine PET and contrast-enhanced MRI
Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för fysikSammanfattning : 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. LÄS MER