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 (22)
- VeriMon
- Modern Datalog Engines
- LOLA
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Cayuga
- Algebraic operators for processing sets of temporal intervals in relational databases
- StreamIt
- Fran
- Chapar
- Flapjax
- HLIO
- GraphGen
- contractLarva
- Apache Flink
- Graphsurge
- SociaLite
- Tegra
- GraphQL
- aerial
- 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
