Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston, Mass. [u.a.]
Kluwer
2002
|
| Ausgabe: | 4. print. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 404 S. graph. Darst. |
| ISBN: | 0792396502 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV022290995 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 070228s2002 d||| |||| 00||| eng d | ||
| 020 | |a 0792396502 |9 0-7923-9650-2 | ||
| 035 | |a (OCoLC)316261514 | ||
| 035 | |a (DE-599)BVBBV021941199 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 082 | 0 | |a 004.2401135133 | |
| 100 | 1 | |a Sahner, Robin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Performance and reliability analysis of computer systems |b an example-based approach using the SHARPE software package |
| 250 | |a 4. print. | ||
| 264 | 1 | |a Boston, Mass. [u.a.] |b Kluwer |c 2002 | |
| 300 | |a XIV, 404 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computers |x Assessment | |
| 650 | 4 | |a Electronic digital computers |x Evaluation | |
| 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 Leistungsbeurteilung |0 (DE-588)4139370-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Leistungsbeurteilung |0 (DE-588)4139370-3 |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 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Trivedi, Kishor Shridharbhai |e Verfasser |4 aut | |
| 700 | 1 | |a Puliafito, Antonio |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015501175&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015501175 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804136304963747840 |
|---|---|
| adam_text | CONTENTS
PREFACE
Part ï
1
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8
2
MODELS
2.1
2.2
2.3
2.4
2.5
2.6
3
GRAPHS
3.1
vi Performance
3.2
View
3.3
3.4
4
4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8
5
5.1
5.2
5.3
6
6.1
6.2
6.3
6.4
6.5
6.6
7
7.1
7.2
7.3
7.4
7.5
7.6
Contents
8
8.1
8.2
8.3
Part II MODELING EXAMPLES
9
MODELING
9.1
9.2
9.3
9.4
9.5
10
10.1
10.2
11
11.1
11.2
11.3
11.4
11.5
11.6
11.7
straints
11.8
11.9
11.10
12
12.1
12.2
12.3
viii
12.4
13
NUMERICAL LIMITATIONS
13.1
13.2
13.3
13.4
Part III APPENDICES
A SHARPE
В
B.I Conventions
Đ.2
B.3 Specification of Exponential Polynomial Functions
B.4 Specification of Models
B.5 Asking for Results
Đ.6
B.7 Controlling the Analysis Process
B.8 Program Constants
B.9 Summary of Top-level Input Statements
С
D
MARKOV CHAINS
REFERENCES
INDEX
|
| adam_txt |
CONTENTS
PREFACE
Part ï
1
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8
2
MODELS
2.1
2.2
2.3
2.4
2.5
2.6
3
GRAPHS
3.1
vi Performance
3.2
View
3.3
3.4
4
4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8
5
5.1
5.2
5.3
6
6.1
6.2
6.3
6.4
6.5
6.6
7
7.1
7.2
7.3
7.4
7.5
7.6
Contents
8
8.1
8.2
8.3
Part II MODELING EXAMPLES
9
MODELING
9.1
9.2
9.3
9.4
9.5
10
10.1
10.2
11
11.1
11.2
11.3
11.4
11.5
11.6
11.7
straints
11.8
11.9
11.10
12
12.1
12.2
12.3
viii
12.4
13
NUMERICAL LIMITATIONS
13.1
13.2
13.3
13.4
Part III APPENDICES
A SHARPE
В
B.I Conventions
Đ.2
B.3 Specification of Exponential Polynomial Functions
B.4 Specification of Models
B.5 Asking for Results
Đ.6
B.7 Controlling the Analysis Process
B.8 Program Constants
B.9 Summary of Top-level Input Statements
С
D
MARKOV CHAINS
REFERENCES
INDEX |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Sahner, Robin Trivedi, Kishor Shridharbhai Puliafito, Antonio |
| author_facet | Sahner, Robin Trivedi, Kishor Shridharbhai Puliafito, Antonio |
| author_role | aut aut aut |
| author_sort | Sahner, Robin |
| author_variant | r s rs k s t ks kst a p ap |
| building | Verbundindex |
| bvnumber | BV022290995 |
| ctrlnum | (OCoLC)316261514 (DE-599)BVBBV021941199 |
| dewey-full | 004.2401135133 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2401135133 |
| dewey-search | 004.2401135133 |
| dewey-sort | 14.2401135133 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 4. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01815nam a2200445zc 4500</leader><controlfield tag="001">BV022290995</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070228s2002 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792396502</subfield><subfield code="9">0-7923-9650-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316261514</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021941199</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2401135133</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sahner, Robin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Performance and reliability analysis of computer systems</subfield><subfield code="b">an example-based approach using the SHARPE software package</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, Mass. [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 404 S.</subfield><subfield code="b">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">Computers</subfield><subfield code="x">Assessment</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield><subfield code="x">Evaluation</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">Leistungsbeurteilung</subfield><subfield code="0">(DE-588)4139370-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Leistungsbeurteilung</subfield><subfield code="0">(DE-588)4139370-3</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=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Trivedi, Kishor Shridharbhai</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Puliafito, Antonio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=015501175&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-015501175</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> |
| id | DE-604.BV022290995 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:51:47Z |
| indexdate | 2024-07-09T20:54:17Z |
| institution | BVB |
| isbn | 0792396502 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015501175 |
| oclc_num | 316261514 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XIV, 404 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Kluwer |
| record_format | marc |
| spelling | Sahner, Robin Verfasser aut Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package 4. print. Boston, Mass. [u.a.] Kluwer 2002 XIV, 404 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computers Assessment Electronic digital computers Evaluation Leistungsbewertung (DE-588)4167271-9 gnd rswk-swf Datenverarbeitungssystem (DE-588)4125229-9 gnd rswk-swf Leistungsbeurteilung (DE-588)4139370-3 gnd rswk-swf Leistungsbeurteilung (DE-588)4139370-3 s DE-604 Datenverarbeitungssystem (DE-588)4125229-9 s Leistungsbewertung (DE-588)4167271-9 s 1\p DE-604 Trivedi, Kishor Shridharbhai Verfasser aut Puliafito, Antonio Verfasser aut Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015501175&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 | Sahner, Robin Trivedi, Kishor Shridharbhai Puliafito, Antonio Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package Computers Assessment Electronic digital computers Evaluation Leistungsbewertung (DE-588)4167271-9 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Leistungsbeurteilung (DE-588)4139370-3 gnd |
| subject_GND | (DE-588)4167271-9 (DE-588)4125229-9 (DE-588)4139370-3 |
| title | Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package |
| title_auth | Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package |
| title_exact_search | Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package |
| title_exact_search_txtP | Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package |
| title_full | Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package |
| title_fullStr | Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package |
| title_full_unstemmed | Performance and reliability analysis of computer systems an example-based approach using the SHARPE software package |
| title_short | Performance and reliability analysis of computer systems |
| title_sort | performance and reliability analysis of computer systems an example based approach using the sharpe software package |
| title_sub | an example-based approach using the SHARPE software package |
| topic | Computers Assessment Electronic digital computers Evaluation Leistungsbewertung (DE-588)4167271-9 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Leistungsbeurteilung (DE-588)4139370-3 gnd |
| topic_facet | Computers Assessment Electronic digital computers Evaluation Leistungsbewertung Datenverarbeitungssystem Leistungsbeurteilung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015501175&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT sahnerrobin performanceandreliabilityanalysisofcomputersystemsanexamplebasedapproachusingthesharpesoftwarepackage AT trivedikishorshridharbhai performanceandreliabilityanalysisofcomputersystemsanexamplebasedapproachusingthesharpesoftwarepackage AT puliafitoantonio performanceandreliabilityanalysisofcomputersystemsanexamplebasedapproachusingthesharpesoftwarepackage |