| 書目名稱 | Parallele Systeme | | 編輯 | Johannes R?hrich | | 視頻video | http://file.papertrans.cn/742/741103/741103.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-20 08:04
發(fā)表于 2025-3-21 17:46:37
