A formal specification-based approach to distributed parallel programming

Low-level language constructs used for expressing explicit communication, concurrency, synchronization, and parallelism in systems make the systems difficult to maintain. For example, many programming languages allow programmers to create parallel processes by using the fork/join statement and provi...

Celý popis

Podrobná bibliografia

Vydané v:	Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings s. 197 - 205
Hlavný autor:	Chia-Chu Chiang
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 2004
Predmet:	Application software Communication system software Computer languages Concurrent computing Isolation technology Middleware Parallel processing Parallel programming Programming profession Software maintenance
ISBN:	0769520944, 9780769520940
ISSN:	1530-2059
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!