Search
Now showing items 1-6 of 6
Implementation, validation and experimental evaluation of a self-stabilizing randomized Byzantine-tolerant binary consensus algorithm
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2022-05-31)
Binary consensus is a problem in which a set of processors must agree on a single binary value. In asynchronous systems, where a subset of the processors may be malicious, this challenge gets more challenging. We study ...
Implementation and evaluation of an algorithm for the omni-do problem using the ensemble group communication service
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2009-12)
A lot of research has been conducted for studying cooperation in distributed systems. The abstract problem of performing a set of tasks by a set of distributed fault-prone processors is generally known as DO-ALL. In ...
Front-end interface for a distributed storage system using laravel
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2023-05-31)
This Thesis is about a distributed system application which is able to manage large shared data objects in distributed storage systems (DSS) while increasing the number of concurrent accesses, maintaining high levels of ...
Enchancing the tempo compiler to support java-sockets/TCP -based communication
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2011-06)
The term automated implementation of distributed algorithms refers to the process during which an algorithm written in Input/Output Automata (IOA) and/or Timed IOA is automatically translated to executable code. The Tempo ...
Algorithm mechanisms for reliable master - worker internet - based computing under communication uncertainty
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2012-06)
We consider Internet-based master-worker computations, where a master processor assigns, across the Internet, a computational task to a set of untrusted worker processors and collects their responses. Examples of such ...
Implentation,validation and experimental evaluation of a distributed randomized common coin algorithm
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2022-07-28)
A crucial problem found in distributed system is to achieve trustworthyness. If we know who to trust then we can try and reach consensus which is to decide a common value for everyone. This becomes significantly more ...