DStream: A Streaming-Based Highly Parallel IFDS Framework | IEEE Conference Publication | IEEE Xplore