Blochinger, Wolfgang ; Bündgen, Reinhard ; Heinemann, Andreas
Hrsg.: Arabnia, Hamid (2000)
Dependable High Performance Computing on a Parallel Sysplex Cluster.
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructure designed for high performance computing with efficient checkpointing mechanisms. As target platform an IBM Parallel Sysplex Cluster is used. We consider the satisfiability checking problem for boolean formulae as an example application from the realm of Symbolic Computation. Time measurements for an implementation of this application on top of the described system environment are given.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2000 |
| Herausgeber: | Arabnia, Hamid |
| Autor(en): | Blochinger, Wolfgang ; Bündgen, Reinhard ; Heinemann, Andreas |
| Art des Eintrags: | Bibliographie |
| Titel: | Dependable High Performance Computing on a Parallel Sysplex Cluster |
| Sprache: | Deutsch |
| Publikationsjahr: | 2000 |
| Verlag: | CSREA Press |
| Buchtitel: | Proc. of the Intl. Conf. on Parallel and Distributed Processing Techniques and Applications ({PDPTA} 2000) |
| Band einer Reihe: | 3 |
| Kurzbeschreibung (Abstract): | In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructure designed for high performance computing with efficient checkpointing mechanisms. As target platform an IBM Parallel Sysplex Cluster is used. We consider the satisfiability checking problem for boolean formulae as an example application from the realm of Symbolic Computation. Time measurements for an implementation of this application on top of the described system environment are given. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Telekooperation 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 31 Dez 2016 12:59 |
| Letzte Änderung: | 15 Mai 2018 12:02 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum