Extended dependency graphs and efficient distributed fixed-point computation
DOI10.1007/978-3-319-57861-3_10zbMATH Open1393.68098OpenAlexW2610810296MaRDI QIDQ1662534FDOQ1662534
Authors: Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jiří Srba, Kim G. Larsen 
Publication date: 20 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-57861-3_10
Recommendations
- A distributed fixed-point algorithm for extended dependency graphs
- Distributed computation of fixed points on dependency graphs
- Distributed computation of large-scale graph problems
- Parallel dynamical systems over directed dependency graphs
- Distributed graph problems through an automata-theoretic lens
- Distributed graph problems through an automata-theoretic Lens
- Distributed core decomposition in probabilistic graphs
- scientific article; zbMATH DE number 1555967
- Optimizing declarative parallel distributed graph processing by using constraint solvers
- Distributed graph traversals by relabelling systems with applications
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (9)
- On-the-Fly Synthesis for Strictly Alternating Games
- A distributed fixed-point algorithm for extended dependency graphs
- Elimination of detached regions in dependency graph verification
- Distributed computation of fixed points on dependency graphs
- Model verification through dependency graphs
- On the Verification of Weighted Kripke Structures Under Uncertainty
- Abstract Dependency Graphs and Their Application to Model Checking
- Model checking and synthesis for branching multi-weighted logics
- An assessment of assignment schemes for dependency graphs
Uses Software
This page was built for publication: Extended dependency graphs and efficient distributed fixed-point computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1662534)
