Naiad
From MaRDI portal
Software:44240
swMATH32529MaRDI QIDQ44240FDOQ44240
Author name not available (Why is that?)
Cited In (5)
- 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
- 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
