Essays about: "Extend software"

Showing result 1 - 5 of 146 essays containing the words Extend software.

  1. 1. A Verified QBF Solver

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2024]
    Keywords : ;

    Abstract : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. READ MORE

  3. 2. Defining an Evaluation Model for Container Orchestration Operator Frameworks

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

    Author : André Arnesson; Samuel Alberius; [2023]
    Keywords : container orchestration; cloud native application; operator; software framework; evaluation model; Technology and Engineering;

    Abstract : The growing complexity of cloud native applications has necessitated the intro- duction of operators to the container orchestration tools’ suite of components. Operators affords developers the ability to encode domain knowledge and make fine-grained controllers for their Kubernetes clusters, radically extending the range of feasible applications to host. READ MORE

  4. 3. Chromatin accessibility analysis of spaceflight mouse brains using ArchR

    University essay from KTH/Genteknologi

    Author : Raphaël Mauron; [2023]
    Keywords : Single nuclei ATAC-sequencing; Space Biology; DNA Chromatin accessibility; Neurodegenerative; ArchR; ATAC-sekvensering av enskilda kärnor; rymdbiologi; tillgänglighet av DNA kromatin ; neurodegenerativa sjukdomar; ArchR;

    Abstract : Mänsklig utforskning av månen och Mars innebär stora utmaningar för människans fysiologi och hälsa på grund av de unika miljöfaktorer som följer av långvariga rymduppdrag. Rymdbiologiska experiment har blivit ett viktigt verktyg för att studera effekterna som mikrogravitation och rymdstrålning har på levande organismer, i syfte att förstå och minska dessa utmaningar. READ MORE

  5. 4. Behavioural comparison of test and field executions of video games

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

    Author : Chloé Marie Porion; [2023]
    Keywords : Software Testing; Field Monitoring; Test Monitoring; Video Games; Video Game Modding; Mjukvarutestning; Fältövervakning; Testövervakning; Videospel; Videospel Modding;

    Abstract : Software developers write tests to ensure that their application behaves as intended. However, the behaviour of an application in production may deviate from the behaviours that are tested. This difference between test and field executions is rarely assessed in practice. READ MORE

  6. 5. Finding the Sweet Spot: Optimizing Kubernetes for Scalability and Resilience : A Comprehensive Study on Improving Resource Utilization and Performance in Containerized Environments.

    University essay from Karlstads universitet/Fakulteten för hälsa, natur- och teknikvetenskap (from 2013); Karlstads universitet/Avdelningen för datavetenskap

    Author : Adam Rör; [2023]
    Keywords : Kubernetes; Microservices; Containerization Technology; Virtualization; Minikube;

    Abstract : Modern technology is rapidly and efficiently expanding, and by looking at the largest companies by market cap, one will find enterprises like Apple, Microsoft, Alphabet, and Meta. Given the complexity of modern software architecture, there arises a necessity for a software architecture that is both scalable and adaptable. READ MORE