Semantic Models For Parallel Computers
Jack B. Dennis · 2005
past designs and experience. As a design tool for computer systems, a semantic model defines an formal interface (contract) between a user (an application program) and an implementor (the computer system designer). The semantic model must incorporate mechanisms for dealing the issues that must be addressed if the pro”&ctzve benefits of designing parallel computers on the basis of a sound and complete se computation are to be achieve view the weakchitectures for massively paralt out how these are illustrative design of multiprocessor sysmon informal semantic models that are used as the basis for programming purallel cornpqip nd the ways in which they are unsatisfactory. *y poant out the requirements to support the modular construction of software and note 2h.e implications these principles have for a satasfactory general semantic model.