Stefan Dalibor

Learn More
In this paper we give an overview and a comparison of two parallel algorithms for the state space generation in stochastic modeling on common classes of multiprocessors In this context state space generation simply means constructing a graph which usually gets extremely large On shared memory machines the key problem for a parallelization is the(More)
We present a case study of performance and dependability evaluation of fault-tolerant multiprocessors. A distributed shared-memory multiprocessor architecture providing faulttolerance is analyzed taking into account system functionalities, actual workloads, failures of system components as well as the inter-component dependences. Since the evaluation of(More)
Abstract A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functionality, actual workloads, failures of system components as well as the inter-component dependencies. Since the evaluation of such complex systems has to be performed(More)
  • 1