A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
In this contribution, we derive a novel parallel formulation of the standard Itoh-Tsujii algorithm for multiplicative inverse computation over GF(2m). The main building blocks use...
Francisco Rodríguez-Henríquez, Guillermo Morales...
To be provocative, it could be argued that information visualization is a tool in search of an application. This viewpoint becomes most apparent when one seeks to adopt and adapt ...
Orlena Gotel, Francis T. Marchese, Stephen J. Morr...
This paper proposes an approach for surface reconstruction of free-form rigid objects from an arbitrary set of intersecting range curves. A strategy for updating the reconstructed...
The visualization of color images in gray scale has high practical and theoretical importance. Neither the existing local, gradient based methods, nor the fast global techniques g...