Related papers: Formalization of Phase Ordering
The synchronization of rhythms is ubiquitous in both natural and engineered systems, and the demand for data-driven analysis is growing. When rhythms arise from limit cycles, phase reduction theory shows that their dynamics are universally…
Linearizability is the de facto consistency condition for concurrent objects, widely used in theory and practice. Loosely speaking, linearizability classifies concurrent executions as correct if operations on shared objects appear to take…
Synchronization processes play critical roles in the functionality of a wide range of both natural and man-made systems. Recent work in physics and neuroscience highlights the importance of higher-order interactions between dynamical units,…
Operation of the array of coupled oscillators underlying the associative memory function is demonstrated for various interconnection schemes (cross-connect, star phase keying and star frequency keying) and various physical implementation of…
Parallel parameterized complexity theory studies how fixed-parameter tractable (fpt) problems can be solved in parallel. Previous theoretical work focused on parallel algorithms that are very fast in principle, but did not take into account…
Two types of phase synchronization (accordingly, two scenarios of breaking phase synchronization) between coupled stochastic oscillators are shown to exist depending on the discrepancy between the control parameters of interacting…
Polymorphism in programming languages enables code reuse. Here, we show that polymorphism has broad applicability far beyond computations for technical computing: parallelism in distributed computing, presentation of visualizations of…
We analyze the onset of classical field configurations after a phase transition. Firstly, we motivate the problem by means of a toy model in quantum mechanics. Subsequently, we consider a scalar field theory in which the system-field…
Synchronization occurs in many natural and technological systems, from cardiac pacemaker cells to coupled lasers. In the synchronized state, the individual cells or lasers coordinate the timing of their oscillations, but they do not move…
We prove that parallel processing with homogeneous processors is logically equivalent to fast serial processing. The reverse proposition can also be used to identify obscure opportunities for applying parallelism. To our knowledge, this…
Measure synchronization is a well-known phenomenon in coupled classical Hamiltonian systems over last two decades. In this paper, synchronization for coupled Harper system is investigated in both classical and quantum contexts. The concept…
Existence of different kinds of synchronizations, namely anticipatory, complete and lag type synchronizations (both exact and approximate), are shown to be possible in time-delay coupled piecewise linear systems. We deduce stability…
We address the problem of verifying message passing programs, defined as a set of parallel processes communicating through unbounded FIFO buffers. We introduce a bounded analysis that explores a special type of computations, called…
X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchronisation mechanisms: finish and clocks. The former waits for…
We propose a general framework to allow: (a) specifying the operational semantics of a programming language; and (b) stating and proving properties about program correctness. Our framework is based on a many-sorted system of hybrid modal…
The chaotic synchronization between two bi-directionally coupled external cavity single-mode semiconductor lasers is investigated. Numerical simulation shows that anticipating synchronization and lag synchronization coexist in certain…
Extending well-structured transition systems to incorporate a probabilistic scheduling rule, we define a new class of stochastic well-structured transition systems that includes population protocols, chemical reaction networks, and many…
Building oscillator based computing systems with emerging nano-device technologies has become a promising solution for unconventional computing tasks like computer vision and pattern recognition. However, simulation and analysis of these…
We employ a quantum trajectory approach to characterize synchronization and phase-locking between open quantum systems in nonequilibrium steady states. We exemplify our proposal for the paradigmatic case of two quantum Van der Pol…
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in order to take advantage of the architectural features on these…