Entwicklung des hierarchischen parallelen Termersetzungssystems Teamwork-PaReDux
Partner: W. Schickard-Institut für Informatik, AG Symbolisches Rechnen, Universität Tübingen
Kurzfassung
Im Bereich der Termersetzungssysteme wird der hierarchisch parallele Hochleistungsbeweiser Teamwork-PaReDux entwickelt. Teamwork-PaReDux vereinigt den parallelen Beweiser PaReDux mit dem verteilten Beweiser Discount, der die Teamwork Methode implementiert. Hierdurch wird ein hierarchisch paralleles System entstehen, das Netzwerke von modernen parallelen Arbeitsplatzrechnern effizient nutzen und somit signifikante Leistungssteigerungen erzielen kann. Gleichzeitig wird eine Programmierumgebung...Im Bereich der Termersetzungssysteme wird der hierarchisch parallele Hochleistungsbeweiser Teamwork-PaReDux entwickelt. Teamwork-PaReDux vereinigt den parallelen Beweiser PaReDux mit dem verteilten Beweiser Discount, der die Teamwork Methode implementiert. Hierdurch wird ein hierarchisch paralleles System entstehen, das Netzwerke von modernen parallelen Arbeitsplatzrechnern effizient nutzen und somit signifikante Leistungssteigerungen erzielen kann. Gleichzeitig wird eine Programmierumgebung geschaffen, die paralleles und verteiltes symbolisches Rechnen allgemein unterstützt.» weiterlesen» einklappen
