References in zbMATH (referenced in 30 articles )

Showing results 1 to 20 of 30.
Sorted by year (citations)

1 2 next

  1. Jones, Cliff B.; Yatapanage, Nisansala: Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (2019)
  2. Francalanza, Adrian; Devries, Edsko; Hennessy, Matthew: Compositional reasoning for explicit resource management in channel-based concurrency (2014)
  3. Zanardini, Damiano; Genaim, Samir: Inference of field-sensitive reachability and cyclicity (2014)
  4. Tong, Liangliang; Lau, Francis C. M.: Skew-space garbage collection (2013) ioport
  5. Würthinger, Thomas; Wimmer, Christian; Stadler, Lukas: Unrestricted and safe dynamic code evolution for Java (2013) ioport
  6. Zhao, Xufeng; Nakamura, Syouji; Qian, Cunhua: Generational garbage collection policies (2013)
  7. Lopes, Ricardo; Costa, Vítor Santos; Silva, Fernando: A design and implementation of the extended Andorra model (2012)
  8. Naylor, Matthew; Runciman, Colin: The Reduceron reconfigured and re-evaluated (2012)
  9. Zhao, Xufeng; Nakamura, Syouji; Nakagawa, Toshio: Optimal tenuring and major collection times for a generational garbage collector (2012)
  10. Liu, Shaoshan; Wang, Ligang; Li, Xiao-Feng; Gaudiot, Jean-Luc: Space-and-time efficient parallel garbage collector for data-intensive applications (2011) ioport
  11. Lin, Chin-Yang; Hou, Ting-Wei: An efficient approach to cyclic reference counting based on a coarse-grained search (2010)
  12. Schoeberl, Martin: Scheduling of hard real-time garbage collection (2010)
  13. Hills, Mark: Memory representations in rewriting logic semantics definitions (2009)
  14. Johnsen, Einar Broch; Yu, Ingrid Chieh: Backwards type analysis of asynchronous method calls (2008)
  15. Carcenac, Manuel: A modular neural network applied to image transformation and mental images (2007) ioport
  16. Feizabadi, Shahrooz; Back, Godmar: Garbage collection-aware utility accrual scheduling (2007)
  17. Goh, Okehee; Lee, Yann-Hang; Kaakani, Ziad; Rachlin, Elliott: Schedulable garbage collection in CLI virtual execution system (2007)
  18. Lin, Chun-Xiao; Chen, Yi-Yun; Li, Long; Hua, Bei: Garbage collector verification for proof-carrying code (2007) ioport
  19. Livesey, M. J.; Morrison, R.; Munro, D. S.: The doomsday distributed termination detection protocol (2007)
  20. Lee, Woo Hyong; Chang, J. Morris: A garbage collection policy based on empirical behavior (2004)

1 2 next


Further publications can be found at: http://www.cs.kent.ac.uk/people/staff/rej/gcbib/gcbib.html