Naiad

swMATH32529MaRDI QIDQ44240FDOQ44240

Author name not available (Why is that?)

Official website: https://cs.stanford.edu/~matei/courses/2015/6.S897/readings/naiad.pdf

Cited In (9)

• Modern Datalog Engines
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Algebraic operators for processing sets of temporal intervals in relational databases
• Fran
• Flapjax
• contractLarva
• MonPoly
• Building a fault tolerant framework with deadline guarantee in big data stream computing environments
• Adaptive online first-order monitoring

This page was built for software: Naiad