|
About TPO++
|
|
|
TPO++ is an object-oriented message passing library intended for parallel programming. It is based on the Message Passing Interface (MPI) but allows to transmit objects and data structures of the standard template library.
Message-passing is a well known approach for parallelizing programs. The widely used standard MPI also defines C++ bindings. Nevertheless, there is
a lack of integration of object-oriented concepts. TPO++ tries to close this gap.
|
News
|
|
|
Checkout our first heterogeneous code using following command: svn co https://tpo.svn.sourceforge.net/svnroot/tpo/branches/rc-0.5 tpo
In the next weeks an official sourceforge release will be available.
Join our mailinglists to stay informed. |
At the moment we are working on an heterogenous communication mechanism. |
An online HTML documentation is available now. We changed the documentation version to 0.4p2-beta, so it is conform to the software version. |
A new project website has been created (as you can see :-)) |
Today we have published the first official sourceforge package. The release version is 0.4p2-beta. |
|
Download
|
|
|
TPO++ |
0.4p2-beta |
tpo++-0.4p2-beta |
370327 Bytes |
Arch.-independent |
tar.gz |
|
TPO++ |
0.5-beta |
- |
- |
Arch.-independent |
- |
comming soon |
|
Documentation
|
|
|
TPO++ Users guide |
Tobias Grundmann, Marcus Ritt |
0.4p2-beta |
99484 Bytes |
PDF |
|
TPO++ Users guide |
Tobias Grundmann, Marcus Ritt |
0.4p2-beta |
unknown |
HTML |
|
TPO++: An object-oriented message-passing library in C++ |
Tobias Grundmann, Marcus Ritt, Wolfgang Rosenstiel |
- |
75942 Bytes |
PDF |
|
|
License
|
|
|
Projects
|
|
|
sph2000 |
sph2000 is an object-oriented library for physical simulations with the SPH-method (Smoothed Particle Hydrodynamics). It is written in C++ using design pattern.
|
Sven Ganzenmüller (University of Tübingen)
Frank Heuser (University of Tübingen)
|
|
SymC |
SymC is a bounded property checking tool.
It implements a new technique for bounded property checking which can be applied to larger designs. This technique seamlessly integrates formal verification and standard simulation. The method is a formal verification technique which checks symbolically a given PSL/FLTL specification against a hardware design.
|
Formal Methods Group of the University of Tübingen
|
|
|
Contact
|
|
|
|
|
|