Sciweavers

ECOOP
2012
Springer
12 years 1 months ago
Inference and Checking of Object Ownership
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
Wei Huang, Werner Dietl, Ana Milanova, Michael D. ...

Publication
5020views
15 years 8 months ago
How to Increase Heap Space for Java VM in MATLAB
This is the solution of a problem I faced when I was analyzing data from a gigantic binary file. This white paper explains how to manage the memory heap for Matlab.