×
Margaria, I.; Meo, A. R.; Zacchi, M.

Determinacy and maximal parallelism in a structured model of parallel computation. (English) Zbl 0431.68020

Calcolo 16, 305-333 (1979).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0431.68020

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68N25 Theory of operating systems

Keywords:

optimization of horizontal microprograms; correct parallel programs; parallel computations
Cite Review PDF
Full Text: DOI

References:

[1] J. L. Baer,A survey of Theoretical Aspects of Multiprocessing, Comput Surveys (1)5 (1975), 32–80. · Zbl 0266.68013
[2] J. L. Baer,Graph Models of Computation in Computer Systems, University of California, Tech. Rep. 68-46 (1968).
[3] A. J. Benstein,Analysis of Program for Parallel Processing, IEEE Trans. Electron. Comp.EC15 (1966), 757–763. · Zbl 0149.37501 · doi:10.1109/PGEC.1966.264565
[4] R. M. Karp, R. E. Miller,Parallel Program Schemata, J. Comput. System Sci. (2)3 (1969), 147–195. · Zbl 0198.32603 · doi:10.1016/S0022-0000(69)80011-5
[5] R. M. Keller,Parallel Program Schemata and Maximal Parallelism, J. A. C.M. (3)20 (1973), 514–537 (Part. I), J. A. C. M. (4)20 (1973), 696–710 (Part. II).
[6] R. L. Kleir, C. V. Ramamoorthy,Optimization Strategies for Microprograms, IEEE Trans. Computers (7)C-20 (1971), 783–794. · Zbl 0221.68011 · doi:10.1109/T-C.1971.223347
[7] I. Margaria, A. R. Meo, M. Zacchi,A new Scheme for Analyzing Parallel Processing Systems, Proc. Sagamore Computer Conference on Parallel Processing (1975), 182–185.
[8] I. Margaria, A. R. Meo, M. Zacchi,Formal Properties in a Model for Parallel Programs, Int. Rep. Istituto di Scienza dell’Informazione-Università di Torino (1977).
[9] I. K. Millen,construction with Parallel Derivatives of the Closure of Parallel Program Schemata, Proc. Sixth Annual ACM Symposium (1974), 242–247. · Zbl 0361.68015
[10] R. E. Miller,Some Urdecidability Results for Parallel Program Schemata. SIAM J. Comput. (1)1 (1972), 119–129. · Zbl 0242.68009 · doi:10.1137/0201007
[11] R. E. Miller,A Comparison of some Theoretical Models of Parallel Computation, IEEE Trans. Computers (8)C-22 (1973), 710–717. · Zbl 0262.68011 · doi:10.1109/TC.1973.5009149
[12] C. A. Petri,Communication with Automata, Griffis, Air Force Base, Supp. 1 to Tech. Rep. RADC-TR-65-3771 (1966).
[13] K. Vairavan, R. A. De Millo,Parallel Scheduling of Programs in a Restricted Model of Computation, Proc. Sixth Annual ACM Symposium (1974), 284–255.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.