42 citations · 127 across the 17 of their papers we have counts for
1 paper · 1 filter
Jeroen Meijer, Jaco van de Pol
We demonstrate the applicability of bandwidth and wavefront reduction algorithms to static variable ordering. In symbolic model checking event locality plays a major role in time a…