• Article  

      A case for chip multiprocessors based on the data-driven multithreading model 

      Trancoso, Pedro; Evripidou, Paraskevas; Stavrou, Kyriakos; Kyriacou, Costas (2006)
      Current high-end microprocessors achieve high performance as a result of adding more features and therefore increasing complexity. This paper makes the case for a Chip-Multiprocessor based on the Data-Driven Multithreading ...
    • Article  

      The complexity of synchronous iterative Do-All with crashes 

      Georgiou, Chryssis; Russell, A.; Shvartsman, A. A. (2004)
      The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to distributed simulation and multi-agent collaboration. ...
    • Article  

      Computational modeling of visual selective attention based on correlation and synchronization of neural activity 

      Neokleous,Kleanthis C.; Avraamides, Marios N.; Schizas, Christos N. (2009)
      Within the broad area of computational intelligence, it is of great importance to develop new computational models of human behaviour aspects. In this report we look into the recently suggested theory that neural synchronization ...
    • Article  

      The cost of concurrent, low-contention Read&Modify&Write 

      Busch, Costas; Mavronicolas, Marios; Spirakis, Paul G. (2005)
      The possibility or impossibility and the corresponding costs of devising concurrent, low-contention implementations of atomic Read&Modify&Write (or RMW) operations in a distributed system were addressed. A natural class ...
    • Article  

      D3-machine: A decoupled data-driven multithreaded architecture with variable resolution support 

      Evripidou, Paraskevas (2001)
      This paper presents the Decoupled Data-Driven machine (D3-machine), a multithreaded architecture with data-driven synchronization. The D3-machine is an efficient and cost-effective design that combines the advantages of ...
    • Article  

      Data-driven multithreading using conventional microprocessors 

      Kyriacou, Costas; Evripidou, Paraskevas; Trancoso, Pedro (2006)
      This paper describes the Data-Driven Multithreading (DDM) model and how it may be implemented using off-the-shelf microprocessors. Data-Driven Multithreading is a nonblocking multithreading execution model that tolerates ...
    • Conference Object  

      Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints 

      Keroglou, C.; Hadjicostis, Christoforos N. (IEEE Computer Society, 2015)
      We consider distributed fault diagnosis in a discrete event system modeled as a nondeterministic finite automaton that is observed at multiple observation sites through distinct natural projection maps. The majority of ...
    • Article  

      Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements 

      Keroglou, C.; Hadjicostis, Christoforos N. (2018)
      We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at ...
    • Article  

      A Family of Resource-Bound Real-Time Process Algebras 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2006)
      The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
    • Article  

      Hardware budget and runtime system for data-driven multithreaded chip multiprocessor 

      Stavrou, Kyriakos; Trancoso, Pedro; Evripidou, Paraskevas (2006)
      The Data-Driven Multithreading Chip Multiprocessor (DDM-CMP) architecture has been shown to overcome the power and memory wall limitations by combining two key technologies: the use of the Data-Driven Multithreading (DDM) ...
    • Conference Object  

      Impact of timing on linearizability in counting networks 

      Mavronicolas, Marios; Papatriantafilou, Marina; Tsigas, Philippas (IEEE, 1997)
      Counting networks form a new class of distributed, low-contention data structures, made up of interconnected balancers and are suitable for solving a variety of multiprocessor synchronization problems that can be expressed ...
    • Article  

      Incorporating input/output operations into dynamic data-flow graphs 

      Evripidou, Paraskevas; Gaudiot, J. -L (1995)
      Driven by the 'side-effect' environment of sequential von Neumann computing, Input/Output operations have evolved as state operations on shared files. In parallel programs, if multiple instances of an I/O-performing process ...
    • Article  

      IWIM semantics via fibred automata 

      Banach, Richard; Arbab, Farhad; Papadopoulos, George Angelos; Glauert, J. R. W. (2002)
      Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination ...
    • Article  

      Metacomputing with mobile agents 

      Evripidou, Paraskevas; Samaras, George S. (2006)
      In this paper we present Parallel Computing with Mobile Agents (PaCMAn), a mobile agent based Metacomputer that enables its users to utilize idle resources on the internet to tackle computational problems that could not ...
    • Article  

      Modelling and implementing asynchronous timed multimedia frameworks using coordination principles 

      Papadopoulos, George Angelos (2005)
      This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations ...
    • Article  

      A neural network computational model of visual selective attention 

      Neokleous, Kleanthis C.; Avraamides, Marios N.; Neocleous, Costas K.; Schizas, Christos N. (2009)
      One challenging application for Artificial Neural Networks (ANN) would be to try and actually mimic the behaviour of the system that has inspired their creation as computational algorithms. That is to use ANN in order to ...
    • Conference Object  

      Randomness switches the dynamics in a biophysical model for Parkinson Disease 

      Spiliotis, K. G.; Radhakrishnan, H.; Georgiou, Georgios C. (2012)
      The interpallidal network of the two areas, the Globus Pallidus External (GPE) and the Subthalamic nucleus, (STN) plays an important role for controlling the movement. Changes in the dynamics of this network are closed ...
    • Article  

      Resources in process algebra 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2007)
      The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
    • Conference Object  

      Strength of counting networks 

      Busch, Costas; Mavronicolas, Marios (1996)
      This paper shows that any counting network, made up of balancers whose fan-in and fan-out vary arbitrarily, is, indeed, strong enough to simultaneously support both Fetch&Increment and Fetch&Decrement operations, once each ...
    • Doctoral Thesis  Open Access

      Synchronization and control methods for advancing the grid side converter of Renewable Energy Sources 

      Hadjidemetriou, Lenos C. (Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή / University of Cyprus, Faculty of Engineering, 2016-05)
      Η αύξηση στην τιμή καθώς και το περιβαλλοντικό αντίκτυπο των ορυκτών καυσίμων έχουν εγείρει το ενδιαφέρον για τις Ανανεώσιμες Πηγές Ενέργειας (ΑΠΕ), ειδικά όσο αφορά τις ανεμογεννήτριες και τα φωτοβολταϊκά συστήματα. Η ...