Pages that link to "Item:Q1953245"
From MaRDI portal
The following pages link to Techniques and applications of computation slicing (Q1953245):
Displayed 5 items.
- Efficient online algorithm for identifying useless states in distributed systems (Q658673) (← links)
- Scalable offline monitoring of temporal specifications (Q681469) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- Fast Detection of Stable and Count Predicates in Parallel Computations (Q3300821) (← links)
- On Detecting Regular Predicates in Distributed Systems (Q3648715) (← links)