Browsing by Author "Georgiou, Chryssis"
Now showing items 1-20 of 100
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Article
Achieving reliability in master-worker computing via evolutionary dynamics
Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sánchez, A. (2012)This work considers Internet-based task computations in which a master process assigns tasks, over the Internet, to rational workers and collect their responses. The objective is for the master to obtain the correct task ...
-
Article
Adaptive packet scheduling over a wireless channel under constrained jamming
Fernández Anta, Antonio; Georgiou, Chryssis; Kowalski, D. R.; Zavou, Elli (2017)In this work we consider the communication over a wireless link, between a sender and a receiver, being disrupted by a jammer. The objective of the sender is to transmit as much data as possible to the receiver in the most ...
-
Article
Adaptive scheduling over a wireless channel under constrained jamming
Fernández Anta, Antonio; Georgiou, Chryssis; Zavou, Elli (2015)We consider a wireless channel between a single pair of stations (sender and receiver) that is being “watched” and disrupted by a malicious, adversarial jammer. The sender’s objective is to transmit as much useful data as ...
-
Conference Object
Algorithmic mechanisms for internet supercomputing under unreliable communication
Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2011)This work, using a game-theoretic approach, considers Internet-based computations, where a master processor assigns, over the Internet, a computational task to a set of untrusted worker processors, and collects their ...
-
Conference Object
Algorithmic mechanisms for internet-based master-worker computing with untrusted and selfish workers
Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2010)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
-
Article
Algorithmic mechanisms for reliable crowdsourcing computation under collusion
Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Pareja, D. (2015)We consider a computing system where a master processor assigns a task for execution to worker processors that may collude. We model the workers' decision of whether to comply (compute the task) or not (return a bogus ...
-
Article
Algorithmic mechanisms for reliable master-worker internet-based computing
Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2014)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 ...
-
Conference Object
Analyzing the number of slow reads for semifast atomic read/write register implementations
Georgiou, Chryssis; Kentros, Sotirios; Nicolaou, Nicolas C.; Shvartsman, A. A. (2009)Developing fast implementations of atomic read/write registers in the message passing model is among the fundamental problems in distributed computing. Typical implementations require two communication round trips for read ...
-
Article
Applying the dynamics of evolution to achieve reliability in master-worker computing
Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sánchez, A. (2013)We consider Internet-based master-worker task computations, such as SETI@home, where a master process sends tasks, across the Internet, to worker processes
-
Article
Asynchronous gossip
Georgiou, Chryssis; Gilbert, S.; Guerraoui, R.; Kowalski, D. R. (2013)We study the complexity of gossip in an asynchronous, message-passing fault-prone distributed system. We show that an adaptive adversary can significantly hamper the spreading of a rumor, while an oblivious adversary cannot. ...
-
Conference Object
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers
Fernández Anta, Antonio; Georgiou, Chryssis; Nicolaou, Nicolas (Schloss Dagstuhl_Leibniz-Zentrum für Informatik (OASIcs), 2019)The various applications using Distributed Ledger Technologies (DLT) or blockchains, have led to the introduction of a new `marketplace' where multiple types of digital assets may be exchanged. As each blockchain is designed ...
-
Article
Automated implementation of complex distributed algorithms specified in the IOA language
Georgiou, Chryssis; Lynch, N.; Mavrommatis, Panayiotis; Tauber, J. A. (2009)IOA is a formal language for describing Input/Output automata that serves both as a formal specification language and as a programming language (Garland et al. in http://theory.lcs.mit.edu/tds/ioa/manual.ps, 2004). The IOA ...
-
Conference Object
Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP
Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A.; Sonderegger, E. L. (2007)Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...
-
Conference Object
Brief announcement: Achieving reliability in master-worker computing via evolutionary dynamics
Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sanchez, A. (2012)This work considers Internet-based task computations in which a master process assigns tasks, over the Internet, to rational workers and collect their responses. The objective is for the master to obtain the correct task ...
-
Article
Brief announcement: Algorithmic mechanisms for internet-based computing under unreliable communication
Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2011)This work, using a game-theoretic approach, considers Internet-based computations, where a master processor assigns, over the Internet, a computational task to a set of untrusted worker processors, and collects their ...
-
Article
Brief announcement: Fault-tolerant SemiFast implementations of atomic read/write registers
Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2006)
-
Conference Object
Brief Announcement: Implementing Byzantine Tolerant Distributed Ledger Objects
Cholvi, Vicent; Anta, Antonio Fernández; Georgiou, Chryssis; Nicolaou, Nicolas (Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2019)
-
Conference Object
Brief announcement: On the robustness of (semi)fast quorum-based implementations of atomic shared memory
Georgiou, Chryssis; Nicolaou, Nicolas C.; Shvartsman, A. A. (2008)Atomic (linearizable) read/write memory is a fundamental abstractions in distributed computing. Following a seminal implementation of atomic memory of Attiya et al.[6], a folklore belief developed that in messaging-passing ...
-
Conference Object
Brief Announcement: Optimally work-competitive scheduling for cooperative computing with merging groups
Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2002)The development of algorithms with guaranteed work efficiency for any pattern of fragmentations and merges of the underlying network is addressed. Current results are discussed for the abstract setting where asynchronous ...