A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains

von Fraysse, Guillaume
Veröffentlicht in DAIS (20. : 2020 : Online) Distributed applications and interoperable systems (2020)

LSL3D: A Run-Based Connected Component Labeling Algorithm for 3D Volumes

von Maurice, Nathan
Veröffentlicht in ICIAP (21. : 2022 : Lecce) Image analysis and processing – ICIAP 2022 workshops ; Part 2 (2022)

On the Usefulness of Clause Strengthening in Parallel SAT Solving

von Vallade, Vincent
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving

von Vallade, Vincent
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)