Bøger af Keijo Heljanko

There are many frameworks that try to process Big Data in real time such as Apache Spark, Apache Flink, and Apache Beam. The main purpose of this research is to give a clear and fair comparison among the mentioned frameworks from different perspectives such as the latency, processing guarantees, the accuracy of results, fault tolerance, and the available functionalities of each framework. Keywords: Big Data, Stream processing frameworks, Real-time analytic, Apache Spark, Apache Flink, Google Cloud Dataflow, Apache Beam, Lambda Architecture

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.