| 书目名称 | Parallele Systeme | | 编辑 | Johannes Röhrich | | 视频video | | | 丛书名称 | Informatik-Fachberichte | | 图书封面 |  | | 描述 | Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - und das ist der springende Punkt - von-Neumann-Rechner; er verwendet sequentiell-algorithmische Program miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, daß noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem Umfang gebaut und verbreitet werden. Diese Arbeit hat deshalb zum Ziel, Methoden zur Strukturierung und zur Verifikation (verteilter) paralleler Systeme zu entwickeln, die aus sequen tiellen, auf Maschinen herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich möch | | 出版日期 | Book 1986 | | 关键词 | Algorithmen; Algorithmus; Parallelität; Programmierung; Semantik; Verifikation | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-662-09195-1 | | isbn_softcover | 978-3-540-16063-2 | | isbn_ebook | 978-3-662-09195-1Series ISSN 0343-3005 | | issn_series | 0343-3005 | | copyright | Springer-Verlag Berlin Heidelberg 1986 |
The information of publication is updating
|
|
发表于 2025-3-21 17:46:37
