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 |
Beschreibung: | XII, 345 S. Ill., graph. Darst. |
ISBN: | 0818670592 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV010178619 | ||
003 | DE-604 | ||
005 | 20011203 | ||
007 | t| | ||
008 | 950511s1995 xx 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 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 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 Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Leistungsfähigkeit |0 (DE-588)4035236-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 |
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006761006 |
Datensatz im Suchindex
_version_ | 1820868263285882880 |
---|---|
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 | 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>00000nam a2200000 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 xx 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">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">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">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">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">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">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="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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006761006</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 | 2025-01-10T13:21:34Z |
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 |
spelling | International Computer Performance and Dependability Symposium 1 1995 Erlangen Verfasser (DE-588)5153055-7 aut Proceedings April 24 - 26, 1995, Erlangen, Germany International Computer Performance and Dependability Symposium ; [ed. prod.: Penny Storms] Los Alamitos, Calif. u.a. IEEE Computer Soc. Press 1995 XII, 345 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Leistungsbewertung (DE-588)4167271-9 gnd rswk-swf Datenverarbeitungssystem (DE-588)4125229-9 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Computer (DE-588)4070083-5 gnd rswk-swf Leistungsfähigkeit (DE-588)4035236-5 gnd rswk-swf Leistung (DE-588)4132608-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Erlangen gnd-content Computer (DE-588)4070083-5 s Leistung (DE-588)4132608-8 s Zuverlässigkeit (DE-588)4059245-5 s DE-604 Datenverarbeitungssystem (DE-588)4125229-9 s Leistungsbewertung (DE-588)4167271-9 s Leistungsfähigkeit (DE-588)4035236-5 s 1\p DE-604 Storms, Penny Sonstige oth Digitalisierung TU Muenchen application/pdf 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 Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Proceedings April 24 - 26, 1995, Erlangen, Germany Leistungsbewertung (DE-588)4167271-9 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Computer (DE-588)4070083-5 gnd Leistungsfähigkeit (DE-588)4035236-5 gnd Leistung (DE-588)4132608-8 gnd |
subject_GND | (DE-588)4167271-9 (DE-588)4125229-9 (DE-588)4059245-5 (DE-588)4070083-5 (DE-588)4035236-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 | Leistungsbewertung (DE-588)4167271-9 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Computer (DE-588)4070083-5 gnd Leistungsfähigkeit (DE-588)4035236-5 gnd Leistung (DE-588)4132608-8 gnd |
topic_facet | Leistungsbewertung Datenverarbeitungssystem Zuverlässigkeit Computer Leistungsfähigkeit 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 |