FAUST is a compiled language designed for real-time audio signal processing. It is a free software published under the terms of the GNU General Public License. Sources and binaries are available at source forge : http://faudiostream.sourceforge.net. The demonstration will give an overview of the main features of the language and the compiler through several simple and practical examples.

IMAGETCL is an new system which provides powerful Tcl/Tk based media scripting capabilities similar to those of the ViewSystem and Rivl in a unique environment that allows rapid prototyping and development of new components in the C++ language. Powerful user tools automate the creation of new components as well as the addition of new data types and le formats. Applications using IMAGETCL at the...

This hybrid review-case study introduces three-dimensional (3-D) virtual worlds and their educational potential to medical/health librarians and educators. Second life (http://secondlife.com/) is perhaps the most popular virtual world platform in use today, with an emphasis on social interaction. We describe some medical and health education examples from Second Life, including Second Life Medi...

The monist-project has committed itself to the task of developing recipes for the use of simulations in higher education in neural and cognitive science. The basis of the monist-project is a software package, the monist console, designed for providing compact, ready to use educational simulations with variable application context. The monist console is a client-server application supporting onl...

The family health history has long been recognized as an effective way of understanding individuals' susceptibility to familial disease; yet electronic tools to support the capture and use of these data have been characterized as inadequate. As part of an ongoing effort to build patient-facing tools for entering detailed family health histories, we have compiled a set of concepts specific to fa...

This study employed the uses and gratifications approach to examine children’s choice of gaming genres. The measure of prosocial behavioral tendency was used as an approximation of a child’s offline gratification, and this was related to the exposure to three different genres of games (violent, aggressive and prosocial). The influence of education level was also taken into consideration. Data w...

Spatial computing, as implemented on reconfigurable platforms, such as FPGAs, presents an effective solution to high performance computing applications where computations are applied repeatedly to streams of data. Bridging the gap between program descriptions and hardware system implementations, however, is a challenging problem. ROCCC is a C/C++ to VHDL compiler that focuses on extensive loop,...

We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrite rules. We have implemented NBE and show both a detailed formal model of our implementation and its verification in Isabelle. Finally we discuss how NBE is turned into a proof rule in Isabelle.

Levelized Compiled Code (LCC) multi-delay simulation is an idea whose time has come. Although it is not a new idea, when it was first proposed the hardware and software technology of the time was not capable of meeting the demands of such a simulation technique[1]. The basic technique is to predict the points in time when each gate can change value, and generate simulation code to compute the o...

Compiled simulation is a well known technique for improving the performance of instruction set simulators at the cost of compilation time. However the compilation time overhead makes such usage of compiler optimizations impractical especially for large applications. In this paper, we propose a hybrid compiled simulation approach that is simple, generates an optimized decoder and has almost no c...