Pages that link to "Item:Q3777342"
From MaRDI portal
The following pages link to On the stability of asynchronous iterative processes (Q3777342):
Displaying 11 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Some aspects of parallel and distributed iterative algorithms - a survey (Q805158) (← links)
- Chaotic phenomena in desynchronized systems and stability analysis (Q1203702) (← links)
- The Lyapunov exponent and joint spectral radius of pairs of matrices are hard - when not impossible - to compute and to approximate (Q1367098) (← links)
- The boundedness of all products of a pair of matrices is undecidable (Q1583220) (← links)
- Lagrange stability and boundedness of discrete event systems (Q1902501) (← links)
- Asynchronous iterative sub-structuring methods (Q1996992) (← links)
- Optimal norms and the computation of joint spectral radius of matrices (Q2483269) (← links)
- On Convergence of Concurrent Systems under Regular Interactions (Q3184697) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)
- (Q4227449) (← links)