When computer architects re-invented parallelism through multi-core processors, application parallelization became mandatory. The challenge of “mass-parallelization” forced the software community to react quickly. Unfortunately, instead of tackling such a large-scale problem in a systematic way, we have rather experienced various random search, non-portable and non-reusable approaches. We belie...

The formal description and development method known as VDM has been used extensively, its specification language is now an ISO standard, and it has influenced other specification languages. The origins of VDM are normally placed in language description or semantics but it is probably best known in the wider arena of formal methods for (general) program specification and design. This paper sets ...

Over the past few years continuously new process capability indices have been developed, most of them with the aim to add some feature missed in former process capability indices. Thus, for nearly any thinkable situation now a special index exists which makes choosing a certain index as difficult as interpreting and comparing index values correctly. In this paper we propose the use of the expec...

nnovations are being made in laser-diode technology every day at laboratories and research centers around the world. With a rapidly growing market (more than $3 billion in 1999; see Laser Focus World, Feb. 2000, p. 70), an increasing number of companies are finding it attractive to join the ranks of laserdiode manufacturers. Most have either their own R&D division or strategic relationships wit...