Responsive computer systems:
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Wien u.a.
Springer
1993
|
| Schriftenreihe: | Dependable computing and fault-tolerant systems
7 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 376 S. graph. Darst., Kt. |
| ISBN: | 3211824588 0387824588 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008336306 | ||
| 003 | DE-604 | ||
| 005 | 19931119 | ||
| 007 | t | ||
| 008 | 931119s1993 bd|| |||| 10||| eng d | ||
| 020 | |a 3211824588 |9 3-211-82458-8 | ||
| 020 | |a 0387824588 |9 0-387-82458-8 | ||
| 035 | |a (OCoLC)29173563 | ||
| 035 | |a (DE-599)BVBBV008336306 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-29T |a DE-91G |a DE-83 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 084 | |a DAT 286f |2 stub | ||
| 245 | 1 | 0 | |a Responsive computer systems |c H. Kopetz ... (ed.) |
| 264 | 1 | |a Wien u.a. |b Springer |c 1993 | |
| 300 | |a XI, 376 S. |b graph. Darst., Kt. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dependable computing and fault-tolerant systems |v 7 | |
| 650 | 7 | |a Arquitetura e organização de computadores |2 larpcal | |
| 650 | 7 | |a Falhas computacionais |2 larpcal | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |v Congresses | |
| 650 | 4 | |a Fault-tolerant computing |v Congresses | |
| 650 | 4 | |a Real-time data processing |v Congresses | |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dialogsystem |0 (DE-588)4131632-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Kamifukuoka |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Saitama |2 gnd-content | |
| 689 | 0 | 0 | |a Dialogsystem |0 (DE-588)4131632-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 1 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Kopetz, Hermann |e Sonstige |4 oth | |
| 711 | 2 | |a International Workshop on Responsive Computer Systems |d 1992 |c Saitama |j Sonstige |0 (DE-588)16132189-6 |4 oth | |
| 830 | 0 | |a Dependable computing and fault-tolerant systems |v 7 |w (DE-604)BV000785532 |9 7 | |
| 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=005507230&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005507230 | ||
Datensatz im Suchindex
| _version_ | 1804122731393843200 |
|---|---|
| adam_text | IX
Contents
Opening
Session 1
Six Difficult Problems in the Design of Responsive Systems
H. Kopetz (Technical University of Vienna, Austria)
3
Issues in Responsive Protocols Design
Y. Kakuda, T. Kikuno (Osaka University, Japan)
17
Responsive Systems Theory
27
A Probabilistic Duration Calculus
Z. Liu (University of Warwick, Conventry, UK)
A. P. Ravn, E. V. S0rensen
(Technical University of Denmark, Lyngby, Denmark)
C. Zhou (United Nations University, Macau)
29
Timed
Statecharts
and Real Time Logic
L.
Barroca
(University of York, York, UK)
53
Fault-Tolerant Distributed Sort Generated from a Verification
Proof Outline
H. Lutfiyya (University of Western Ontario, Canada)
M.
Schollmeyer,
В.
McMillin (University of Missouri-Rolh, USA)
71
Responsive Protocols
97
Towards a Responsive Network Protocol
A. Shionozaki (Keio University
,
Japan)
M. Tokoro (Sony Computer Science Laboratory, Japan)
99
Fault-Tolerant Object by Group-to-Group Communications
in Distributed Systems
H.Higaki, T.Soneoka (NTT, Japan)
123
Space-Time Tradeoff in Hierarchical Routing Schemes
K. Ishida
(Hiroshima
Prefectura!
University, Japan)
147
Work in Progress
165
Fault-Tolerance Support for Responsive Computer Systems
R. D. Schlichting (The University of Arizona, USA)
167
Position Paper: Responsive Airborne Radar Systems
L.
Sha,
J.
Lehoczky,
M.
Bodson
(SEI/CMU.USA)
P.
Krupp,
C. Nowacki
(The MITRE Corp.)
179
Overview of an Integrated Toolset Under Development
for the CSR Paradigm
I. Lee, S. Davidson (University of Pennsylvania ,USA)
189
A Distributed Snapshots Algorithm and its Application
to Protocol Stabilization
K. Saleh
(Concordia
University, Canada)
H. Ural (University of Ottawa, Canada)
A. Agarwal
(Concordia
University, Canada)
197
Protocol Validation Tool and Its Applicability to Responsive
Protocols
H.
Saito,
T.
Hasegawa (KDD R&
D
Laboratories, Japan)
207
Keynote Address
223
The Concepts and Technologies of Dependable and Real-time
Computer Systems for Shinkansen Train Control
A. Hachiga (Railway Technical Research Institute, Japan)
225
Real-Time Systems
253
Exception Handling in
Real-Time
Software from Specification
to Design
R.
de Lemos,
A. Saeed, A. Waterworth
(University of Newcastle upon
Тупе,
UK)
255
XI
Realizing Changes of Operational Modes with
a
Pre Run-Time
Scheduled Hard
Real-Time
System
G. Fohkr (Technical University of Vienna, Austria)
287
Formal Specification and Simulation of
a Real-Time
Concurrency
Control Protocol
P. van
der Stok, L.
Somers, P. Thijssen
(Eindhoven University of Technology, Netherlands)
301
Panel Discussion
319
What Are the Key Paradigms in the Integration of Timeliness
and Availability
?
F.
Cristian
(University of California San Diego, USA
) 321
Contribution to the Panel: What are the Key Paradigms in the
Integration of Timeliness and Availability
G. Le Lann
(INRIA, Prance)
327
Complicatied Paradigm of Responsive Systems
Y. Tohma (Tokyo Institute of Technology,
J
арап)
331
Toward Responsive Distributed Systems
M. Tokoro (Sony Computer Science Laboratory
,
Japan)
335
Resposive System Design
337
A Reconfigurable
Parallel Processor Based on a TDLCA Model
M. Tsunoyama (Nagaoka College of Technologyjapan)
M. Kawanaka (NEC Robotics Engineering Ltd, Japan)
S. Naito (Tokyo
Metropolytan
University, Japan)
339
A Modeling Approach for Dynamically
Reconfigurable
Systems
H.
de Meer,
H.
Mauser (University of Erlangen-Nuremberg, Germany)
357
Author Index
377
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV008336306 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.S88 |
| callnumber-search | QA76.9.S88 |
| callnumber-sort | QA 276.9 S88 |
| callnumber-subject | QA - Mathematics |
| classification_tum | DAT 286f |
| ctrlnum | (OCoLC)29173563 (DE-599)BVBBV008336306 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02260nam a2200529 cb4500</leader><controlfield tag="001">BV008336306</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19931119 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">931119s1993 bd|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3211824588</subfield><subfield code="9">3-211-82458-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387824588</subfield><subfield code="9">0-387-82458-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29173563</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008336306</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-12</subfield><subfield code="a">DE-29T</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.S88</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Responsive computer systems</subfield><subfield code="c">H. Kopetz ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wien u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 376 S.</subfield><subfield code="b">graph. Darst., Kt.</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="490" ind1="1" ind2=" "><subfield code="a">Dependable computing and fault-tolerant systems</subfield><subfield code="v">7</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arquitetura e organização de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Falhas computacionais</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield><subfield code="v">Congresses</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="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dialogsystem</subfield><subfield code="0">(DE-588)4131632-0</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">1992</subfield><subfield code="z">Kamifukuoka</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Saitama</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Dialogsystem</subfield><subfield code="0">(DE-588)4131632-0</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">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kopetz, Hermann</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Responsive Computer Systems</subfield><subfield code="d">1992</subfield><subfield code="c">Saitama</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16132189-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dependable computing and fault-tolerant systems</subfield><subfield code="v">7</subfield><subfield code="w">(DE-604)BV000785532</subfield><subfield code="9">7</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=005507230&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-005507230</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Kamifukuoka gnd-content (DE-588)1071861417 Konferenzschrift 1992 Saitama gnd-content |
| genre_facet | Konferenzschrift 1992 Kamifukuoka Konferenzschrift 1992 Saitama |
| id | DE-604.BV008336306 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:18:32Z |
| institution | BVB |
| institution_GND | (DE-588)16132189-6 |
| isbn | 3211824588 0387824588 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005507230 |
| oclc_num | 29173563 |
| open_access_boolean | |
| owner | DE-12 DE-29T DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-12 DE-29T DE-91G DE-BY-TUM DE-83 |
| physical | XI, 376 S. graph. Darst., Kt. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Dependable computing and fault-tolerant systems |
| series2 | Dependable computing and fault-tolerant systems |
| spelling | Responsive computer systems H. Kopetz ... (ed.) Wien u.a. Springer 1993 XI, 376 S. graph. Darst., Kt. txt rdacontent n rdamedia nc rdacarrier Dependable computing and fault-tolerant systems 7 Arquitetura e organização de computadores larpcal Falhas computacionais larpcal Datenverarbeitung Electronic data processing Distributed processing Congresses Fault-tolerant computing Congresses Real-time data processing Congresses Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Dialogsystem (DE-588)4131632-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Kamifukuoka gnd-content (DE-588)1071861417 Konferenzschrift 1992 Saitama gnd-content Dialogsystem (DE-588)4131632-0 s DE-604 Echtzeitsystem (DE-588)4131397-5 s Verteiltes System (DE-588)4238872-7 s Kopetz, Hermann Sonstige oth International Workshop on Responsive Computer Systems 1992 Saitama Sonstige (DE-588)16132189-6 oth Dependable computing and fault-tolerant systems 7 (DE-604)BV000785532 7 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005507230&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Responsive computer systems Dependable computing and fault-tolerant systems Arquitetura e organização de computadores larpcal Falhas computacionais larpcal Datenverarbeitung Electronic data processing Distributed processing Congresses Fault-tolerant computing Congresses Real-time data processing Congresses Echtzeitsystem (DE-588)4131397-5 gnd Verteiltes System (DE-588)4238872-7 gnd Dialogsystem (DE-588)4131632-0 gnd |
| subject_GND | (DE-588)4131397-5 (DE-588)4238872-7 (DE-588)4131632-0 (DE-588)1071861417 |
| title | Responsive computer systems |
| title_auth | Responsive computer systems |
| title_exact_search | Responsive computer systems |
| title_full | Responsive computer systems H. Kopetz ... (ed.) |
| title_fullStr | Responsive computer systems H. Kopetz ... (ed.) |
| title_full_unstemmed | Responsive computer systems H. Kopetz ... (ed.) |
| title_short | Responsive computer systems |
| title_sort | responsive computer systems |
| topic | Arquitetura e organização de computadores larpcal Falhas computacionais larpcal Datenverarbeitung Electronic data processing Distributed processing Congresses Fault-tolerant computing Congresses Real-time data processing Congresses Echtzeitsystem (DE-588)4131397-5 gnd Verteiltes System (DE-588)4238872-7 gnd Dialogsystem (DE-588)4131632-0 gnd |
| topic_facet | Arquitetura e organização de computadores Falhas computacionais Datenverarbeitung Electronic data processing Distributed processing Congresses Fault-tolerant computing Congresses Real-time data processing Congresses Echtzeitsystem Verteiltes System Dialogsystem Konferenzschrift 1992 Kamifukuoka Konferenzschrift 1992 Saitama |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005507230&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000785532 |
| work_keys_str_mv | AT kopetzhermann responsivecomputersystems AT internationalworkshoponresponsivecomputersystemssaitama responsivecomputersystems |