Parallele Systeme:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | German |
Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1986
|
Schriftenreihe: | Informatik-Fachberichte
117 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | 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öchte allen danken, die mich unterstützt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen |
Beschreibung: | 1 Online-Ressource (XI, 153 S.) |
ISBN: | 9783662091951 9783540160632 |
ISSN: | 0343-3005 |
DOI: | 10.1007/978-3-662-09195-1 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV042435875 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150320s1986 |||| o||u| ||||||ger d | ||
020 | |a 9783662091951 |c Online |9 978-3-662-09195-1 | ||
020 | |a 9783540160632 |c Print |9 978-3-540-16063-2 | ||
024 | 7 | |a 10.1007/978-3-662-09195-1 |2 doi | |
035 | |a (OCoLC)864028339 | ||
035 | |a (DE-599)BVBBV042435875 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a ger | |
049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
082 | 0 | |a 005.11 |2 23 | |
084 | |a TEC 000 |2 stub | ||
084 | |a DAT 000 |2 stub | ||
100 | 1 | |a Röhrich, Johannes |e Verfasser |4 aut | |
245 | 1 | 0 | |a Parallele Systeme |c von Johannes Röhrich |
264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1986 | |
300 | |a 1 Online-Ressource (XI, 153 S.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Informatik-Fachberichte |v 117 |x 0343-3005 | |
500 | |a 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öchte allen danken, die mich unterstützt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen | ||
650 | 4 | |a Computer science | |
650 | 4 | |a Computer Science | |
650 | 4 | |a Programming Techniques | |
650 | 4 | |a Informatik | |
650 | 0 | 7 | |a Paralleler Prozess |0 (DE-588)4224684-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Paralleler Prozess |0 (DE-588)4224684-2 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
689 | 1 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
689 | 1 | |8 3\p |5 DE-604 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-09195-1 |x Verlag |3 Volltext |
912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
940 | 1 | |q ZDB-2-STI_Archive | |
999 | |a oai:aleph.bib-bvb.de:BVB01-027871205 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804153123594305536 |
---|---|
any_adam_object | |
author | Röhrich, Johannes |
author_facet | Röhrich, Johannes |
author_role | aut |
author_sort | Röhrich, Johannes |
author_variant | j r jr |
building | Verbundindex |
bvnumber | BV042435875 |
classification_tum | TEC 000 DAT 000 |
collection | ZDB-2-STI ZDB-2-BAD |
ctrlnum | (OCoLC)864028339 (DE-599)BVBBV042435875 |
dewey-full | 005.11 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.11 |
dewey-search | 005.11 |
dewey-sort | 15.11 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Technik Technik Informatik |
doi_str_mv | 10.1007/978-3-662-09195-1 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03861nmm a2200541zcb4500</leader><controlfield tag="001">BV042435875</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1986 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662091951</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-09195-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540160632</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-16063-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-09195-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864028339</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042435875</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Röhrich, Johannes</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Parallele Systeme</subfield><subfield code="c">von Johannes Röhrich</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 153 S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">117</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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öchte allen danken, die mich unterstützt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-09195-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027871205</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV042435875 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:21:36Z |
institution | BVB |
isbn | 9783662091951 9783540160632 |
issn | 0343-3005 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027871205 |
oclc_num | 864028339 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
physical | 1 Online-Ressource (XI, 153 S.) |
psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
publishDate | 1986 |
publishDateSearch | 1986 |
publishDateSort | 1986 |
publisher | Springer Berlin Heidelberg |
record_format | marc |
series2 | Informatik-Fachberichte |
spelling | Röhrich, Johannes Verfasser aut Parallele Systeme von Johannes Röhrich Berlin, Heidelberg Springer Berlin Heidelberg 1986 1 Online-Ressource (XI, 153 S.) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 117 0343-3005 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öchte allen danken, die mich unterstützt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen Computer science Computer Science Programming Techniques Informatik Paralleler Prozess (DE-588)4224684-2 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Paralleler Prozess (DE-588)4224684-2 s 2\p DE-604 Parallelverarbeitung (DE-588)4075860-6 s 3\p DE-604 https://doi.org/10.1007/978-3-662-09195-1 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Röhrich, Johannes Parallele Systeme Computer science Computer Science Programming Techniques Informatik Paralleler Prozess (DE-588)4224684-2 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
subject_GND | (DE-588)4224684-2 (DE-588)4075860-6 (DE-588)4113937-9 |
title | Parallele Systeme |
title_auth | Parallele Systeme |
title_exact_search | Parallele Systeme |
title_full | Parallele Systeme von Johannes Röhrich |
title_fullStr | Parallele Systeme von Johannes Röhrich |
title_full_unstemmed | Parallele Systeme von Johannes Röhrich |
title_short | Parallele Systeme |
title_sort | parallele systeme |
topic | Computer science Computer Science Programming Techniques Informatik Paralleler Prozess (DE-588)4224684-2 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
topic_facet | Computer science Computer Science Programming Techniques Informatik Paralleler Prozess Parallelverarbeitung Hochschulschrift |
url | https://doi.org/10.1007/978-3-662-09195-1 |
work_keys_str_mv | AT rohrichjohannes parallelesysteme |