Sökning: "Software performance"

Visar resultat 1 - 5 av 2164 uppsatser innehållade orden Software performance.

  1. 1. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

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

  3. 2. RENOVATION USING PREFABRICATED FAÇADE ELEMENTS

    Master-uppsats, Lunds universitet/Institutionen för arkitektur och byggd miljö; Lunds universitet/Avdelningen för Energi och byggnadsdesign

    Författare :Aleksandra Milkova; Mohamed Soliman; [2024]
    Nyckelord :Keywords: Energy use; Reduce energy; EU; IVL; LKF; TES façade; Multi-active façade; Alingsås façade; Million Programme; Moisture risk analysis; Attachment; Thermal performance; WUFI; AUTOCAD; HEAT2; Technology and Engineering;

    Sammanfattning : The building sector uses about 40% of the total global energy use. Sweden aims to reach its new goal to reduce the energy use in their residential sector as well as commercial sector by 20%, which should be reached by year 2020 and 50% by year 2050. LÄS MER

  4. 3. A Comparative Analysis of the Ingestion and Storage Performance of Log Aggregation Solutions: Elastic Stack & SigNoz

    Kandidat-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Robert Duras; [2024]
    Nyckelord :Elastic Stack; ELK; SigNoz; Beats; Logstash; Elasticsearch; Kibana; OpenTelemetry; ClickHouse; Log; Logging; Log Data; Log Aggregation; Performance; Ingestion; Storage;

    Sammanfattning : As infrastructures and software grow in complexity the need to keep track of things becomes important. It is the job of log aggregation solutions to condense log data into a form that is easier to search, visualize, and analyze. LÄS MER

  5. 4. Efficiency by design : A way to meet expert users' needs

    Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för tillämpad fysik och elektronik

    Författare :Nike Vejbrink Starbrink; [2024]
    Nyckelord :User Experience; Interaction Design; Usability; Expert Users; Efficiency;

    Sammanfattning : The administration software is a crucial component of any successful company. It is often overlooked, but it plays an essential role in ensuring the smooth operation of the business. It is the backbone of the company's operations, and it must be able to meet the evolving needs of its users. LÄS MER

  7. 5. Evaluation of Swedish daylight regulations in university building - Validation and applicability

    Master-uppsats, KTH/Hållbar utveckling, miljövetenskap och teknik

    Författare :Cédric Berthou; [2024]
    Nyckelord :Daylight; Sweden; University building; modelling; Grasshopper; building performance simulation; Dagsljus; svenska föreskrifter; universitetsbyggnad; 3D-modellering; Grasshopper;

    Sammanfattning : Daylight availability in buildings faces numerous challenges in a world where energy efficiency,thermal comfort, and sustainability take center stage. Daylight is well-known for its role in reducingartificial lighting consumption and enhancing the well-being and performance of building occupants. LÄS MER