Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking: = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
[Würzburg]
September 2016
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | ix, 161, VII Seiten Illustrationen, Diagramme |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044392464 | ||
| 003 | DE-604 | ||
| 005 | 20170817 | ||
| 007 | t | ||
| 008 | 170701s2016 a||| m||| 00||| ger d | ||
| 035 | |a (DE-599)BVBBV044392464 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |a DE-12 |a DE-91 |a DE-19 |a DE-1049 |a DE-92 |a DE-739 |a DE-898 |a DE-355 |a DE-706 |a DE-20 |a DE-1102 |a DE-860 |a DE-2174 | ||
| 084 | |a ST 323 |0 (DE-625)143659: |2 rvk | ||
| 084 | |a ST 324 |0 (DE-625)143660: |2 rvk | ||
| 100 | 1 | |a Rehfeld, Stephan |d ca. 21. Jh. |e Verfasser |0 (DE-588)1136198199 |4 aut | |
| 245 | 1 | 0 | |a Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking |b = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking |c vorgelegt von Stephan Rehfeld |
| 246 | 1 | 1 | |a Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking |
| 264 | 1 | |a [Würzburg] |c September 2016 | |
| 300 | |a ix, 161, VII Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |b Dissertation |c Julius-Maximilians-Universität Würzburg |d 2017 | ||
| 650 | 0 | 7 | |a Computerspiel |0 (DE-588)4010457-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Virtuelle Realität |0 (DE-588)4399931-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | 1 | |a Virtuelle Realität |0 (DE-588)4399931-1 |D s |
| 689 | 0 | 2 | |a Computerspiel |0 (DE-588)4010457-6 |D s |
| 689 | 0 | 3 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | 4 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 1 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:20-opus-147431 |
| 856 | 4 | 1 | |u https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-147431 |x Resolving-System |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029794685 | ||
Datensatz im Suchindex
| _version_ | 1804177666748710912 |
|---|---|
| any_adam_object | |
| author | Rehfeld, Stephan ca. 21. Jh |
| author_GND | (DE-588)1136198199 |
| author_facet | Rehfeld, Stephan ca. 21. Jh |
| author_role | aut |
| author_sort | Rehfeld, Stephan ca. 21. Jh |
| author_variant | s r sr |
| building | Verbundindex |
| bvnumber | BV044392464 |
| classification_rvk | ST 323 ST 324 |
| collection | ebook |
| ctrlnum | (DE-599)BVBBV044392464 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02290nam a2200457 c 4500</leader><controlfield tag="001">BV044392464</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170817 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170701s2016 a||| m||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044392464</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-2174</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 323</subfield><subfield code="0">(DE-625)143659:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 324</subfield><subfield code="0">(DE-625)143660:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rehfeld, Stephan</subfield><subfield code="d">ca. 21. Jh.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1136198199</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking</subfield><subfield code="b">= Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking</subfield><subfield code="c">vorgelegt von Stephan Rehfeld</subfield></datafield><datafield tag="246" ind1="1" ind2="1"><subfield code="a">Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Würzburg]</subfield><subfield code="c">September 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 161, VII Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Julius-Maximilians-Universität Würzburg</subfield><subfield code="d">2017</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerspiel</subfield><subfield code="0">(DE-588)4010457-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Virtuelle Realität</subfield><subfield code="0">(DE-588)4399931-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Virtuelle Realität</subfield><subfield code="0">(DE-588)4399931-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Computerspiel</subfield><subfield code="0">(DE-588)4010457-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="1" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:20-opus-147431</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-147431</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029794685</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV044392464 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:51:42Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029794685 |
| open_access_boolean | 1 |
| owner | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-860 DE-2174 |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-860 DE-2174 |
| physical | ix, 161, VII Seiten Illustrationen, Diagramme |
| psigel | ebook |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| record_format | marc |
| spelling | Rehfeld, Stephan ca. 21. Jh. Verfasser (DE-588)1136198199 aut Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking vorgelegt von Stephan Rehfeld Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking [Würzburg] September 2016 ix, 161, VII Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Dissertation Julius-Maximilians-Universität Würzburg 2017 Computerspiel (DE-588)4010457-6 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Virtuelle Realität (DE-588)4399931-1 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Nebenläufigkeit (DE-588)4115352-2 s Virtuelle Realität (DE-588)4399931-1 s Computerspiel (DE-588)4010457-6 s Echtzeitsystem (DE-588)4131397-5 s Model Checking (DE-588)4434799-6 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:20-opus-147431 https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-147431 Resolving-System kostenfrei Volltext |
| spellingShingle | Rehfeld, Stephan ca. 21. Jh Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking Computerspiel (DE-588)4010457-6 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Virtuelle Realität (DE-588)4399931-1 gnd Model Checking (DE-588)4434799-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| subject_GND | (DE-588)4010457-6 (DE-588)4115352-2 (DE-588)4399931-1 (DE-588)4434799-6 (DE-588)4131397-5 (DE-588)4113937-9 |
| title | Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking |
| title_alt | Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking |
| title_auth | Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking |
| title_exact_search | Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking |
| title_full | Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking vorgelegt von Stephan Rehfeld |
| title_fullStr | Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking vorgelegt von Stephan Rehfeld |
| title_full_unstemmed | Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking vorgelegt von Stephan Rehfeld |
| title_short | Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking |
| title_sort | untersuchung der nebenlaufigkeit latenz und konsistenz asynchroner interaktiver echtzeitsysteme mittels profiling und model checking research on concurrency latency and consistency of asynchronous realtime interactive systems using profiling and model checking |
| title_sub | = Research on concurrency, latency, and consistency of asynchronous Realtime Interactive Systems using profiling and model checking |
| topic | Computerspiel (DE-588)4010457-6 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Virtuelle Realität (DE-588)4399931-1 gnd Model Checking (DE-588)4434799-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| topic_facet | Computerspiel Nebenläufigkeit Virtuelle Realität Model Checking Echtzeitsystem Hochschulschrift |
| url | https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-147431 |
| work_keys_str_mv | AT rehfeldstephan untersuchungdernebenlaufigkeitlatenzundkonsistenzasynchronerinteraktiverechtzeitsystememittelsprofilingundmodelcheckingresearchonconcurrencylatencyandconsistencyofasynchronousrealtimeinteractivesystemsusingprofilingandmodelchecking AT rehfeldstephan researchonconcurrencylatencyandconsistencyofasynchronousrealtimeinteractivesystemsusingprofilingandmodelchecking |