Software engineering for parallel and distributed systems: proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996
Saved in:
| Main Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
London [u.a.]
Chapman & Hall
1996
|
| Edition: | 1. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 325 S. Ill., graph. Darst. |
| ISBN: | 0412757400 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010879004 | ||
| 003 | DE-604 | ||
| 005 | 20140303 | ||
| 007 | t| | ||
| 008 | 960731s1996 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0412757400 |9 0-412-75740-0 | ||
| 035 | |a (OCoLC)34675614 | ||
| 035 | |a (DE-599)BVBBV010879004 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-634 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA76.58 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 100 | 1 | |a Jelly, Innes |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software engineering for parallel and distributed systems |b proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 |c ed. by Innes Jelly ... |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1996 | |
| 300 | |a XI, 325 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |v Congresses | |
| 650 | 4 | |a Parallel processing (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Berlin |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 711 | 2 | |a International Workshop on Parallel and Distributed Software Engineering |n 1 |d 1996 |c Berlin |j Sonstige |0 (DE-588)1402210-2 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007273526&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007273526 | |
Record in the Search Index
| _version_ | 1820868182746857472 |
|---|---|
| adam_text |
CONTENTS
Preface
ix
Part One Research Papers
1
Infrastructural
software for model driven distributed
manufacturing systems
1
I. Coutts, M.
Aguiar
and J. Edwards
2
Methodology and tools for the development of high
performance parallel systems with SDL/MSCs
15
A. Mitschele-Thiel
3
Designing and implementing complex systems with agents
27
P. Marcenac, S. Giroux and J.R.
Grasso
4
Communications are everything: a design methodology for
fault-tolerant concurrent systems
39
A.M. Tyrrell
5
Designing distributed multimedia systems using PARSE
50
A.Y. Liu, T.S. Chan and I. Gorton
6
Hypersequential programming
-
a novel paradigm for
concurrent programming
62
N.
Uchihira, S.
Honidén
and T. Seki
7
Efficient composition and automatic initialization of arbitrary
structured PVM programs
74
J.Y. Cotronis
8
Arcadia: a platform for the study of dynamic scheduling of
communicating processes
86
C. Bernon,
С
Détourné
and A. Sayah
9
Interactive testing tool for parallel programs
98
H. Krawczyk and B. Wiszniewski
vi
Contents
10
Cerberus
-
a tool for debugging distributed algorithms
110
F. Carter and
A. Fekete
11
Debugging parallel programs using temporal logic
specifications
122
M.Frey
12
OPERA: a toolbox for loop parallelization
134
V. Loechner and C. Mongenet
13
Program comprehension engines for automatic parallelization:
a comparative study
146
B.
di Martino
and
С.
W.
Kessler
14
Concurrent semantics for structured design methods
158
P.A.
Nixon and
Ĺ.
Shi
15
Towards a theory of shared data in distributed systems
170
5.
Dobson
and C.P. Wadsworth
16
Using concurrency and formal methods for the design
of safe process control
183
T. Cattel
17
Using data flow algebra to analyse the alternating
bit protocol
195
AJ.
Cowling andM.C. Nike
18
A hierarchical classification of overheads in parallel programs
208
J. M. Bull
19
Periodicity in an asynchronous algorithm for parallel
processing
220
LR. Fletcher and M.
Sanríni
20
Performance indices to characterise concurrent applications:
experimenting GSPN evaluation techniques in plant automation
232
O.
Botti
and
L
Capra
21
Reverse profiling
244
F.W.Howell
Part Two Project Reviews
22
SEMPA: software engineering methods for parallel scientific
applications
259
P. Luksch, U. Maier, S. Rathmayer and M.
Weidmann
Contents
vii
23
EPOCA: status and
prospects
265
S. Donatelli,
N.
Mazzocca and S. Russo
24
The PARSE
project
271
I.E. Jelly and I. Gorton
25
The AL++ Project: object-oriented parallel programming on
multicomputers
277
M.
Di Sanio,
F.
Fratłolillo, W. Russo and E. Zinteo
26
The Basel Tool Suite for
parallel
processing
283
tf.
Burkhart,
N. Fang,
R.
Frank,
G.
Hächler,
W.
Kuhn
and G. Prétôt
Part
Three Demonstrations
27
Development
framework for real-time control system design
291
J.M. Bass, A.R. Browne, M.S. Hajji, P.R. Croll andP.J. Fleming
28
A knowledge based approach to parallel software engineering
297
P. Milligan, P.P. Sage, PJ.P. McMullan and PH. Corr
29
Problem-solving on scalable parallel systems using
application specification and reusable software components
303
KM.Decker, J.J. Dvorak and R.M. Rehmann
30
The PS project: development of a simulator of PVM applications
for heterogeneous and network computing
310
P.
Aversa,
A. Mazzeo,
N.
Mazzocca and U.
Villano
31
Supporting integrated modelling of parallel hybrid systems
316
C.I. Birkinshaw and P.R. Croll
Index of contributors
323
Keyword index
324 |
| any_adam_object | 1 |
| author | Jelly, Innes |
| author_facet | Jelly, Innes |
| author_role | aut |
| author_sort | Jelly, Innes |
| author_variant | i j ij |
| building | Verbundindex |
| bvnumber | BV010879004 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 |
| callnumber-search | QA76.58 |
| callnumber-sort | QA 276.58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 516f DAT 310f |
| ctrlnum | (OCoLC)34675614 (DE-599)BVBBV010879004 |
| 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 |
| edition | 1. ed. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010879004</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140303</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960731s1996 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412757400</subfield><subfield code="9">0-412-75740-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34675614</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010879004</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jelly, Innes</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering for parallel and distributed systems</subfield><subfield code="b">proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996</subfield><subfield code="c">ed. by Innes Jelly ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 325 S.</subfield><subfield code="b">Ill., graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Parallel and Distributed Software Engineering</subfield><subfield code="n">1</subfield><subfield code="d">1996</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1402210-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=007273526&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007273526</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Berlin gnd-content |
| genre_facet | Konferenzschrift 1996 Berlin |
| id | DE-604.BV010879004 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:19Z |
| institution | BVB |
| institution_GND | (DE-588)1402210-2 |
| isbn | 0412757400 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007273526 |
| oclc_num | 34675614 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-634 DE-83 DE-188 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-634 DE-83 DE-188 DE-11 |
| physical | XI, 325 S. Ill., graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Jelly, Innes Verfasser aut Software engineering for parallel and distributed systems proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 ed. by Innes Jelly ... 1. ed. London [u.a.] Chapman & Hall 1996 XI, 325 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Datenverarbeitung Computer software Development Congresses Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Software Engineering (DE-588)4116521-4 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Berlin gnd-content Verteiltes System (DE-588)4238872-7 s Software Engineering (DE-588)4116521-4 s DE-604 International Workshop on Parallel and Distributed Software Engineering 1 1996 Berlin Sonstige (DE-588)1402210-2 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007273526&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Jelly, Innes Software engineering for parallel and distributed systems proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 Datenverarbeitung Computer software Development Congresses Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Software Engineering (DE-588)4116521-4 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4238872-7 (DE-588)1071861417 |
| title | Software engineering for parallel and distributed systems proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 |
| title_auth | Software engineering for parallel and distributed systems proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 |
| title_exact_search | Software engineering for parallel and distributed systems proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 |
| title_full | Software engineering for parallel and distributed systems proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 ed. by Innes Jelly ... |
| title_fullStr | Software engineering for parallel and distributed systems proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 ed. by Innes Jelly ... |
| title_full_unstemmed | Software engineering for parallel and distributed systems proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 ed. by Innes Jelly ... |
| title_short | Software engineering for parallel and distributed systems |
| title_sort | software engineering for parallel and distributed systems proceedings of the first ifip tc10 international workshop on parallel and distributed software engineering march 1996 |
| title_sub | proceedings of the first IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996 |
| topic | Datenverarbeitung Computer software Development Congresses Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Software Engineering (DE-588)4116521-4 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Datenverarbeitung Computer software Development Congresses Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Software Engineering Verteiltes System Konferenzschrift 1996 Berlin |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007273526&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT jellyinnes softwareengineeringforparallelanddistributedsystemsproceedingsofthefirstifiptc10internationalworkshoponparallelanddistributedsoftwareengineeringmarch1996 AT internationalworkshoponparallelanddistributedsoftwareengineeringberlin softwareengineeringforparallelanddistributedsystemsproceedingsofthefirstifiptc10internationalworkshoponparallelanddistributedsoftwareengineeringmarch1996 |