: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Ky...
This paper proposes a notion of presence which overcomes its strict interpretation in terms of physical projection and perception, and interprets ``the sense of being there'...
Stefania Bandini, Sara Manzoni, Fabrizio Nunnari, ...
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...