Essays about: "Model Checking"

Showing result 21 - 25 of 140 essays containing the words Model Checking.

  1. 21. Simulating Distributed Executions in Kompact

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

    Author : Johan Mallo Bakken; [2022]
    Keywords : Simulation; Testing; Distributed Systems; Kompact; Liveness; Raft; Simulering; Testning; Distribuerade System; Kompact; Liveness; Raft;

    Abstract : Distributed systems are complex systems that offer highly scalable and reliable services. With that complexity comes the difficulty of developing and testing such systems as they are highly non-deterministic. READ MORE

  3. 22. A model checking tool for dynamic multi-agent systems

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Ye Leng; [2022]
    Keywords : ;

    Abstract : A multi-agent system (MAS) is a system composed of multiple interacting agents which can perform actions in a competitive environment. Among the theoretical framework which model MAS, we focus on named homogeneous and dynamic multi-agent system (HDMAS) first presented in [1]. HDMAS has two significant features: 1. READ MORE

  4. 23. The impact of expiration date tracking software in grocery stores : A task-technology fit review of information systems used for date-checking in grocery stores

    University essay from Uppsala universitet/Institutionen för informatik och media

    Author : Anna Enstam; [2022]
    Keywords : expiration date tracking software; food waste; information system; task- technology fit; case study;

    Abstract : Each year, 1.3 billion tons of food produced for human consumption are lost or go to waste globally throughout the food supply chain (FSC). Increasing the efficiency of the entire FSC is an essential action in achieving food security for the global population, which includes reducing the amount of food lost and wasted. READ MORE

  5. 24. Compiler Testing of C11 Atomics for Arm and RISC-V

    University essay from Uppsala universitet/Datorteknik

    Author : Hampus Adolfsson; [2022]
    Keywords : compiler; compiler testing; atomics; c11 atomics; arm; risc-v;

    Abstract : The C11 standard introduced atomic types and operations, with an accompanying memory model, to enable the use of shared variables in concurrent programs. In this thesis, I demonstrate how compilers can be tested, in a way that is deterministic and covers the entire set of atomic operations, to ensure they correctly implement C11 atomics and the C11 memory model. READ MORE

  6. 25. Combining Cross-Validation and Ensemble Creation for Artificial Neural Networks

    University essay from Lunds universitet/Beräkningsbiologi och biologisk fysik - Genomgår omorganisation

    Author : Anna Lena Hölldobler; [2022]
    Keywords : Artificial Neural Networks; Cross-Validation; Ensemble Creation; Physics and Astronomy;

    Abstract : Artificial neural networks (ANNs) are widely used nowadays, and the research into improving their performances is continually ongoing. One main goal of ANNs is to have a high generalization performance, which can be estimated through validation. READ MORE