Essays about: "Extend software"
Showing result 1 - 5 of 146 essays containing the words Extend software.
-
1. A Verified QBF Solver
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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
-
2. Defining an Evaluation Model for Container Orchestration Operator Frameworks
University essay from Lunds universitet/Institutionen för elektro- och informationsteknikAbstract : 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
-
3. Chromatin accessibility analysis of spaceflight mouse brains using ArchR
University essay from KTH/GenteknologiAbstract : 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
-
4. Behavioural comparison of test and field executions of video games
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
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 datavetenskapAbstract : 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