Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Dezember 2008
Genre:	EDV / Informatik
	Computer architecture & logic design / Computer architecture and logic design / COMPUTERS / General / COMPUTERS / Programming / Games / concurrency in software engineering / formal methods for parallel algorithms / Information technology# general issues / Information technology# general topics / MATHEMATICS / General / MATHEMATICS / Number Systems / Supercomputers mehr...
ISBN:	9781420064865
EAN-Code:	9781420064865
Verlag:	Taylor and Francis
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 234 mm / B 156 mm / D 28 mm
Gewicht:	756 gr
Seiten:	438
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Exploring the contributors' own state-of-the-art applications, this volume shows how process algebra has become a powerful tool for solving design and implementation challenges of concurrent systems. It develops formal methods for parallelizing algorithms for multicore architectures, models the behavior of distributed systems, and discusses how process algebra can tackle the design constraints of embedded systems. Highlighting the recent growth in this burgeoning industry, the contributors cover the Cell Broadband Engine processor of Sony, Toshiba, and IBM; a Channel Ambient Machine for mobile applications; the reuse of concurrent artifacts across different hardware platforms, and much more.