The following pages link to A survey of stream processing (Q1365475):
Displayed 5 items.
- Algebraic specification of reactive systems (Q1575270) (← links)
- A buffer minimization problem for the design of embedded systems (Q1767685) (← links)
- Asynchronous stream processing with S-Net (Q2269910) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- Implementing Services by Partial State Machines (Q3599077) (← links)