Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
This paper introduces a model called the parallel program schema for the representation and study of programs containing parallel sequencing. The model is related to Ianov's program schema, but extends it, both by modelling memory structure in more detail and by admitting parallel computation. The emphasis is on decision procedures, both for traditional properties, such as equivalence, and for new properties particular to parallel computation, such as determinacy and boundedness. © 1969 Academic Press, Inc.
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Jaione Tirapu Azpiroz, Alan E. Rosenbluth, et al.
SPIE Photomask Technology + EUV Lithography 2009
F.M. Schellenberg, M. Levenson, et al.
BACUS Symposium on Photomask Technology and Management 1991
W.F. Cody, H.M. Gladney, et al.
SPIE Medical Imaging 1994