𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symposium on redundancy techniques for computing systems

✍ Scribed by Miss Josephine Leno; Richard H. Wilcox

Publisher
John Wiley and Sons
Year
1961
Tongue
English
Weight
55 KB
Volume
8
Category
Article
ISSN
0894-069X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

International symposium on software for
International symposium on software for computer control
πŸ“‚ Article πŸ“… 1977 πŸ› Elsevier Science 🌐 English βš– 141 KB

between the distributed control systems in animals and the distributed computer aided control systems. According to his opinion the longer the distance to the centre, the higher the specialization level. G. Musstopf once again stressed the importance of unified software and spoke about the advantag

LVT: a layered verification technique fo
LVT: a layered verification technique for distributed computing systems
✍ Cui Zhang; Brian R. Becker; Dave Peticolas; Ronald A. Olsson; Karl N. Levitt πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 185 KB πŸ‘ 2 views

This paper presents a layered verification technique, called LVT, for the verification of distributed computing systems with multiple component layers. Each lower layer in such a system provides services in support of functionality of the higher layer. By taking a very general view of programming la