Browsing by Author "Fernández Anta, Antonio"
Now showing items 1-20 of 25
-
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 ...
-
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
-
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 ...
-
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
Competitive analysis of fundamental scheduling algorithms on a fault-prone machine and the impact of resource augmentation
Fernández Anta, Antonio; Georgiou, Chryssis; Kowalski, Dariusz R.; Zavou, Elli (2018)Reliable task execution in machines that are prone to unpredictable crashes and restarts is both challenging and of high importance, but not much work exists on the analysis of such systems. We consider the online version ...
-
Article
Competitive analysis of task scheduling algorithms on a fault-prone machine and the impact of resource augmentation
Fernández Anta, Antonio; Georgiou, Chryssis; Kowalski, D. R.; Zavou, Elli (2015)Reliable task execution on machines that are prone to unpredictable crashes and restarts is both important and challenging, but not much work exists on the analysis of such systems. We consider the online version of the ...
-
Conference Object
Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments
Nicolaou, Nicolas C.; Fernández Anta, Antonio; Georgiou, Chryssis (Institute of Electrical and Electronics Engineers Inc., 2016)An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide ...
-
Article
Crowd Computing as a Cooperation Problem: An Evolutionary Approach
Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Sánchez, A. (2013)Cooperation is one of the socio-economic issues that has received more attention from the physics community. The problem has been mostly considered by studying games such as the Prisoner's Dilemma or the Public Goods Game. ...
-
Conference Object
Designing mechanisms for reliable internet-based computing
Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2008)In this work, using a game-theoretic approach, cost-sensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based master-worker computations, where a master ...
-
Conference Object
Formalizing and Implementing Distributed Ledger Objects
Fernández Anta, Antonio; Georgiou, Chryssis; Konwar, Kishori; Nicolaou, Nicolas (Springer International Publishing, 2019)Despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed (This observation was also pointed out by Maurice Herlihy in his PODC2017 keynote talk). To face this ...
-
Article
Internet computing: Using reputation to select workers from a pool
Christoforou, Evgenia; Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2016)The assignment and execution of tasks over the Internet is an inexpensive solution in contrast with supercomputers. We consider an Internet-based Master-Worker task computing approach, such as SETI@home. A master process ...
-
Article
Measuring the impact of adversarial errors on packet scheduling strategies
Fernández Anta, Antonio; Georgiou, Chryssis; Kowalski, D. R.; Widmer, J.; Zavou, Elli (2013)In this paper we explore the problem of achieving efficient packet transmission over unreliable links with worst case occurrence of errors. In such a setup, even an omniscient offline scheduling strategy cannot achieve ...
-
Conference Object
Multi-round Master-Worker Computing: A Repeated Game Approach
Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A.; Pareja, D. (IEEE Computer Society, 2016)We consider a computing system where a master processor assigns tasks for execution to worker processors through the Internet. We model the workers' decision of whether to comply (compute the task) or not (return a bogus ...