×

Found 3,098 Documents (Results 1–100)

A faster algorithm for recognizing directed graphs invulnerable to Braess’s paradox. (English) Zbl 07900667

Frigioni, Daniele (ed.) et al., 23rd symposium on algorithmic approaches for transportation modelling, optimization, and systems, ATMOS, Amsterdam, The Netherlands, September 7–8, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 115, Article 12, 19 p. (2023).
MSC:  05C20 05C85 68Q25
Full Text: DOI

A matrix-based approach to parity games. (English) Zbl 1543.68188

Sankaranarayanan, Sriram (ed.) et al., Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13993, 666-683 (2023).

On the parallel parameterized complexity of MaxSAT variants. (English) Zbl 07880740

Meel, Kuldeep S. (ed.) et al., 25th international conference on theory and applications of satisfiability testing, SAT 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 236, Article 19, 19 p. (2022).
MSC:  68Q25 68R07 68T20

IP.LSH.DBSCAN: integrated parallel density-based clustering through locality-sensitive hashing. (English) Zbl 1512.68303

Cano, José (ed.) et al., Euro-Par 2022: parallel processing. 28th international conference on parallel and distributed computing, Glasgow, UK, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13440, 268-284 (2022).
MSC:  68T09 68W10
Full Text: DOI

A parallel algorithm for constructing multiple independent spanning trees in bubble-sort networks. (English) Zbl 1498.68205

Wu, Weili (ed.) et al., Algorithmic aspects in information and management. 15th international conference, AAIM 2021, virtual event, December 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13153, 252-264 (2021).
MSC:  68R10 68W10 68W40

Pipelined model parallelism: complexity results and memory considerations. (English) Zbl 1512.68296

Sousa, Leonel (ed.) et al., Euro-Par 2021: parallel processing. 27th international conference on parallel and distributed computing, Lisbon, Portugal, September 1–3, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12820, 183-198 (2021).

On the impact of treewidth in the computational complexity of freezing dynamics. (English) Zbl 1530.68147

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 260-272 (2021).

Brief announcement: Distributed graph problems through an automata-theoretic lens. (English) Zbl 1540.68303

Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 41, 3 p. (2020).
Full Text: DOI

The complexity landscape of distributed locally checkable problems on trees. (English) Zbl 1540.68302

Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 18, 17 p. (2020).

Classification of distributed binary labeling problems. (English) Zbl 1540.68164

Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 17, 17 p. (2020).
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software