Proceedings April 24 - 26, 1995, Erlangen, Germany

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Computer Performance and Dependability Symposium Erlangen (VerfasserIn)
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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=006761006&amp;sequence=000002&amp;line_number=0001&amp;func_code=DB_RECORDS&amp;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