English
Related papers

Related papers: The Combinatorics of Barrier Synchronization

200 papers

Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a…

Programming Languages · Computer Science 2019-06-10 Roberto Castañeda Lozano , Christian Schulte

The constrained synchronization problem (CSP) asks for a synchronizing word of a given input automaton contained in a regular set of constraints. It could be viewed as a special case of synchronization of a discrete event system under…

Formal Languages and Automata Theory · Computer Science 2021-08-03 Stefan Hoffmann

Mathematical Selection is a method in which we select a particular choice from a set of such. It have always been an interesting field of study for mathematicians. Accordingly, Combinatorial Optimization is a sub field of this domain of…

Computational Complexity · Computer Science 2023-06-29 Anurag Dutta , K. Lakshmanan , A. Ramamoorthy , Liton Chandra Voumik , John Harshith , John Pravin Motha

In this work, the synchronization problem of a master-slave system of autonomous ordinary differential equations (ODEs) is considered. Here, the systems are, chaotic with a nonlinearity represented by a piecewise linear function,…

Chaotic Dynamics · Physics 2021-12-16 J. Telenchana , A. Acosta , P. Garcia

Social computation, whether in the form of searches performed by swarms of agents or collective predictions of markets, often supplies remarkably good solutions to complex problems. In many examples, individuals trying to solve a problem…

Information Theory · Computer Science 2011-03-25 Vadas Gintautas , Aric Hagberg , Luis M. A. Bettencourt

Combining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate…

Programming Languages · Computer Science 2007-05-23 Petra Hofstedt , Peter Pepper

The aim of the paper is to examine the computational complexity and algorithmics of enumeration, the task to output all solutions of a given problem, from the point of view of parameterized complexity. First we define formally different…

Computational Complexity · Computer Science 2013-06-11 Nadia Creignou , Arne Meier , Julian-Steffen Müller , Johannes Schmidt , Heribert Vollmer

We apply numerical optimization and linear algebra algorithms for classical computers to the problem of automatically synthesizing algorithms for quantum computers. Using our framework, we apply several common techniques from these…

Numerical Analysis · Mathematics 2025-09-16 Yuxin Huang , Benjamin E. Grossman-Ponemon , David A. B. Hyde

More than two decades ago, combinatorial topology was shown to be useful for analyzing distributed fault-tolerant algorithms in shared memory systems and in message passing systems. In this work, we show that combinatorial topology can also…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-05 Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy , Corentin Travers

Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-07-30 Imene Ben-Hafaiedh , Susanne Graf , Hammadi Khairallah

Transformer architectures offer significant advantages regarding the generation of symbolic music; their capabilities for incorporating user preferences toward what they generate is being studied under many aspects. This paper studies the…

In nature, instances of synchronisation abound across a diverse range of environments. In the quantum regime, however, synchronisation is typically observed by identifying an appropriate parameter regime in a specific system. In this work…

Quantum Physics · Physics 2020-01-30 Joseph Tindall , Carlos Sánchez Muñoz , Berislav Buča , Dieter Jaksch

In recent years, there has been a growing interest in using learning-based approaches for solving combinatorial problems, either in an end-to-end manner or in conjunction with traditional optimization algorithms. In both scenarios, the…

Machine Learning · Computer Science 2024-03-14 Léo Boisvert , Hélène Verhaeghe , Quentin Cappart

We discuss several combinatorial problems that arise when one looks at computational algorithms for highly symmetric networks of processors. More specifically, we are interested in minimal times associated with four communication tasks…

Combinatorics · Mathematics 2013-09-13 Vance Faber

Comparing, or benchmarking, of optimization algorithms is a complicated task that involves many subtle considerations to yield a fair and unbiased evaluation. In this paper, we systematically review the benchmarking process of optimization…

Optimization and Control · Mathematics 2017-09-26 Vahid Beiranvand , Warren Hare , Yves Lucet

Quantifying cooperation or synergy among random variables in predicting a single target random variable is an important problem in many complex systems. We review three prior information-theoretic measures of synergy and introduce a novel…

Information Theory · Computer Science 2014-04-02 Virgil Griffith , Christof Koch

We address the problem of fusing array operations based on criteria such as shape compatibility, data reusability, and communication. We formulate the problem as a graph partition problem that is general enough to handle loop fusion,…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-09-07 Mads R. B. Kristensen , Simon A. F. Lund , Troels Blum , James Avery

Synchronization is studied in an array of identical oscillators undergoing small vibrations. The overall coupling is described by a pair of matrix-weighted Laplacian matrices; one representing the dissipative, the other the restorative…

Dynamical Systems · Mathematics 2018-08-02 S. Emre Tuna

This paper addresses the problem of synchronizing orthogonal matrices over directed graphs. For synchronized transformations (or matrices), composite transformations over loops equal the identity. We formulate the synchronization problem as…

Optimization and Control · Mathematics 2017-04-10 Johan Thunberg , Florian Bernard , Jorge Goncalves

In this paper, we consider robust control using randomized algorithms. We extend the existing order statistics distribution theory to the general case in which the distribution of population is not assumed to be continuous and the order…

Optimization and Control · Mathematics 2008-05-13 Xinjia Chen , Kemin Zhou
‹ Prev 1 4 5 6 7 8 10 Next ›