( en | de | ru )

 

Disambiguierung von "Sulewski, Damian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.

, , , und . MKWI, Seite 2295-2308. Universitätsverlag Göttingen, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Damián Cornejo

Hans Damian

Damian Blumenröder

Damian Hecker

Damian Kopyto

 

Weitere Publikationen von Autoren mit dem selben Namen

External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU., und . MoChArt, Volume 6572 von Lecture Notes in Computer Science, Seite 12-31. Springer, (2010)Efficient Explicit-State Model Checking on General Purpose Graphics Processors., und . SPIN, Volume 6349 von Lecture Notes in Computer Science, Seite 106-123. Springer, (2010)Distributed Verification of Multi-threaded C++ Programs., , und . PDMC@CAV, Volume 198 von Electronic Notes in Theoretical Computer Science, Seite 33-46. Elsevier, (2007)GPU Exploration of Two-Player Games with Perfect Hash Functions., , und . SOCS, Seite 23-30. AAAI Press, (2010)Can Flash Memory Help in Model Checking?, , , , und . FMICS, Volume 5596 von Lecture Notes in Computer Science, Seite 150-165. Springer, (2008)Perfect Hashing for State Space Exploration on the GPU., , und . ICAPS, Seite 57-64. AAAI, (2010)Large scale parallel state space search utilizing graphics processing units and solid state disks.. Dortmund University of Technology, (2012)Program Model Checking via Action Planning., , und . MoChArt, Volume 6572 von Lecture Notes in Computer Science, Seite 32-51. Springer, (2010)Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU., , und . ICAPS, AAAI, (2011)Efficient Probabilistic Model Checking on General Purpose Graphics Processors., , und . SPIN, Volume 5578 von Lecture Notes in Computer Science, Seite 32-49. Springer, (2009)