Essays about: "liveness"
Showing result 1 - 5 of 16 essays containing the word liveness.
-
1. Practical Analysis of the Giskard Consensus Protoco
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : 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. READ MORE
-
2. Simulating Distributed Executions in Kompact
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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. A Comparative Study Of Proof of Stake Algorithms
University essay from Lunds universitet/Institutionen för elektro- och informationsteknikAbstract : 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. READ MORE
-
4. People dancing without bodies: A qualitative study of virtual raving in a pandemic
University essay from Malmö universitet/Fakulteten för kultur och samhälle (KS)Abstract : 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. READ MORE
-
5. Modelling Rust’s Reference Ownership Analysis Declaratively in Datalog
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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. READ MORE