- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Linear parallel algorithms to compute strong and branching bisimilarity ; day:6 ; month:12 ; year:2022 ; pages:1-25
Software and systems modeling ; (6.12.2022), 1-25
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-022-01060-7
- URN
-
urn:nbn:de:101:1-2023021621120625657607
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Martens, Jan
- Groote, Jan Friso
- Haak, Lars B. van den
- Hijma, Pieter
- Wijs, Anton
- SpringerLink (Online service)
Ähnliche Objekte (12)
Signature-based algorithms to compute standard bases
Parallel visualization and compute environments for graphics clusters
Parallel parameterized algorithms
Algorithms for parallel processing
Foundations of parallel algorithms
Quantum algorithms to compute the neighbour list of N-body simulations
Parallel processing and parallel algorithms : theory and computation
New algorithms to compute the nearness symmetric solution of the matrix equation
Simple algorithms to compute meridional overturning and barotropic streamfunctions on unstructured meshes
Simple algorithms to compute meridional overturning and barotropic streamfunction on unstructured meshes
Memory-efficient low-compute segmentation algorithms for bladder-monitoring smart ultrasound devices
Work efficient parallel scheduling algorithms
Signature-based algorithms to compute standard bases
Parallel visualization and compute environments for graphics clusters
Parallel parameterized algorithms
Algorithms for parallel processing
Foundations of parallel algorithms
Quantum algorithms to compute the neighbour list of N-body simulations
Parallel processing and parallel algorithms : theory and computation
New algorithms to compute the nearness symmetric solution of the matrix equation
Simple algorithms to compute meridional overturning and barotropic streamfunctions on unstructured meshes
Simple algorithms to compute meridional overturning and barotropic streamfunction on unstructured meshes
Memory-efficient low-compute segmentation algorithms for bladder-monitoring smart ultrasound devices
Work efficient parallel scheduling algorithms
Signature-based algorithms to compute standard bases
Parallel visualization and compute environments for graphics clusters
Parallel parameterized algorithms
Algorithms for parallel processing
Foundations of parallel algorithms
Quantum algorithms to compute the neighbour list of N-body simulations
Parallel processing and parallel algorithms : theory and computation
New algorithms to compute the nearness symmetric solution of the matrix equation
Simple algorithms to compute meridional overturning and barotropic streamfunctions on unstructured meshes
Simple algorithms to compute meridional overturning and barotropic streamfunction on unstructured meshes
Memory-efficient low-compute segmentation algorithms for bladder-monitoring smart ultrasound devices