Pages that link to "Item:Q5176023"
From MaRDI portal
The following pages link to On optimal slicing of parallel programs (Q5176023):
Displayed 4 items.
- Slicing communicating automata specifications: Polynomial algorithms for model reduction (Q1019005) (← links)
- Precise interprocedural dependence analysis of parallel programs (Q1884938) (← links)
- Scaling down discrete-event simulation models (Q2371661) (← links)
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (Q3075482) (← links)