Pages that link to "Item:Q1189858"
From MaRDI portal
The following pages link to On-the-fly garbage collection for several mutators (Q1189858):
Displaying 7 items.
- The derivation of graph marking algorithms from distributed termination detection protocols (Q1104744) (← links)
- An incremental garbage collection algorithm for multi-mutator systems (Q1112594) (← links)
- Proof rules for recursive procedures (Q1329196) (← links)
- Optimal real-time garbage collection for acyclic pointer structures (Q1607095) (← links)
- Wait-free linearization with an assertional proof (Q5136979) (← links)
- Wait-free concurrent memory management by Create and Read until Deletion (CaRuD) (Q5138347) (← links)
- Simple concurrent garbage collection almost without synchronization (Q5962117) (← links)