Browsing by Subject "Synchronization"
Now showing items 1-20 of 25
-
Article
A case for chip multiprocessors based on the data-driven multithreading model
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(Πανεπιστήμιο Κύπρου, Πολυτεχνική Σχολή / University of Cyprus, Faculty of Engineering, 2016-05)Η αύξηση στην τιμή καθώς και το περιβαλλοντικό αντίκτυπο των ορυκτών καυσίμων έχουν εγείρει το ενδιαφέρον για τις Ανανεώσιμες Πηγές Ενέργειας (ΑΠΕ), ειδικά όσο αφορά τις ανεμογεννήτριες και τα φωτοβολταϊκά συστήματα. Η ...