Essays about: "software performance"

Showing result 1 - 5 of 1961 essays containing the words software performance.

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. RENOVATION USING PREFABRICATED FAÇADE ELEMENTS

   University essay from Lunds universitet/Institutionen för arkitektur och byggd miljö; Lunds universitet/Avdelningen för Energi och byggnadsdesign

   Author : Aleksandra Milkova; Mohamed Soliman; [2024]
   Keywords : 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;

   Abstract : 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. READ MORE

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

   University essay from Mälardalens universitet/Akademin för innovation, design och teknik

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

   Abstract : 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. READ MORE

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

   University essay from Umeå universitet/Institutionen för tillämpad fysik och elektronik

   Author : Nike Vejbrink Starbrink; [2024]
   Keywords : User Experience; Interaction Design; Usability; Expert Users; Efficiency;

   Abstract : 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. READ MORE

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

   University essay from KTH/Hållbar utveckling, miljövetenskap och teknik

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

   Abstract : 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. READ MORE