Search results
From MaRDI portal
- obstruction-free implementations 2015-11-11 Paper Tight bounds for asynchronous randomized consensus 2015-11-11 Paper Improved implementations of binary universal...10 bytes (15 words) - 00:28, 25 September 2023
- Convex Costs and Linear Constraints 1992-06-27 Paper Parallel synchronous and asynchronous implementations of the auction algorithm 1992-06-26 Paper https://portal...10 bytes (17 words) - 05:24, 7 October 2023
- splitting, and an asynchronous algorithm resembling the multi-block alternating direction method of multipliers 2018-05-24 Paper Asynchronous block-iterative...10 bytes (13 words) - 16:04, 11 December 2023
- linearizable 2015-09-11 Paper Performing work with asynchronous processors 2015-09-04 Paper Efficient parallel algorithms on restartable fail-stop processors...10 bytes (15 words) - 01:11, 12 December 2023
- de/entity/Q4409009 2002-01-01 Paper Massively parallel algorithms from physics and biology 2001-09-09 Paper Asynchronous parallel evolutionary algorithms for constrained...10 bytes (13 words) - 16:06, 9 December 2023
- of reversal-bounded automata on series-parallel graphs 2018-04-10 Paper Model checking parameterized asynchronous shared-memory systems 2018-03-01 Paper...10 bytes (14 words) - 09:01, 6 October 2023
- DE-COUPLED GROUP ITERATIVE METHODS AND THEIR PARALLEL IMPLEMENTATIONS 2004-10-06 Paper A CLASS OF ASYNCHRONOUS PARALLEL MATRIX MULTISPLITTING RELAXATION METHODS...10 bytes (15 words) - 07:04, 9 December 2023
- theory of replication 2020-12-03 Paper Non-blocking atomic commit in asynchronous distributed systems with failure detectors 2020-12-03 Paper The notions...10 bytes (15 words) - 01:17, 9 December 2023
- Batch-parallel Euler tour trees 2019-09-13 Paper Parallel range, segment and rectangle queries with augmented maps 2019-09-13 Paper A simple parallel Cartesian...10 bytes (15 words) - 02:03, 12 December 2023
- formal treatment of an abstract channel implementation using java sockets and TCP 2014-03-13 Paper Asynchronous gossip 2014-02-17 Paper Measuring the impact...10 bytes (15 words) - 01:40, 25 September 2023
- 1993-06-29 Paper Parallel primal-dual methods for the minimum cost flow problem 1993-01-01 Paper Parallel synchronous and asynchronous implementations of the auction...10 bytes (15 words) - 15:47, 11 December 2023
- 2017-05-16 Paper Exploiting intra-object dependencies in parallel simulation 2016-06-16 Paper Implementing set objects in dynamic distributed systems 2016-04-18...10 bytes (13 words) - 11:36, 8 December 2023
- Asynchrony for Autonomous Robots 2024-03-26 Paper (Time × space)-efficient implementations of hlerarchical conceptual models 2024-02-28 Paper Cops \& robber on...10 bytes (15 words) - 09:01, 9 December 2023
- Paper Verifying hyperliveness 2024-02-16 Paper Synthesizing approximate implementations for unrealizable specifications 2024-02-16 Paper Temporal stream logic:...10 bytes (13 words) - 02:52, 25 September 2023
- 1995-06-27 Paper Parallel Factorization of Structured Matrices Arising in Stochastic Programming 1995-06-07 Paper Data-level parallel solution of min-cost...10 bytes (15 words) - 04:48, 9 December 2023
- Publication Date of Publication Type An asynchronous parallel benders decomposition method for stochastic network design problems...10 bytes (17 words) - 13:15, 24 September 2023
- squeeziness and failed error propagation 2019-09-20 Paper Passive testing with asynchronous communications and timestamps 2018-08-10 Paper Decidability and complexity...10 bytes (15 words) - 04:03, 9 December 2023
- state reachability 2018-06-14 Paper Verifying robustness of event-driven asynchronous programs against concurrency 2017-05-19 Paper Symbolic abstract data...10 bytes (13 words) - 18:57, 24 September 2023
- programmed and microprogrammed implementations of discrete algorithms 1984-01-01 Paper Synthesis and Asynchronous Implementation of Algorithms Using a Generalized...10 bytes (13 words) - 06:46, 13 December 2023
- optimum performance of two message-passing parallel processors synchronized by rollback 1987-01-01 Paper Asynchronous Relaxations for the Numerical Solution...10 bytes (16 words) - 00:18, 13 December 2023
