GC
From MaRDI portal
Software:21401
swMATH9418MaRDI QIDQ21401FDOQ21401
Author name not available (Why is that?)
Cited In (26)
- Backwards type analysis of asynchronous method calls
- Virtual-machine-based heterogeneous checkpointing
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
- Memory representations in rewriting logic semantics definitions
- A mostly-copying collector component for class templates
- Tree rerooting in distributed garbage collection: Implementation and performance Evaluation
- Optimal real-time garbage collection for acyclic pointer structures
- An efficient object promotion algorithm for persistent objet systems
- Inference of field-sensitive reachability and cyclicity
- Title not available (Why is that?)
- A design and implementation of the extended Andorra model
- Optimal tenuring and major collection times for a generational garbage collector
- A garbage collection policy based on empirical behavior
- Garbage collection-aware utility accrual scheduling
- Schedulable garbage collection in CLI virtual execution system
- Scheduling of hard real-time garbage collection
- Wait-free concurrent memory management by create and read until deletion (CaRuD)
- The doomsday distributed termination detection protocol
- Generational garbage collection policies
- The Reduceron reconfigured and re-evaluated
- An integrated dynamic memory tracing tool for C++
- Lock-free reference counting
- An efficient approach to cyclic reference counting based on a coarse-grained search
- GC\(^{2}\): a generational conservative garbage collector for the ATERM library
- Functional programming concepts and straight-line programs in computer algebra
- Compositional reasoning for explicit resource management in channel-based concurrency
This page was built for software: GC