Cited in
(22)- 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
- StreamIt
- Fran
- Chapar
- Flapjax
- HLIO
- GraphGen
- contractLarva
- Apache Flink
- Graphsurge
- SociaLite
- Tegra
- GraphQL
- aerial
- MonPoly
- LOLA
- VeriMon
- Building a fault tolerant framework with deadline guarantee in big data stream computing environments
- Cayuga
- Adaptive online first-order monitoring
This page was built for software: Naiad
