Pages that link to "Item:Q3523182"
From MaRDI portal
The following pages link to Operational Reasoning for Concurrent Caml Programs and Weak Memory Models (Q3523182):
Displayed 5 items.
- Event-based proof of the mutual exclusion property of Peterson's algorithm (Q271900) (← links)
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Best practices for comparing optimization algorithms (Q1642983) (← links)
- Inferring large graphs using \(\ell_1\)-penalized likelihood (Q1704026) (← links)
- Tuning Algorithms for Stochastic Black-Box Optimization: State of the Art and Future Perspectives (Q5153496) (← links)