WIKINDX

TZI Literaturverzeichnis

List Resources

Displaying 1 - 11 of 11 (Bibliography: WIKINDX Master Bibliography)
 
Parameters:
Creator:  Sulewski
D. Bosnacki, S. Edelkamp and D. Sulewski, "Efficient Probabilistic Model Checking on General Purpose Graphics Processors". Added by: Deleted user  v    Pop. 17.76%
D. Bosnacki, S. Edelkamp, D. Sulewski and A. Wijs, "Parallel probabilistic model checking on general purpose graphics processors", International Journal on Software Tools for Technology, vol. 13, iss. 1, pp. 21–35, 2010. Added by: Deleted user  v    Pop. 17.09%
D. Bosnacki, S. Edelkamp, D. Sulewski and A. Wijs, "PRISM for General Purpose Graphics Processing Units". Added by: Deleted user  v    Pop. 19.44%
S. Edelkamp and D. Sulewski, "Efficient Explicit-State Model Checking on General Purpose Graphics Processors". Added by: Deleted user  v    Pop. 16.15%
S. Edelkamp, D. Sulewski and C. Yücel, "GPU Exploration of Two-Player Games with Perfect Hash Functions". Added by: Deleted user  v    Pop. 18.03%
S. Edelkamp and D. Sulewski, "External Memory BFS with Delayed Duplicate Detection on the GPU". Added by: Deleted user  v    Pop. 16.22%
S. Edelkamp, M. Mark Kellershoff and D. Sulewski, "Action Planning for Automated Program Verification". Added by: Deleted user  v    Pop. 19.57%
S. Edelkamp, D. Sulewski and C. Yücel, "Perfect Hashing for State Space Exploration on the GPU". Added by: Deleted user  v    Pop. 16.35%
S. Edelkamp, P. Kissmann, D. Sulewski and H. Messerschmidt, "Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search" in Multikonferenz Wirtschaftsinformatik 2010, Göttingen, Feb. 23-25, 2010, pp. 235–255. Added by: Deleted user  v    Pop. 19.84%
S. Edelkamp, D. Sulewski, J. Barnat, L. Brim and P. Simecek, "Flash Memory Efficient LTL Model Checking", Science of Computer Programming, vol. 76, iss. 2, pp. 136–157, 2011. Added by: Deleted user  v    Pop. 23.66%
D. Sulewski, S. Edelkamp and P. Kissmann, "Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU". Added by: Deleted user  v    Pop. 13.2%
wikindx      |     Total Resources:  2953     |     Database queries:  50     |     Script execution:  0.22223 secs