Systematic Development of Correct Bulk Synchronous Parallel Programs

With the current generalisation of parallel architectures arises the concern of applying formal methods to parallelism. The complexity of parallel, compared to sequential, programs makes them more error-prone and difficult to verify. Bulk Synchronous Parallelism (BSP) is a model of computation which...

Celý popis

Podrobná bibliografie

Vydáno v:	2010 International Conference on Parallel and Distributed Computing, Applications and Technologies s. 334 - 340
Hlavní autoři:	Gesbert, L, Zhenjiang Hu, Loulergue, Frédéric, Matsuzaki, K, Tesson, J
Médium:	Konferenční příspěvek
Jazyk:	angličtina japonština
Vydáno:	IEEE 01.12.2010
Témata:	Computational modeling Homomorphic skeleton Parallel functional programming Parallel processing Poles and towers Program derivation Program processors Proof assistant Semantics Skeleton Systematics
ISBN:	142449110X, 9781424491100
ISSN:	2379-5352
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!