Sökning: "liveness"
Visar resultat 1 - 5 av 18 uppsatser innehållade ordet liveness.
1. Practical Analysis of the Giskard Consensus Protoco
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. LÄS MER
2. Simulating Distributed Executions in Kompact
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
3. A Comparative Study Of Proof of Stake Algorithms
Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknikSammanfattning : Cryptocurrencies are growing at a rapid pace. It is well established that the mining operation fueling the cryptocurrency Bitcoin consumes a significant amount of energy. This study aims to determine if there is an alternative to the consensus model, maintaining security, integrity, and decentralization. LÄS MER
4. People dancing without bodies: A qualitative study of virtual raving in a pandemic
Magister-uppsats, Malmö universitet/Fakulteten för kultur och samhälle (KS)Sammanfattning : This thesis revolves around social dance movements in the form of raving and clubbing in Berlin, and how this performative scene is affected by social distancing measures due to the current situation of Covid-19. As an important moment in history, online body performances and virtual spaces aim to complement and substitute social experiences in physical environments. LÄS MER
5. Modelling Rust’s Reference Ownership Analysis Declaratively in Datalog
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : Rust is a modern systems programming language that offers improved memory safety over traditional languages like C or C++ as well as automatic memory management without introducing garbage collection. In particular, it guarantees that well-typed programs are free from data-races caused by memory-aliasing, use-after-frees, and accesses to deinitialised or uninitialised memory. LÄS MER