Wolfgang Blochinger, Reinhard Bündgen, et al.  Home/Search
Context Related
| elara.tk.informatik.tudarms...p489.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: tk.informatik.tudarm...pubs.php3 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
A Survey of Fault-Tolerance and Fault-Recovery Techniques in.. - Treaster (2005) (Correct)
Active bibliography (related documents): More All
0.5: Nomadic Metacomputing - Fry (Correct)
0.5: Parallel Simulation of Cloth on Distributed Memory.. - Thomaszewski, Blochinger (2006) (Correct)
0.1: A SAT-Based Propositional Prover for Consistency Checking of.. - Kaiser (2001) (Correct)
Similar documents based on text: More All
0.3: VIQTORYA - A Visual Query Tool for Syntactically Annotated.. - Steiner, Kallmeyer (2002) (Correct)
0.3: Stylebook for the English Treebank in VERBMOBIL - Kordoni (Correct)
0.3: Stylebook for the Tübingen Treebank of Written German.. - Telljohann, Hinrichs.. (2003) (Correct)
BibTeX entry: (Update)
W. Blochinger, R. Bundgen, and A. Heinemann. Dependable high performance computing on a parallel sysplex cluster. In PDPTA, 2000. http://citeseer.ist.psu.edu/blochinger00dependable.html More
@misc{ blochinger00dependable,
author = "W. Blochinger and R. Bundgen and A. Heinemann",
title = "Dependable high performance computing on a parallel sysplex cluster",
text = "W. Blochinger, R. Bundgen, and A. Heinemann. Dependable high performance
computing on a parallel sysplex cluster. In PDPTA, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/blochinger00dependable.html" }
Citations (may not include all citations):244 Symbolic model checking without BDDs - Biere, Cimatti et al. - 1999
156 Recovery in distributed systems using optimistic message log.. - Johnson, Zwaenepoel - 1990
64 The ADAPTIVE Communication Environment: An object oriented n.. - Schmidt - 1993
40 Pushing the envelope: Planning (context) - Kautz, Selman - 1996
17 PSATO: A distributed propositional prover and its applicatio.. - Zhang, Bonacina et al. - 1996
13 Egida: An extensible toolkit for low-overhead faulttolerance - Rao, Alvisi et al. - 1999
12 Proving consistency assertions for automotive product data m.. (context) - uchlin, Sinz - 2000
2 An object-oriented platform for distributed high-performance.. (context) - Blochinger, uchlin et al. - 1999
2 cluster technology: Parallel sysplex (context) - Nick, Moore et al. - 1997
1 Parallel direct volume rendering on PC networks (context) - Meiner, uttner et al. - 1998
1 The distributed objectoriented threads system DOTS (context) - Blochinger, uchlin et al. - 1998
1 Dependable clustered computing (context) - Carreira, Silva - 1999
Documents on the same site (http://www.tk.informatik.tu-darmstadt.de/Forschung/publikationen/pubs.php3): More
Customizing Business Processes in Web Applications - Rossi, al. (2003) (Correct)
iStuff: A Scalable Architecture for Lightweight.. - Ringel, Tyler.. (2002) (Correct)
A Testbed for Pedagogical Requirements in Algorithm.. - Rößling, Naps (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC