Search
Now showing items 1-8 of 8
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 ...
Modelling the multiple sclerosis disease using stochastic petri nets
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2011-01)
Multiple Sclerosis is an inflammatory demyelinating disorder of the Central Nervous System. It is an autoimmune disease that its causes are still not clarified. The demyelization of the neural axons leads to the physical ...
Ontological query rewriting: termination criteria
(Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2022-12)
Ontological queries are queries evaluated against a database and an ontology, i.e. a set of logic rules and constraints from which new knowledge can be derived from. Ontological database systems can thus be more powerful ...
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 ...