Naiad
From MaRDI portal
Cited in
(22)- StreamIt
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Building a fault tolerant framework with deadline guarantee in big data stream computing environments
- Adaptive online first-order monitoring
- Fran
- HLIO
- Flapjax
- Chapar
- contractLarva
- Graphsurge
- Apache Flink
- Tegra
- GraphGen
- SociaLite
- Algebraic operators for processing sets of temporal intervals in relational databases
- Modern Datalog Engines
- GraphQL
- aerial
- MonPoly
- Cayuga
- LOLA
- VeriMon
This page was built for software: Naiad
