Now showing items 1-5 of 5

    • Algorithm mechanisms for reliable master - worker internet - based computing under communication uncertainty 

      Χριστοφόρου, Ευγενία; Christoforou, Evgenia (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 ...
    • Evaluation of algorithms implementing multiple writer multiple reader atomic registers on planet-lab 

      Σάββα, Αντρέας; Savva, Andreas (University of Cyprus, Faculty of Pure and Applied Sciences; Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών, 2010-08)
      A lot of research has been conducted for studying efficient data survivability in distributed storage systems. A challenging question that researches attempt to address is “How can a distributed system efficiently maintain ...
    • Identifying software packages on cloud machine instances using filesystem meta-data 

      Θεοδώρου, Νεόφυτος; Theodorou, Neophytos (University of Cyprus, Faculty of Pure and Applied Sciences; Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών, 2011-09)
      Utilization of the emerging grid and cloud infrastructure requires services which allow the user to identify the machine instances suitable for her software needs. Identifying the software packages installed on cloud machine ...
    • Implementation and evaluation of an algorithm for the omni-do problem using the ensemble group communication service 

      Σάββα, Ιωάννα; Savva, Ioanna (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 ...
    • Πλαίσιο εργασίας για τη δημιουργία μηχανής παραγωγής μεταλλάξεων εντολών σε πηγαίο κώδικα για την γλώσσα C#. 

      Κουρράς, Αντώνης; Kourras, Antonis (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών; University of Cyprus, Faculty of Pure and Applied Sciences, 2010-08)
      Ο έλεγχος είναι μια διαδικασία η οποία είναι αναπόφευκτη για την ανάπτυξη και παραγωγή ενός συστήματος λογισμικού. Έχουν γίνει αρκετές προσεγγίσεις οι οποίες αναφέρονται στον έλεγχο συστημάτων λογισμικού. Με την αύξηση της ...