Project Seminar "Parallel and Distributed Software and Algorithms"
Wolfgang Schreiner <Wolfgang.Schreiner@risc.uni-linz.ac.at>
326.834, SS 2001/2002, Start: March 8
Thu 13:00-14:30, Hagenberg
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.
An integrated graphical programming environment for development
and systematic testing of non-deterministic
Computer and Automation Research Institute
of the Hungarian Academy of Sciences
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.