Learn More
To master the complexity of software systems in the presence of unexpected events potentially affecting system operation, the <i>Autonomic Computing Initiative</i> [16] aims to build systems that have the ability to control and organize themselves to meet unforeseen changes in the hard- and software environment.The basic principles employed by autonomic(More)
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim is a 'dependability co-design' that spans various levels of abstraction in the design process of embedded systems starting from gate level through operating system, applications(More)
For embedded systems, the use of software-based error detection and correction approaches is an attractive means in order to reduce often inconvenient overheads in hardware. To ensure that such a software-based fault-tolerance approach is effective, it must be guaranteed that a certain amount of hardware and software components in a system can be trusted to(More)
Predicting structure from the attributes of a material's building blocks remains a challenge and central goal for materials science. Isolating the role of building block shape for self-assembly provides insight into the ordering of molecules and the crystallization of colloids, nanoparticles, proteins, and viruses. We investigated 145 convex polyhedra whose(More)
All hard, convex shapes are conjectured by Ulam to pack more densely than spheres, which have a maximum packing fraction of phi = pi/ radical18 approximately 0.7405. Simple lattice packings of many shapes easily surpass this packing fraction. For regular tetrahedra, this conjecture was shown to be true only very recently; an ordered arrangement was obtained(More)
Polyhedra and their arrangements have intrigued humankind since the ancient Greeks and are today important motifs in condensed matter, with application to many classes of liquids and solids. Yet, little is known about the thermodynamically stable phases of polyhedrally shaped building blocks, such as faceted nanoparticles and colloids. Although hard(More)
We present the densest known packing of regular tetrahedra with density φ = 4000 4671 = 0.856347. .. . Like the recently discovered packings of Kallus et al. and Torquato–Jiao, our packing is crystalline with a unit cell of four tetrahedra forming two triangular dipyramids (dimer clusters). We show that our packing has maximal density within a(More)
We report large-scale computer simulations of the hard-disk system at high densities in the region of the melting transition. Our simulations reproduce the equation of state, previously obtained using the event-chain Monte Carlo algorithm, with a massively parallel implementation of the local Monte Carlo method and with event-driven molecular dynamics. We(More)
a r t i c l e i n f o a b s t r a c t Current trends in parallel processors call for the design of efficient massively parallel algorithms for scientific computing. Parallel algorithms for Monte Carlo simulations of thermodynamic ensembles of particles have received little attention because of the inherent serial nature of the statistical sampling. In this(More)