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)
Wireless multi-hop networks have been envisioned to have many potential applications, e.g., a small stand-alone network for a group of mobile users (Mobile Ad Hoc Networks), a cost-efficient stub-network to connect to the Internet (Wireless Mesh Networks), or a self-organized community network connecting houses together (Wireless Community Networks).(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)
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 cor-rectness 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 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)
As a novel approach to software maintenance in large clusters of PCs requiring multiple OS installations we implemented partition cloning and partition repositories as well as a set of OS independent tools for software maintenance using entire partitions, thus providing a clean abstraction of all operating system configuration state. We identify the(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)
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)
  • Felix Rauch, Christian Kurmann, Blanca Maria Müller-Lagunez, Thomas M Stricker
  • 1999
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)