Andere Kunden interessierten sich auch für
![Parallel Substitution Algorithm: Theory and Application]( "Parallel Substitution Algorithm: Theory and Application")
Parallel Substitution Algorithm: Theory and Application82,99 €![GPU Computing Gems, Emerald Edition]( "GPU Computing Gems, Emerald Edition")
GPU Computing Gems, Emerald Edition84,99 €![Use of High Performance Computing in Meteorology - Proceedings of the Eleventh Ecmwf Workshop]( "Use of High Performance Computing in Meteorology - Proceedings of the Eleventh Ecmwf Workshop")
Use of High Performance Computing in Meteorology - Proceedings of the Eleventh Ecmwf Workshop288,99 €![Annual Review of Scalable Computing, Vol 3]( "Annual Review of Scalable Computing, Vol 3")
Annual Review of Scalable Computing, Vol 3121,99 €![Realizing Teracomputing, Proceedings of the Tenth Ecmwf Workshop on the Use of High Performance Computers in Meteorology]( "Realizing Teracomputing, Proceedings of the Tenth Ecmwf Workshop on the Use of High Performance Computers in Meteorology")
Realizing Teracomputing, Proceedings of the Tenth Ecmwf Workshop on the Use of High Performance Computers in Meteorology189,99 €![Parallel Image Analysis and Processing]( "Parallel Image Analysis and Processing")
Parallel Image Analysis and Processing106,99 €![Automatic Parallelization for a Class of Regular Computations]( "Automatic Parallelization for a Class of Regular Computations")
Automatic Parallelization for a Class of Regular Computations89,99 €
This collection of reprints describes a unified treatment of semantics, covering a wide range of notions in parallel languages. Included are several foundational and introductory papers developing the methodology of metric semantics, studies on the comparative semantics of parallel object-oriented and logic programming, and papers on full abstraction and transition system specifications. In addition, links with process algebra and the theory of domain equations are established. Throughout, a uniform proof technique is used to relate operational and denotational models. The approach is flexible in that both linear time, branching time (or bisimulation) and intermediate models can be handled, as well as schematic and interpreted elementary actions. The reprints are preceded by an extensive introduction surveying related work on metric semantics.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.