Login / Signup
Certified memory management for proof-carrying code: a region-based type system and runtime library.
Nadeem Abdul Hamid
Published in:
ACM Southeast Regional Conference (2) (2005)
Keyphrases
</>
memory management
java virtual machine
operating system
garbage collection
image segmentation
parallel computation
hardware implementation
computer vision
low cost
web applications
memory access