Sökning: "Conflict detection and resolution"

Hittade 5 avhandlingar innehållade orden Conflict detection and resolution.

  1. 1. Caches, Transactions and Memories : Models, Coherence and Consistency

    Författare :Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

    Sammanfattning : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. LÄS MER

  3. 2. Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases

    Författare :Sanny Syberfeldt; Sten Andler; Jörgen Hansson; Sang H. Son; Alejandro Buchmann; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Distributed Systems; Real-Time Systems; Databases; Replication; Optimistic Protocol; Conflict Resolution; Computer science; Datalogi; Teknik;

    Sammanfattning : In this thesis a replication protocol - PRiDe - is presented, which supports optimistic replication in distributed real-time databases with deterministic detection and forward resolution of transaction conflicts. The protocol is designed to emphasize node autonomy, allowing individual applications to proceed without being affected by distributed operation. LÄS MER

  4. 3. Development of critical enablers for Unmanned Traffic Management

    Författare :Leonid Sedov; Valentin Polishchuk; Tobias Andersson Granberg; Yan Xu; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : As the interest in drones continues to grow in both commercial and leisure markets, governments around the world are preparing to face the new challenges arising from unmanned operations. Safe and efficient handling of this novel drone traffic warrants an Unmanned Traf-fic Management (UTM) system capable of dealing with the envisioned high traffic densities. LÄS MER

  5. 4. Design and Implementation of a Maritime Traffic Modeling and Anomaly Detection Method

    Författare :Ewa Osekowska; Blekinge Tekniska Högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Nowadays ships are usually equipped with a system of marine instruments, one of which is an Automatic Identification System (AIS) transponder. The availability of the global AIS ship tracking data opened the possibilities to develop maritime security far beyond the simple collision prevention. LÄS MER

  7. 5. Distributed Multiple Access and Service Differentiation Algorithms for Wireless Networks

    Författare :Thomas Nilsson; Per-Åke Wedin; Jerry Eriksson; Lennart Bondesson; Andrzej Duda; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Wireless Local Area Networks; Medium Access Control; Quality of Service; Resource Allocation; IEEE 802.11; IEEE 802.11e; Datatransmission; Datatransmission;

    Sammanfattning : Communicating over a wireless channel poses many unique challenges not found in wired communication because of the special characteristics of the wireless channel. The capacity in a wireless network is typically scarce as a result of the limited bandwidth and many distinct phenomenons, like attenuation and interference, that work destructively on the received signals. LÄS MER