Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/93017
Título:
|
Axiomatic frameworks for developing BSP-style programs
|
Autor/a:
|
Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
Abstract:
|
In BSP a superstep comprises a collection of concurrently executed processes with initial and terminal synchronisations. Data
transfer between processes is realised through asynchronous communications. BSP programs can be organised either as
explicit compositions of supersteps or as parallel compositions of threads (processes) which include synchronisation alignment
operations. In this paper axiomatic semantics for the two approaches are proposed: in both cases the semantics are based on a
new form of multiple substitution - predicate substitution which generalises previous definitions of substitution. Predicate
substitution together with global synchronisation provide a means of linking state based and process semantics of BSP. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -BSP -Superstep -Axiomatic semantics |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem