Sökning: "relaxed consistency"

Visar resultat 1 - 5 av 6 uppsatser innehållade orden relaxed consistency.

  1. 1. Exploring a Two Higgs Doublet Model with a U(1) Family Symmetry and a Complex Singlet

    Master-uppsats, Lunds universitet/Institutionen för astronomi och teoretisk fysik - Genomgår omorganisation

    Författare :Michal Nowak; [2021]
    Nyckelord :Two Higgs Doublet Model; Complex Singlet Extension; Phenomenology; Physics Beyond the Standard Model; Branco-Grimus-Lavoura Model; Physics and Astronomy;

    Sammanfattning : In this project a two Higgs doublet model with a complex singlet and an extra family symmetry providing a mechanism for suppression of flavor changing neutral currents is explored. The goal is to investigate the phenomenological consistency of the model using a custom software framework. LÄS MER

  3. 2. A Performance Comparison of SQL and NoSQL Databases for Large Scale Analysis of Persistent Logs

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

    Författare :Abdullah Hamed Al Hinai; [2016]
    Nyckelord :;

    Sammanfattning : Recently, non-relational database systems known as NoSQL have emerged as alternative platforms to store, load and analyze Big Data. Most NoSQL systems, such as MongoDB, Redis, HBase, and Cassandra sacrifice consistency for scalability which means that users may not be able to retrieve the latest changes in the data but can execute faster queries. LÄS MER

  4. 3. Model checking transaction properties for concurrent real-time transactions in UPPAAL

    Magister-uppsats, Mälardalens högskola/Inbyggda system

    Författare :Jinle Li; [2016]
    Nyckelord :Real-time transaction management; MVCC; model-checking; timeliness; isolation;

    Sammanfattning : As a technique to ensure absence of undesired interference in transactional computations, Concurrency Control (CC) guarantees logical data consistency via providing transaction isolation, thus contributing to their dependability. However, single-version CC, which requires that a transaction system always works on the current version of a data item, may introduce unpredictable delays for real-time transactions because of unbounded blocking time which may cause deadline misses. LÄS MER

  5. 4. Sound and Complete Reachability Analysis under PSO

    Kandidat-uppsats, Institutionen för informationsteknologi

    Författare :Magnus Lång; [2013]
    Nyckelord :;

    Sammanfattning : Modern multiprocessor systems use weak (relaxed) memory models in order to execute memory sharing multi-threaded code in an efficient manner, but are much harder for programmers to reason about than systems using the sequential consistency memory model. The SB abstraction and its implementation in the Memorax tool allows sound and complete checking of control state reachability under the TSO memory model, used in modern x86 processors. LÄS MER

  7. 5. Robust, fault-tolerant majority based key-value data store supporting multiple data consistency

    Master-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Författare :Tareq Jamal Khan; [2011]
    Nyckelord :Web 2.0 applications; peer-to-peer P2P system; key-value data store; relaxed consistency; Distributed Hash Table DHT ; majority based quorum technique;

    Sammanfattning : Web 2.0 has significantly transformed the way how modern society works now-a-days. In today‘s Web, information not only flows top down from the web sites to the readers; but also flows bottom up contributed by mass user. Hugely popular Web 2. LÄS MER