Learn More
Modern massively parallel computers are built from commodity processors and a trend towards commodity interconnect components for Clusters of PCs (CoPs) is visible. Most of today's networking solutions are still proprietary, but they do connect to standard buses (i.e. PCI) and in the near future the networking solutions of the Internet (e.g. Gigabit(More)
In this work we present Goanna, the first tool that uses an off-the-shelf model checker for the static analysis of C/C++ source code. We outline its architecture and show how syntactic properties can be expressed in CTL. Once the properties have been defined the tool analyses source code automatically and efficiently. We demonstrate its applicability by(More)
This is an extension of a similar paper from Workshop on Communication Architecture for Clusters (CAC '03) in conjunction with Abstract The definition of a commodity component is quite obvious when it comes to the PC as a basic compute engine and building block for clusters of PCs. Looking at the options for a more or less per-formant interconnect between(More)
The dolly+ is a Linux application program to clone files and disk partition image from a PC to many others. By using several techniques such as logical ring connection, multi threading and pipelining, it could achieve high performance and scalability with hundreds of PCs. For example, in typical condition, installations to a hundred PCs takes almost(More)
The pedunculopontine nucleus (PPN) has been introduced only recently as a new target for deep brain stimulation (DBS) to treat gait disorders and postural instability in Parkinson's disease (PD). We here tested whether the 6-hydroxydopamine (6-OHDA) PD rat model can be used to study the pathophysiological mechanisms of DBS of the pedunculopontine tegmental(More)
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and to eliminate bugs from such systems: software model checking and static analysis. Those approaches are typically complementary. In this paper we use a model checking approach to(More)
In this paper we present the installation and the configuration of Patagonia, a novel " Cluster of PCs " that can be used alternatively as a compute farm for computation or as a classroom for education. The Patagonia cluster is built from off-the-shelf PC hardware but is equipped with a high-speed network between the computers to enable parallel and(More)
Multicasting large amounts of data efficiently to all nodes of a PC cluster is an important operation. In the form of a partition cast it can be used to replicate entire software installations by cloning. Optimizing a partition cast for a given cluster of PCs reveals some interesting architectural tradeoffs, since the fastest solution does not only depend(More)
Clusters of Personal Computers (CoPs) offer excellent compute performance at a low price. Workstations with " Gigabit to the Desktop " can give workers access to a new game of multimedia applications. Networking PCs with their modest memory subsystem performance requires either extensive hardware acceleration for protocol processing or alternatively, a(More)