We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
A floorplan represents the relative relations between modules on an integrated circuit. Floorplans are commonly classified as slicing, mosaic, or general. Separable and Baxter per...
Abstract The modeling of a landscape environment is a cognitive activity that requires appropriate spatial representations. The research presented in this paper introduces a struct...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
: Sensor-line cameras have been designed for space missions in the 1980s, and are used for various tasks, including panoramic imaging. Laser range-finders are able to generate den...