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. 18.44%
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.77%
D. Bosnacki, S. Edelkamp, D. Sulewski and A. Wijs, "PRISM for General Purpose Graphics Processing Units". Added by: Deleted user  v    Pop. 20.29%
S. Edelkamp and D. Sulewski, "Efficient Explicit-State Model Checking on General Purpose Graphics Processors". Added by: Deleted user  v    Pop. 16.78%
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.83%
S. Edelkamp and D. Sulewski, "External Memory BFS with Delayed Duplicate Detection on the GPU". Added by: Deleted user  v    Pop. 17.11%
S. Edelkamp, M. Mark Kellershoff and D. Sulewski, "Action Planning for Automated Program Verification". Added by: Deleted user  v    Pop. 20.49%
S. Edelkamp, D. Sulewski and C. Yücel, "Perfect Hashing for State Space Exploration on the GPU". Added by: Deleted user  v    Pop. 17.04%
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. 20.69%
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. 24.2%
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.73%
wikindx      |     Total Resources:  2954     |     Database queries:  50     |     Script execution:  0.27329 secs