( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU.

, , и . ICAPS, AAAI, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Damian Blumenröder

Damian Hecker

Damian Kopyto

Damián Cornejo

Hans Damian

 

Другие публикации лиц с тем же именем

Efficient Explicit-State Model Checking on General Purpose Graphics Processors., и . SPIN, том 6349 из Lecture Notes in Computer Science, стр. 106-123. Springer, (2010)External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU., и . MoChArt, том 6572 из Lecture Notes in Computer Science, стр. 12-31. Springer, (2010)Can Flash Memory Help in Model Checking?, , , , и . FMICS, том 5596 из Lecture Notes in Computer Science, стр. 150-165. Springer, (2008)Distributed Verification of Multi-threaded C++ Programs., , и . PDMC@CAV, том 198 из Electronic Notes in Theoretical Computer Science, стр. 33-46. Elsevier, (2007)GPU Exploration of Two-Player Games with Perfect Hash Functions., , и . SOCS, стр. 23-30. AAAI Press, (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., , и . MoChArt, том 6572 из Lecture Notes in Computer Science, стр. 32-51. Springer, (2010)Perfect Hashing for State Space Exploration on the GPU., , и . ICAPS, стр. 57-64. AAAI, (2010)Efficient Probabilistic Model Checking on General Purpose Graphics Processors., , и . SPIN, том 5578 из Lecture Notes in Computer Science, стр. 32-49. Springer, (2009)Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search., , , и . MKWI, стр. 2295-2308. Universitätsverlag Göttingen, (2010)