zweidimensionales bewegtes Bild
SAT Solving with GPU Accelerated Inprocessing
- Standort
-
Hannover TIB
- Umfang
-
117MB, 00:14:59:12 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Osama, Muhammad
Wijs, Anton
Biere, Armin
- DOI
-
10.5446/54976
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Osama, Muhammad
- Wijs, Anton
- Biere, Armin
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
SAT solving with GPU accelerated inprocessing
Certified SAT solving with GPU accelerated inprocessing
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
GPU-accelerated adjoint algorithmic differentiation
SAT solving with message passing
GPU Accelerated Visualization for Neurostimulation Therapy
Parallel Algorithms for GPU accelerated Probabilistic Inference
GPU-accelerated LBM-VOF two-phase flow simulations with grid refinement
Advanced Methods for SAT Solving
Design and Development of a GPU-Accelerated Micromagnetic Simulator
GPU‐accelerated simulation of a non‐local conservation law
SAT solving with GPU accelerated inprocessing
Certified SAT solving with GPU accelerated inprocessing
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
GPU-accelerated adjoint algorithmic differentiation
SAT solving with message passing
GPU Accelerated Visualization for Neurostimulation Therapy
Parallel Algorithms for GPU accelerated Probabilistic Inference
GPU-accelerated LBM-VOF two-phase flow simulations with grid refinement
Advanced Methods for SAT Solving
Design and Development of a GPU-Accelerated Micromagnetic Simulator
GPU‐accelerated simulation of a non‐local conservation law
SAT solving with GPU accelerated inprocessing
Certified SAT solving with GPU accelerated inprocessing
SAT Solving mit GPU Unterstützung
SAT-Solving mit GPU-Unterstützung
GPU-accelerated adjoint algorithmic differentiation
SAT solving with message passing
GPU Accelerated Visualization for Neurostimulation Therapy
Parallel Algorithms for GPU accelerated Probabilistic Inference
GPU-accelerated LBM-VOF two-phase flow simulations with grid refinement
Advanced Methods for SAT Solving
Design and Development of a GPU-Accelerated Micromagnetic Simulator