Parallel Algorithm Derivation and Program Transformation:
This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston, MA
Springer US
1993
|
| Schriftenreihe: | The Springer International Series In Engineering and Computer Science
231 |
| Schlagworte: | |
| Online-Zugang: | DE-634 Volltext Inhaltsverzeichnis |
| Zusammenfassung: | This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming and parallel algorithm design in order to encourage a sharing of ideas that might benefit both communities. It was hoped that exposurt: to algorithm design methods developed within the algorithm community would stimulate progress in software development for parallel architectures within the transformational community. It was also hoped that exposure to syntax directed methods and pragmatic programming concerns developed within the transformational community would encourage more realistic theoretical models of parallel architectures and more systematic and algebraic approaches to parallel algorithm design within the algorithm community. The workshop Organizers were Robert Paige, John Reif, and Ralph Wachter. The workshop was sponsored by the Office of Naval Research under grant number N00014-90-J-1421. There were 44 attendees, 28 presentations, and 5 system demonstrations. All attendees were invited to submit a paper for publication in the book. Each submitted paper was refereed by participants from the Workshop. The final decision on publication was made by the editors. There were several motivations for holding the workshop and for publishing papers contributed by its participants. Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success |
| Beschreibung: | 1 Online-Ressource (XX, 228 p) |
| ISBN: | 9780585273303 |
| DOI: | 10.1007/b102256 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045184854 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180912s1993 xx o|||| 00||| eng d | ||
| 020 | |a 9780585273303 |9 978-0-585-27330-3 | ||
| 024 | 7 | |a 10.1007/b102256 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-0-585-27330-3 | ||
| 035 | |a (OCoLC)1184482780 | ||
| 035 | |a (DE-599)BVBBV045184854 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 245 | 1 | 0 | |a Parallel Algorithm Derivation and Program Transformation |c edited by Robert Paige, John Reif, Raplh Watcher |
| 264 | 1 | |a Boston, MA |b Springer US |c 1993 | |
| 300 | |a 1 Online-Ressource (XX, 228 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a The Springer International Series In Engineering and Computer Science |v 231 | |
| 520 | |a This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming and parallel algorithm design in order to encourage a sharing of ideas that might benefit both communities. It was hoped that exposurt: to algorithm design methods developed within the algorithm community would stimulate progress in software development for parallel architectures within the transformational community. It was also hoped that exposure to syntax directed methods and pragmatic programming concerns developed within the transformational community would encourage more realistic theoretical models of parallel architectures and more systematic and algebraic approaches to parallel algorithm design within the algorithm community. The workshop Organizers were Robert Paige, John Reif, and Ralph Wachter. The workshop was sponsored by the Office of Naval Research under grant number N00014-90-J-1421. There were 44 attendees, 28 presentations, and 5 system demonstrations. All attendees were invited to submit a paper for publication in the book. Each submitted paper was refereed by participants from the Workshop. The final decision on publication was made by the editors. There were several motivations for holding the workshop and for publishing papers contributed by its participants. Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success | ||
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Microprocessors | |
| 650 | 4 | |a Software engineering | |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Paralleler Algorithmus |0 (DE-588)4193615-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z New York, NY |2 gnd-content | |
| 689 | 0 | 0 | |a Paralleler Algorithmus |0 (DE-588)4193615-2 |D s |
| 689 | 0 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Paige, Robert |4 edt | |
| 700 | 1 | |a Reif, John |4 edt | |
| 700 | 1 | |a Watcher, Raplh |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780792393627 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/b102256 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030574031&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 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 | |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_Archiv | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030574031 | |
| 966 | e | |u https://doi.org/10.1007/b102256 |l DE-634 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820868113138188288 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1
EINLEITUNG.
8
2
RECHTLICHE
ASPEKTE
.
10
2.1
ANFORDERUNGEN
AN
DIE
ABLAUFQUALITAET
VON
KLAERANLAGEN
.
10
2.1.1
MINDESTANFORDERUNGEN
.
10
2.1.2
WEITERGEHENDE
ANFORDERUNGEN
.
10
2.2
ABWASSERABGABE
.
12
3
BELASTUNG
DES
ABWASSERS
DURCH
PHOSPHOR
UND
ANALYTISCHE
BESTIMMUNG.
13
4
GRUNDLAGENERMITTLUNG.
15
5
PHOSPHORELIMINATION
BEI
DER
KOMMUNALEN
ABWASSERREINIGUNG.
16
5.1
VERFAHRENSTECHNISCHE
MOEGLICHKEITEN
.
16
5.2
UNGEZIELTE
PHOSPHORENTNAHME
.
17
5.2.1
UNGEZIELTE
PHOSPHORENTNAHME
DURCH
SEDIMENTATION
IN
DER
VORKLAERUNG
.
17
5.2.2
UNGEZIELTE
PHOSPHORENTNAHME
DURCH
EINBAU
IN
DIE
BIOMASSE
.
18
5.3
ERHOEHTE
BIOLOGISCHE
PHOSPHATELIMINATION
.
19
5.3.1
VERFAHRENSTECHNISCHE
EINBINDUNG
.
19
5.3.2
BEMESSUNGSTECHNISCHE
VORAUSSETZUNGEN.
19
5.3.3
ABWASSERBESCHAFFENHEIT
UND
BETRIEBLICHE
RAH
MEN
BEDING
UNGEN
.
20
5.3.4
EINFLUSS
AUF
DIE
SCHLAMMBEHANDLUNG
.
21
5.3.5
LEISTUNGSFAEHIGKEIT
DER
ERHOEHTEN
BIOLOGISCHEN
P-ELIMINATION
IM
BETRIEB
.
22
5.4
CHEMISCHE
FAELLUNG
.
23
5.4.1
FAELLUNGSMITTEL
.
23
5.4.2
BEMESSUNG
.
24
5.4.2.1
ERMITTLUNG
DER
ZU
FAELLENDEN
PHOSPHATFRACHT
.
24
5.4.2.2
ERMITTLUNG
DER
FAELLMITTELMENGE
ZUR
AUSLEGUNG
DES
LAGERBEHAELTERS
.
26
5.4.2.3
ERMITTLUNG
DER
FAELLMITTELMENGE
ZUR
AUSLEGUNG
DER
DOSIERPUMPEN
UND
ROHRLEITUNGEN
.
26
5.4.3
SCHLAMMANFALL
FUER
SIMULTAN-
UND
NACHFAELLUNG
.
27
5.4.4
SAEUREKAPAZITAET
.
28
5.4.5
AUSWIRKUNGEN
AUF
DAS
GEWAESSER.
29
5.4.5.1
AUFSALZUNG
DES
ABWASSERS
DURCH
ZUGABE
VON
FAELLUNGSMITTEL
.
29
5.4.5.2
EMISSION
VON
EISEN
UND
ALUMINIUM
IN
DAS
GEWAESSER
.
31
5.4.6
EINFLUSSFAKTOREN
AUF
DIE
FAELLUNG
.
31
5.4.6.1
ALLGEMEINES
.
31
5.4.6.2
PH-WERT
.
31
5.4.6.3
ABWASSERZUSAMMENSETZUNG
.
31
5.4.6.4
REAKTIONSBEDINGUNGEN
.
31
5.4.7
DOSIERSTRATEGIE
.
32
5.4.7.1
ALLGEMEINES
.
32
5.4.7.2
BESONDERHEITEN
BEI
KLEINEREN
KLAERANLAGEN
.33
5.4.8
AUSLEGUNG
DER
LAGER
UND
DOSIEREINRICHTUNGEN
.
33
5.4.9
DOSIERSTELLE
.
35
5.4.9.1
ALLGEMEINES
.
35
5.4.9.2
DOSIERUNG
VON
FAELLMITTEL
IN
DEN
RUECKLAUFSCHLAMM
.
38
5.4.9.3
DOSIERUNG
VON
FAELLMITTEL
DIREKT
VOR
FILTRATIONSANLAGEN
.
38
5.4.10
TECHNOLOGISCHE
RANDBEDINGUNGEN
.
38
5.4.10.1
LAGERBEHAELTER
.
38
5.4.10.2
DOSIERANLAGE
.
42
5.4.10.3
ROHRLEITUNGEN
.
42
5.4.10.4
AUTOMATISIERUNG
.
43
5.4.10.5
AUSWIRKUNGEN
AUF
DIE
NITRIFIKATION
.
46
5.4.10.6
ZUSAETZLICHE
SICHERHEITSHINWEISE
.
46
5.5
KOMBINATION
VON
CHEMISCHER
UND
BIOLOGISCHER
PHOSPHORELIMINATION
.
46
5.5.1
BEMESSUNG
UND
BETRIEB
.
46
5.5.2
IMPLEMENTIERUNG
EINER
BIOLOGISCHEN
P-ELIMINATION
IM
LAUFENDEN
BETRIEB
.
47
6
PARTIKULAERER
RESTPHOSPHOR
UND
FESTSTOFFRUECKHALT
.48
6.1
FESTSTOFFABTRENNUNG
BEI
DER
ABWASSERREINIGUNG
.
48
6.1.1
SEDIMENTATIONSVERFAHREN
.
48
6.1.1.1
ALLGEMEINES
.
48
6.1.1.2
SEDIMENTATIONSVERFAHREN/ABSETZBECKEN
OHNE
EINBAUTEN
.
48
6.1.1.3
SEDIMENTATIONSVERFAHREN
MIT
EINBAUTEN
.
48
6.1.1.4
AUFTRIEBSVERFAHREN
(FLOTATIONSBECKEN).
48
6.1.2
FILTRATIONSVERFAHREN
.
49
6.1.2.1
ALLGEMEINES
.
49
6.1.2.2
RAUMFILTER
.
49
6.1.2.3
FLAECHENFILTER
.
50
6.1.2.4
MEMBRANFILTRATION
.
51
6.1.3
BESTIMMUNG
DER
ABFILTRIERBAREN
STOFFE
.
52
6.2
ERREICHBARE
FESTSTOFFGEHALTE
IM
ABLAUF
NACHGESCHALTETER
TRENNEINRICHTUNGEN
.
53
6.3
BEMESSUNGSHINWEISE
MIT
TEILSTROM/
VOLLSTROM
BEI
FILTRATIONSANLAGEN.
53
6.4
ENTSCHEIDUNGSKRITERIEN
FUER
DIE
NACHRUESTUNG
EINER
FILTERANLAGE
ZUR
P-ELIMINATION
.
55
7
KOSTEN
.
.
56
7.1
ALLGEMEINES
.
56
7.2
INVESTITIONSKOSTEN
.
56
7.3
BETRIEBSKOSTEN
.
57
7.4
JAHRESKOSTEN
.
57
8
ERREICHBARE
ABLAUFWERTE
.
59
8.1
ALLGEMEINE
HINWEISE
.
59
8.2
BEISPIELE
ZU
ERREICHBAREN
ABLAUFWERTEN
.
61
8.2.1
ANMERKUNGEN
ZUR
STATISTISCHEN
AUSWERTUNG
.
61
8.2.2
BEISPIELE
.
63
8.3
AUFSCHLUESSELUNG
DES
RESTPHOSPHORS
.
64
9
PHOSPHORELIMINATION
BEI
SONDERVERFAHREN
.
66
9.1
ALLGEMEINES
.
66
9.2
TROPFKOERPER
UND
ROTATIONSTAUCHKOERPER
.
66
9.3
SBR-ANLAGEN.
67
9.4
BIOFILTER
.
69
11
WIRTSCHAFTLICHKEIT
.
79
11.1
ABWASSERABGABE
.
79
11.2
FOERDERUNG
.
80
12
BETRIEBSERGEBNISSE
AUSGEWAEHLTER
TECHNISCHER
ANLAGEN
.
81
12.1
VORBEMERKUNG
.
81
12.2
AUSGEWAEHLTE
BETRIEBSERGEBNISSE
.
82
13
HINWEISE
ZUR
VERBESSERUNG
EINER
BESTEHENDEN
PHOSPHORELIMINATION
.
94
14
HINWEISE
ZUR
IMPLEMENTIERUNG
EINER
GEZIELTEN
PHOSPHORELIMINATION
.
96
15
DANK
.
98
16
BILDNACHWEIS
.
99
17
LITERATUR
.
100
17.1
DWA-REGELWERK
.
100
17.2
LEITFAEDEN
ZUR
P-ELIMINATION
VON
UNTERSCHIEDLICHEN
BUNDESLAENDERN
.
100
17.3
WEITERE
LITERATUR
.
100
9.5
NATURNAHE
VERFAHREN
.
69
9.5.1
ALLGEMEINES
.
69
9.5.2
ABWASSERTEICHE
.
69
9.5.3
BEWACHSENE
BODENFILTER
.
70
9.6
ELEKTROLYTISCHE
PHOSPHATENTFERNUNG
.
71
BETRIEBSUEBERWACHUNG
.
72
10.1
GRUNDLAGEN
DER
ANALYTIK
.
72
10.2
PHOSPHORBILANZ
.
72
10.3
BEDEUTUNG
DER
FESTSTOFFABTRENNUNG
.
72
10.4
KENNZAHLEN
.
73
10.4.1
ALLGEMEINES
.
73
10.4.2
SS-WERT
.
73
10.4.2.1
ALLGEMEINES
.
73
10.4.2.2
STOECHIOMETRISCHER
SS
FAELL
-WERT
.
74
10.4.2.3
BETRIEBLICHER
SS-WERT
.
74
10.4.2.4
SS-WERT
ALS
BENCHMARK
.
74
10.4.3
K
-WERT
.
76
P
10.5
HINWEIS
ZUR
EIGENKONTROLLE
.
76
10.6
QUALITAET
DER
GELIEFERTEN
FAELLMITTEL
.
77
10 |
| any_adam_object | 1 |
| author2 | Paige, Robert Reif, John Watcher, Raplh |
| author2_role | edt edt edt |
| author2_variant | r p rp j r jr r w rw |
| author_facet | Paige, Robert Reif, John Watcher, Raplh |
| building | Verbundindex |
| bvnumber | BV045184854 |
| classification_rvk | SS 1991 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-0-585-27330-3 (OCoLC)1184482780 (DE-599)BVBBV045184854 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/b102256 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV045184854</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180912s1993 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585273303</subfield><subfield code="9">978-0-585-27330-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b102256</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-0-585-27330-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184482780</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045184854</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Parallel Algorithm Derivation and Program Transformation</subfield><subfield code="c">edited by Robert Paige, John Reif, Raplh Watcher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, MA</subfield><subfield code="b">Springer US</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XX, 228 p)</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">The Springer International Series In Engineering and Computer Science</subfield><subfield code="v">231</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming and parallel algorithm design in order to encourage a sharing of ideas that might benefit both communities. It was hoped that exposurt: to algorithm design methods developed within the algorithm community would stimulate progress in software development for parallel architectures within the transformational community. It was also hoped that exposure to syntax directed methods and pragmatic programming concerns developed within the transformational community would encourage more realistic theoretical models of parallel architectures and more systematic and algebraic approaches to parallel algorithm design within the algorithm community. The workshop Organizers were Robert Paige, John Reif, and Ralph Wachter. The workshop was sponsored by the Office of Naval Research under grant number N00014-90-J-1421. There were 44 attendees, 28 presentations, and 5 system demonstrations. All attendees were invited to submit a paper for publication in the book. Each submitted paper was refereed by participants from the Workshop. The final decision on publication was made by the editors. There were several motivations for holding the workshop and for publishing papers contributed by its participants. Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprocessors</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paralleler Algorithmus</subfield><subfield code="0">(DE-588)4193615-2</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">New York, NY</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Paralleler Algorithmus</subfield><subfield code="0">(DE-588)4193615-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</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="700" ind1="1" ind2=" "><subfield code="a">Paige, Robert</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reif, John</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Watcher, Raplh</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780792393627</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b102256</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030574031&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_Archiv</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030574031</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b102256</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 1991 New York, NY gnd-content |
| genre_facet | Konferenzschrift 1991 New York, NY |
| id | DE-604.BV045184854 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:19:12Z |
| institution | BVB |
| isbn | 9780585273303 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030574031 |
| oclc_num | 1184482780 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | 1 Online-Ressource (XX, 228 p) |
| psigel | ZDB-2-ENG ZDB-2-ENG_Archiv ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer US |
| record_format | marc |
| series2 | The Springer International Series In Engineering and Computer Science |
| spelling | Parallel Algorithm Derivation and Program Transformation edited by Robert Paige, John Reif, Raplh Watcher Boston, MA Springer US 1993 1 Online-Ressource (XX, 228 p) txt rdacontent c rdamedia cr rdacarrier The Springer International Series In Engineering and Computer Science 231 This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991. The aim of the workshop was to bring together computer scientists in transformational programming and parallel algorithm design in order to encourage a sharing of ideas that might benefit both communities. It was hoped that exposurt: to algorithm design methods developed within the algorithm community would stimulate progress in software development for parallel architectures within the transformational community. It was also hoped that exposure to syntax directed methods and pragmatic programming concerns developed within the transformational community would encourage more realistic theoretical models of parallel architectures and more systematic and algebraic approaches to parallel algorithm design within the algorithm community. The workshop Organizers were Robert Paige, John Reif, and Ralph Wachter. The workshop was sponsored by the Office of Naval Research under grant number N00014-90-J-1421. There were 44 attendees, 28 presentations, and 5 system demonstrations. All attendees were invited to submit a paper for publication in the book. Each submitted paper was refereed by participants from the Workshop. The final decision on publication was made by the editors. There were several motivations for holding the workshop and for publishing papers contributed by its participants. Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success Computer Science Software Engineering/Programming and Operating Systems Processor Architectures Computer Science, general Computer science Microprocessors Software engineering Programmtransformation (DE-588)4263654-1 gnd rswk-swf Paralleler Algorithmus (DE-588)4193615-2 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1991 New York, NY gnd-content Paralleler Algorithmus (DE-588)4193615-2 s Programmtransformation (DE-588)4263654-1 s 2\p DE-604 Paige, Robert edt Reif, John edt Watcher, Raplh edt Erscheint auch als Druck-Ausgabe 9780792393627 https://doi.org/10.1007/b102256 Verlag URL des Erstveröffentlichers Volltext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030574031&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 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 |
| spellingShingle | Parallel Algorithm Derivation and Program Transformation Computer Science Software Engineering/Programming and Operating Systems Processor Architectures Computer Science, general Computer science Microprocessors Software engineering Programmtransformation (DE-588)4263654-1 gnd Paralleler Algorithmus (DE-588)4193615-2 gnd |
| subject_GND | (DE-588)4263654-1 (DE-588)4193615-2 (DE-588)1071861417 |
| title | Parallel Algorithm Derivation and Program Transformation |
| title_auth | Parallel Algorithm Derivation and Program Transformation |
| title_exact_search | Parallel Algorithm Derivation and Program Transformation |
| title_full | Parallel Algorithm Derivation and Program Transformation edited by Robert Paige, John Reif, Raplh Watcher |
| title_fullStr | Parallel Algorithm Derivation and Program Transformation edited by Robert Paige, John Reif, Raplh Watcher |
| title_full_unstemmed | Parallel Algorithm Derivation and Program Transformation edited by Robert Paige, John Reif, Raplh Watcher |
| title_short | Parallel Algorithm Derivation and Program Transformation |
| title_sort | parallel algorithm derivation and program transformation |
| topic | Computer Science Software Engineering/Programming and Operating Systems Processor Architectures Computer Science, general Computer science Microprocessors Software engineering Programmtransformation (DE-588)4263654-1 gnd Paralleler Algorithmus (DE-588)4193615-2 gnd |
| topic_facet | Computer Science Software Engineering/Programming and Operating Systems Processor Architectures Computer Science, general Computer science Microprocessors Software engineering Programmtransformation Paralleler Algorithmus Konferenzschrift 1991 New York, NY |
| url | https://doi.org/10.1007/b102256 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030574031&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT paigerobert parallelalgorithmderivationandprogramtransformation AT reifjohn parallelalgorithmderivationandprogramtransformation AT watcherraplh parallelalgorithmderivationandprogramtransformation |