Proceedings April 24 - 26, 1995, Erlangen, Germany
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Press
1995
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV010178619 | ||
003 | DE-604 | ||
005 | 20011203 | ||
007 | t | ||
008 | 950511s1995 ad|| |||| 10||| eng d | ||
020 | |a 0818670592 |9 0-8186-7059-2 | ||
035 | |a (OCoLC)258564743 | ||
035 | |a (DE-599)BVBBV010178619 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-29T |a DE-739 |a DE-91G |a DE-83 | ||
050 | 0 | |a QA76.9.E94 | |
082 | 0 | |a 004.2/4 | |
084 | |a SS 1995 |0 (DE-625)143432: |2 rvk | ||
084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
084 | |a DAT 280f |2 stub | ||
111 | 2 | |a International Computer Performance and Dependability Symposium |n 1 |d 1995 |c Erlangen |j Verfasser |0 (DE-588)5153055-7 |4 aut | |
245 | 1 | 0 | |a Proceedings |b April 24 - 26, 1995, Erlangen, Germany |c International Computer Performance and Dependability Symposium ; [ed. prod.: Penny Storms] |
264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Press |c 1995 | |
300 | |a XII, 345 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 0 | 7 | |a Leistungsfähigkeit |0 (DE-588)4035236-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Leistungsbewertung |0 (DE-588)4167271-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Leistung |0 (DE-588)4132608-8 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Erlangen |2 gnd-content | |
689 | 0 | 0 | |a Computer |0 (DE-588)4070083-5 |D s |
689 | 0 | 1 | |a Leistung |0 (DE-588)4132608-8 |D s |
689 | 0 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |D s |
689 | 1 | 1 | |a Leistungsbewertung |0 (DE-588)4167271-9 |D s |
689 | 1 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Leistungsfähigkeit |0 (DE-588)4035236-5 |D s |
689 | 2 | |8 1\p |5 DE-604 | |
700 | 1 | |a Storms, Penny |e Sonstige |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=006761006&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-006761006 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
DE-BY-TUM_call_number | 0102/DAT 280f 2001 B 3187 |
---|---|
DE-BY-TUM_katkey | 1235142 |
DE-BY-TUM_local_keycode | ko |
DE-BY-TUM_media_number | 040020275465 |
_version_ | 1816712117420556288 |
adam_text | Table
of
Contents
Message
from the
General
Co-Chairs
.................................................................................
viii
Message from the Program Chair
..........................................................................................ix
Organizing Committees
.............................................................................................................
χ
Referees
.......................................................................................................................................xii
Keynote Panel: Future Issues: Designing Computers for High-Performance
and Dependability
Moderator: Alain Cosies, LAAS-CNRS
Session
1:
Dependable Software
Session Chair: Karama Kanoun
Software Assembly Workbench: How to Construct Software Like Hardware
...........................4
Y. Levendel
Dependability Models for Iterative Software Considering Correlation
between Successive Inputs
..........................................................................................................13
A. Bondavalli, S. Chiaradonna, F.
Di Gìandomenico,
and
L. Strigini
Session
2:
Operating System Mechanisms
Session Chair: Josep
Torrellas
Traffic Dependencies in Client-Server Systems and Their Effect on
Performance Prediction
................................................................................................................24
G. Franks
Correctness and Performance of a Multicomputer Operating System
.....................................34
P. Martin, R. Candlin, and S.
Gilmore
An Implementation and Performance Measurement of the Progressive
Retry Technique
...........................................................................................................................41
G. Suri, Y.
Huang,
Y.-M. Wang, W.
К.
Fuchs,
and C.
Rintala
Invited Session: Modeling and Evaluation
Session Chair: Dave Rennels
Performability Evaluation: Where It Is and What Lies Ahead
.................................................50
J. Meyer
Stochastic
Petri
Nets: Accomplishments and Open Problems
...................................................51
G. Balbo
Structural Performance Analysis of Stochastic
Petri
Nets
........................................................61
M.
Silva
and J. Campos
Session
3:
Modelling Theory
Session Chair:
Isi Mitrani
Matrix-Geometric Solution of Infinite Stochastic
Petri
Nets
....................................................72
B.R.
Haverkort
Lumpability and Nearly-Lumpability in Hierarchical Queueing Networks
............................82
P.
Buchholz
Computation of Absorption Probability Distributions of Continuous-Time
Markov Chains Using Regenerative Randomization
.................................................................92
A. Calderón
and J.A.
Carrasco
Stochastic Process Algebras as a Tool for Performance and
Dependability Modelling
............................................................................................................102
H. Hermanns, U.
Herzog,
and V. Mertsiotakis
Panel
1:
Cost, Performance, and Reliability Trade-Offs in the
Design of General Purpose Computer Systems
Panel Chair: Dan Lenoski, Silicon Graphics
Session
4:
Non-Markovian Stochastic
Petri
Nets
Session Chair: Raymond Marie
New Results for the Analysis of Deterministic and Stochastic
Petri
Nets
.............................114
R. German
Markov Regenerative
SPN
with Non-Overlapping Activity Cycles
........................................124
A. Bobbio and M.
Telek
Markov Regenerative Models
....................................................................................................134
D. Logothetis, K.S. Trivedi, and A. Puliafito
Session
5:
Distributed Systems
Session Chair:
Günter
Haring
Design and Analysis of Efficient Fault-Detecting Network
Membership Protocols
................................................................................................................144
M.Leu
On Integrating Error Detection into a Fault Diagnosis Algorithm for
Massively Parallel Computers
...................................................................................................154
J.
Altmann,
T. Bartha,
and A. Pataricza
Performance Evaluation of the Quorum Consensus Replication Method
..............................165
A. Helal and B. Bhargava
Session
6:
Performability of
Real-Time
Systems
Session Chair:
Lui
Sha
Enhancing the Performance and Dependability of Real-Time Systems
.................................174
D.L. Hull, W.C. Feng, and J.W.-S. Liu
Performability Analysis of Formal Graphical Specifications
..................................................183
K. Waedt, J.
Richter,
A. Graf, and U. Mertens
Session
7:
Fault Injection Environments
Session Chair: Kent
Fuchs
System-Level Modeling in the ADEPT Environment of a Distributed
Computer System for Real-Time Applications
.........................................................................194
A.K. Ghosh,
B.W.
Johnson, and J.A.
Profeta
III
DOCTOR: An Integrate!) Software Fault
InjeÇTjOn EnviRonment
for
Distributed Real-Time Systems
.................................................................................................204
S. Han, K.G. Shin, and
H.A.
Rosenberg
Assessing the Effects of Communication Faults on Parallel Applications
.............................214
J.
Carreira,
H.
Madeira, and J.G.
Silva
vi
Dependability Evaluation Using Hybrid Fault/Error Injection
..............................................224
N.A. Kanawati, G.A. Kanawati, and J.A. Abraham
Session
8:
Performance and Reliability Analysis
Session Chair: Edgar
Nett
Performance Analysis of the RAID
5
Disk Array
.....................................................................236
A. Kuratti and W.H. Sanders
Routing Among Different Nodes where Servers Break Down without Losing Jobs
..............246
N.
Thomas and I. Mitrani
An Analysis of Impact of Workload Fluctuations on Performance of
Computer Systems
.....................................................................................................................256
G.-L. Li
Evaluation of Performability Measures for Replicated Banyan Networks
............................265
A. Bhattacharya, R.R. Rao, and T.-T.Y. Lin
Panel
2:
Responsiveness in Automotive and Communication Systems
Moderator: Paul J.
Kühn, TU
Stuttgart
Session
9:
Practical Issues
Session Chair: Kumar Goswami
Large Complex System Test
......................................................................................................276
M.-C. Hsueh
Modeling Recycle: A Case Study in the Industrial Use of Measurement
and Modeling
..............................................................................................................................285
L.M. Malhis, S.C. West, L.A. Kant, and W.H. Sanders
An Analysis of Client/Server Outage Data
...............................................................................295
A.P. Wood
Session
10:
Low-Level Hardware Aspects
Session Chair: Mukesh Singhal
Dependability Analysis in HW-SW Codesign
...........................................................................306
G.
Csertőn,
A. Pataricza, and E.
Setényi
Use of Preferred Preemption Points in Cache-Based Real-Time Systems
.............................316
J.
Simonson
and J.H.
Patel
Performance Recovery in Direct-Mapped Faulty Caches via the Use of a
Very Small Fully Associative Spare Cache
...............................................................................326
H.T. Vergos and D. Nikolos
Addendum
.................................................................................................................................333
Author Index
............................................................................................................................345
vu
|
any_adam_object | 1 |
author_corporate | International Computer Performance and Dependability Symposium Erlangen |
author_corporate_role | aut |
author_facet | International Computer Performance and Dependability Symposium Erlangen |
author_sort | International Computer Performance and Dependability Symposium Erlangen |
building | Verbundindex |
bvnumber | BV010178619 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.9.E94 |
callnumber-search | QA76.9.E94 |
callnumber-sort | QA 276.9 E94 |
callnumber-subject | QA - Mathematics |
classification_rvk | SS 1995 ST 233 |
classification_tum | DAT 280f |
ctrlnum | (OCoLC)258564743 (DE-599)BVBBV010178619 |
dewey-full | 004.2/4 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004.2/4 |
dewey-search | 004.2/4 |
dewey-sort | 14.2 14 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02436nam a2200553 c 4500</leader><controlfield tag="001">BV010178619</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011203 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950511s1995 ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818670592</subfield><subfield code="9">0-8186-7059-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258564743</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010178619</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-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.E94</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2/4</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1995</subfield><subfield code="0">(DE-625)143432:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 280f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Computer Performance and Dependability Symposium</subfield><subfield code="n">1</subfield><subfield code="d">1995</subfield><subfield code="c">Erlangen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5153055-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">April 24 - 26, 1995, Erlangen, Germany</subfield><subfield code="c">International Computer Performance and Dependability Symposium ; [ed. prod.: Penny Storms]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 345 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="0" ind2="7"><subfield code="a">Leistungsfähigkeit</subfield><subfield code="0">(DE-588)4035236-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Leistungsbewertung</subfield><subfield code="0">(DE-588)4167271-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Leistung</subfield><subfield code="0">(DE-588)4132608-8</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">1995</subfield><subfield code="z">Erlangen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Leistung</subfield><subfield code="0">(DE-588)4132608-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Leistungsbewertung</subfield><subfield code="0">(DE-588)4167271-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Leistungsfähigkeit</subfield><subfield code="0">(DE-588)4035236-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Storms, Penny</subfield><subfield code="e">Sonstige</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=006761006&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006761006</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></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1995 Erlangen gnd-content |
genre_facet | Konferenzschrift 1995 Erlangen |
id | DE-604.BV010178619 |
illustrated | Illustrated |
indexdate | 2024-11-25T17:19:56Z |
institution | BVB |
institution_GND | (DE-588)5153055-7 |
isbn | 0818670592 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006761006 |
oclc_num | 258564743 |
open_access_boolean | |
owner | DE-29T DE-739 DE-91G DE-BY-TUM DE-83 |
owner_facet | DE-29T DE-739 DE-91G DE-BY-TUM DE-83 |
physical | XII, 345 S. Ill., graph. Darst. |
publishDate | 1995 |
publishDateSearch | 1995 |
publishDateSort | 1995 |
publisher | IEEE Computer Soc. Press |
record_format | marc |
spellingShingle | Proceedings April 24 - 26, 1995, Erlangen, Germany Leistungsfähigkeit (DE-588)4035236-5 gnd Leistungsbewertung (DE-588)4167271-9 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Computer (DE-588)4070083-5 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Leistung (DE-588)4132608-8 gnd |
subject_GND | (DE-588)4035236-5 (DE-588)4167271-9 (DE-588)4125229-9 (DE-588)4070083-5 (DE-588)4059245-5 (DE-588)4132608-8 (DE-588)1071861417 |
title | Proceedings April 24 - 26, 1995, Erlangen, Germany |
title_auth | Proceedings April 24 - 26, 1995, Erlangen, Germany |
title_exact_search | Proceedings April 24 - 26, 1995, Erlangen, Germany |
title_full | Proceedings April 24 - 26, 1995, Erlangen, Germany International Computer Performance and Dependability Symposium ; [ed. prod.: Penny Storms] |
title_fullStr | Proceedings April 24 - 26, 1995, Erlangen, Germany International Computer Performance and Dependability Symposium ; [ed. prod.: Penny Storms] |
title_full_unstemmed | Proceedings April 24 - 26, 1995, Erlangen, Germany International Computer Performance and Dependability Symposium ; [ed. prod.: Penny Storms] |
title_short | Proceedings |
title_sort | proceedings april 24 26 1995 erlangen germany |
title_sub | April 24 - 26, 1995, Erlangen, Germany |
topic | Leistungsfähigkeit (DE-588)4035236-5 gnd Leistungsbewertung (DE-588)4167271-9 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Computer (DE-588)4070083-5 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Leistung (DE-588)4132608-8 gnd |
topic_facet | Leistungsfähigkeit Leistungsbewertung Datenverarbeitungssystem Computer Zuverlässigkeit Leistung Konferenzschrift 1995 Erlangen |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006761006&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT internationalcomputerperformanceanddependabilitysymposiumerlangen proceedingsapril24261995erlangengermany AT stormspenny proceedingsapril24261995erlangengermany |