Sökning: "Replicated data types"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden Replicated data types.

  1. 1. Language-based Approaches to Safe and Efficient Distributed Programming

    Författare :Xin Zhao; Philipp Haller; Roberto Guanciale; Wolfgang De Meuter; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Distributed systems; Type system; Replicated data types; Computer Science; Datalogi;

    Sammanfattning : Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. Strong consistency ensures that all clients observe consistent data updates atomically on all servers in a distributed system, and it is widely used in systems such as relational databases. LÄS MER

  3. 2. New Strategies for Ensuring Time and Value Correctness in Dependable Real-Time Systems

    Författare :Hüseyin Aysan; Sasikumar Punnekkat; Iain Bate; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Sammanfattning : Dependable real-time embedded systems are typically composed of a number of heterogeneous computing nodes, heterogeneous networks that connect them and tasks with multiple criticality levels allocated to the nodes. The heterogeneous nature of the hardware, results in a varying vulnerability to different types of hardware failures. LÄS MER

  4. 3. Improving detection and diagnosis of bearing failures in wind turbine drivetrains

    Författare :Daniel Strömbergsson; Pär Marklund; Kim Berglund; Ulf Olofsson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Elements; Maskinelement;

    Sammanfattning : Wind power has in the last 20 years grown into one of the main sources of renewable energy in the world, with both the amount and size of the turbines increasing substantially. One of the major challenges for the wind power industry is the premature failures of especially the drivetrain components. LÄS MER

  5. 4. Cattle Shipments and Disease Spread Modeling

    Författare :Peter Brommesson; Tom Lindström; Uno Wennergren; Angela Luis; Linköpings universitet; []
    Nyckelord :LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Spread of transboundary animal diseases can have large impact on animal welfare, public health and economy. The effects of this include economic losses in terms of lower milk production, lower weight gain and culling due to welfare concerns. LÄS MER

  7. 5. Fatal car crash configurations and injury panorama : with special emphasis on the function of restraint system

    Författare :Mats Lindquist; Ulf Björnstig; Anders Kullgren; Umeå universitet; []
    Nyckelord :Surgery; Deep studies; fatal crashes; small overlap; human FE-modeling; body kinematics; real life safety; Kirurgi; kirurgi; Surgery;

    Sammanfattning : Background: Most traffic safety research projects require accurate real world data which is collected in different databases around the world. This is especially important since the results of these projects form the basis for new crash test procedures and standards. LÄS MER