Programming Projects

General Programming Projects

If you'd like to pursue a programming project, please contact one of the members of the RISC-Linz Faculty corresponding to your area of interest.

Software Engineering Training Programme

The following projects will be pursued in the Summer Semester 1998 in the frame of the special software engineering training programme for RISC-Linz Ph.D. students:

RISC-Linz Routing Library

Based on road maps we want to find the shortest path (w.r.t. distance/time) between tow localities. The road maps and localities have to be extracted from existing data offered by various vendors. The quality of these data sources have to be evaluated. The maps should be stored in a vendor independant data base format.

The result of the project should be a well structured C++-library that can be easily integrated into C/C++ based applications. More general interfaces (ActiveX, ...) should be conisidered and evaluated.

A Manager for Distributed Mathematica Computations

We want to develop a system for distributing computations to Mathematica processes running on various machines of a network. The system consists of two kinds of processes:

1. server processes implemented in C/C++ each of which is connected via MathLink to a Mathematica kernel offering computation capabilities;
2. client processes implemented in Java each of which provides an interface for defining computations which the manager forwards to servers.

Building up the Domain of Polynomials with Functors in Theorema

Theorema is an ongoing project in automated theorem proving. Within the language defined for Theorema there exists the concept of functors, that allow to construct new domains from already existing domains. Using this concept the domain of multivariate polynomials should be built up from the scratch. The implementation language used is Mathematica.

A Framework for the Visualization of Parallel Programs

The aim of the project is the realization of a framework for the visualization of the run-time behaviour of parallel programs. The framework must support not only static views of data, but also dynamic ones. The dynamic views amount to a replay of the program execution.

JAVA-C++ Graphical Interface for a Modeling Environment

The software of the modeling and machine learning group has two distinct software language environments with two distinct areas of expertise. The C++ environment concentrates on the 'computing' tasks (the actual modeling) and the JAVA environment concentrates on the user interface. The project will be to convert the current static interface to a dynamic one by more interaction with the modeling programs for the set up of needed parameters, buttons and menus.