Behaviour specification of parallel active objects
β Scribed by Tom Holvoet; Thilo Kielmann
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 484 KB
- Volume
- 24
- Category
- Article
- ISSN
- 0167-8191
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Several algorithms that illustrate fundamental data parallel operations and the implementation of virtual topologies in terms of hypercuhe operations are given. A geometric induction principle is developed and used for proving the correctness of these algorithms. The algorithms show how an elementar
## Abstract The usefulness of fuzzy segmentation algorithms based on fuzzy connectedness principles has been established in numerous publications. New technologies are capable of producing largerβandβlarger datasets and this causes the sequential implementations of fuzzy segmentation algorithms to
## Abstract The capacity of a gravity structure to counter seismically induced overturning can only be estimated with good accuracy using a dynamic analysis of the rotational (rocking) motion involving large displacement theory. Seismic assessment employing quasiβstatic analysis can be overly conse