Project Seminar "Parallel and Distributed Software and Algorithms"

RISC-Linz logo

Wolfgang Schreiner <Wolfgang.Schreiner@risc.uni-linz.ac.at>

326.834, SS 2001/2002, Start: March 8
Thu 13:00-14:30, Hagenberg

Last Semester

March 8

  1. Seminar organization.
  2. Fault tolerance in Distributed Maple: result logging.

March 15

  1. Fault tolerance in Distributed Maple: task rescheduling.

March 22

  1. Brainstorming: description language for distributed mathematical services.

March 29

  1. Olga Caprotti: OpenMath content dictionaries.

April 5

  1. Project description: a distributed object framework for Maple services (Lucia Sirbu).

April 26

  1. Karoly Bosa: Fault tolerance II: Rescheduling mechanism.

May 10

  1. Wolfgang Schreiner, Olga Caprotti: organization of mathematical theories (brainstorming discussion).

June 6

  1. Olga Caprotti, Lucia Sirbu, Karoly Bosa, Wolfgang Schreiner: discussion on status of the various projects.

June 13

  1. Olga Caprotti, Wolfgang Schreiner: preparation of two presentations on brokering mathematical services (discussion).

June 20

  1. Olga Caprotti, Wolfgang Schreiner: XML format for mathematical resource descriptions (discussion).

June 25

  1. Lucia Sirbu: a distributed object framework for integrating mathematical services (thesis summary).

The Internet plays an ever-increasing role in our everyday life, and its impact into different research fields cannont be denied. Therefore, it is plausible to expect that the way mathematics is conceived, developed and published would considerably change in the next years and most of the mathematical activities will be supported by mathematical software systems. The future for mathematical software would probably be an open integrated system.

The system introduced here is intended to be an infrastructure for mathematical software. It is oriented toward integrating existing compute engines, such as Maple, Mathematica or GAP, into Internet accessible mathematical services. It is entirely developed in Java, using for remote communication the RMI technology.

June 27

An integrated graphical programming environment for development
and systematic testing of non-deterministic
message-passing applications

Gabor Dozsa
Computer and Automation Research Institute
of the Hungarian Academy of Sciences
Budapest, Hungary

To provide high-level graphical support for developing message passing programs, an integrated programming environment (P-GRADE) is being developed. P-GRADE provides tools to construct, execute, systematically debug and test, monitor and visualise message-passing based parallel programs. P-GRADE provides a general graphical interface that hides low- level details of the underlying message-passing system thus, it allows the user to concentrate on really important aspects of parallel program development such as task decomposition. Formal semantic definition of the applied graphical language is also being investigated based on the ASM (Abstract State Machine) approach. The talk will give a brief introduction into the P-GRADE system and the formal semantic model of its graphical notation.


Maintained by: Wolfgang Schreiner
Last Modification: June 29, 2001

[Up] [RISC-Linz] [University] [Search]