Although hugely successful, the near-ubiquitous WIMP paradigm dates back to the 1970s and has many shortcomings that could be addressed by harnessing modern computing technology in the user interface. Most importantly, the ready supply of consumer-level hardware-accelerated 3D graphics has opened the way for 3D user interfaces, i.e. interfaces that make direct use of the third dimension. Howeve...

Our work deals with the semantic 3D reconstruction of some rooms of Forte San Giorgio on Capraia Island (Livorno, Italy) excavated by the University of Pisa during the last summer. Data acquisition was achieved by total station and processed in order to generate a simple 3D dxf file for the schematic representation of the building; dxf is an “open format” and has a complete integration with xml...

Programs can achieve good performance only if they possess data locality, This paper describes our proposal to develop and evaluate software support for improving locality for advanced scientific applications for both sequential and parallel machines. The basic premise is that both compile-time analyses and sophisticated run-time systems are necessary. Run-time systems are needed because many p...

Simulation is an eeective technique to test software where testing in the real environment is not feasible. A 3D graphical simulator can make the software testing process much more eeective and eecient. With graphical representation, the softwares behavior can be observed in a virtual environment similar to the real environment. This kind of simulator can be best used in testing embedded system...

What are the computational tasks that an executive controller for visual attention must solve? This question is posed in the context of the Selective Tuning model of attention. The range of required computations go beyond top-down bias signals or region-of-interest determinations, and must deal with overt and covert fixations, process timing and synchronization, information routing, memory, mat...

The paper proposes and describes several tools enabling their user to estimate the efficiency of Pascal or C-like programs. The approach consists of generating symbolic formulas expressing the efficiency of the programs being analyzed. The formulas are applicable to a variety of compiler-machine configurations. The actual numeric values of the variables in the symbolic formula are determined us...

There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP applications are difficult to develop and to maintain as also no substantial tool support can be enabled to help here. This hinders a wider use in business. This paper targets platform independent modeling of constrain...

This paper proposes a novel method for watermarking C source code by exploiting the programming language features.The key idea of our watermarking scheme is a semantics-preserving program transformation, based on a hidden permutation of local identifiers, followed by another hidden permutation of the functions defined in the source code. This last permutation allows to encrypt the prove of owne...

The state-of-the-art of programming parallel computers is far from being successful. The main challenge today is therefore the development of techniques and tools that improve the programmer’s situation. Software reuse and software portability are two research areas where further progress is essential. We present an approach that is applicable for compute-intensive programs with regular process...

The way we use computers and mobile phones today requires large amounts of processing of data streams. Examples include digital signal processing for wireless transmission, audio and video coding for recording and watching videos, and noise reduction for the phone calls. These tasks can be performed by stream programs—computer programs that process streams of data. Stream programs can be compos...