Bas van den Brink - Implementation of an efficient state exploration algorithm in Java

author:Bas van den Brink
title:Implementation of an efficient state exploration algorithm in Java
keywords:Java programming, multi-core programming, parallel algorithms, compression algorithm
topics:Algorithms and Data Structures
committee:A. Amighi MSc
prof.dr. M. Huisman (1st supervisor)
graduation date:June 2014


Abstract

References

  1. Alfons Laarman, Jaco van de Pol, Michael Weber: Parallel Recursive State Compression for Free. SPIN 2011: 38-56 (Digital version available here)