When Pointers Attack (or How to Save 26-36 bytes of Memory in a Week)

You may have noticed, I’m currently running experiments where I have a lot of small things.  So many, that I computed I had an overhead of 16 bytes apiece (12 bytes per state and 4 bytes for a pointer to it), and was too lazy to improve my handling to reduce that to 8 bytes […]

Read More… from When Pointers Attack (or How to Save 26-36 bytes of Memory in a Week)

Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6

While ProM does not contain editors, it does contain many graphical visualizations.  A non-trivial subset of these are canvas-like in nature, a very prominent example being graph-like visualizations.  One of the graph-like visualizations is the Petri net visualizer.  Canvas-like visualizations share the property that they are scalable – a fact that is often needed to […]

Read More… from Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6

Memory-Efficiency in Java

I like to generate state-spaces.  I generate a lot of them.  And I have made the code efficient enough that I can generate very large ones.  Normally, when you code, using hundreds or even thousands of bytes for an object is no issue, but when you multiple 1000 with a million, you suddenly use 1 […]

Read More… from Memory-Efficiency in Java