𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Suprenum - A MIMD multiprocessor system for large scale scientific computing

✍ Scribed by U. Trottenberg

Publisher
Elsevier Science
Year
1986
Weight
34 KB
Volume
18
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Large-scale theoretical calculations in
Large-scale theoretical calculations in molecular scienceβ€”design of a large computer system for molecular science and necessary conditions for future computers
✍ Hiroshi Kashiwagi πŸ“‚ Article πŸ“… 1982 πŸ› Elsevier Science 🌐 English βš– 356 KB

A large computer system was designed and established for molecular science under the leadership of molecular scientists. Features of the computer system are an automated operation system and an open self-service system. Large-scale theoretical calculations have been performed to solve many problems

123 A single-chip computer for robust va
123 A single-chip computer for robust variable-structure control of large-scale safety-critical systems: N.E. Gough, W.A. Halang, pp 39–44
πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 107 KB

We show how formal methods can be used to assist in developing requirements of a safety-critical system. The approach is to express the requirements in temporal logic, and then to develop a process model satisfying the requirements. The existence of such a model ensures the requirements are consiste