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)
Cerebral potentials prior to speaking were recorded in 36 healthy righthanded subjects. Subjects began holding breath at irregular intervals prior to the voluntary onset of speech. This was done in order to avoid respiration-related potential shifts. The Bereitschaftspotential (BP) or readiness potential started already 2 s prior to the onset of speaking(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)
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)
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)
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)
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)
Current implementations of software providing dynamic aspect functionality in operating system (OS) kernels are quite restricted in the possible joinpoint types for native code they are able to support. Most of the projects implementing advice for native code use basic technologies adopted from in-strumentation methods which allow to provide before, after(More)