Real time programming 1994: IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford u.a.
Pergamon
1994
|
| Ausgabe: | 1. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 192 S. graph. Darst. |
| ISBN: | 0080423728 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010230928 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 950621s1994 d||| |||| 10||| engod | ||
| 020 | |a 0080423728 |9 0-08-042372-8 | ||
| 035 | |a (OCoLC)30970434 | ||
| 035 | |a (DE-599)BVBBV010230928 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 | ||
| 050 | 0 | |a QA76.54 | |
| 082 | 0 | |a 005.2 |2 20 | |
| 084 | |a SS 1994 |0 (DE-625)143431: |2 rvk | ||
| 084 | |a DAT 263f |2 stub | ||
| 245 | 1 | 0 | |a Real time programming 1994 |b IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 |c ed. by W. A. Halang |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Oxford u.a. |b Pergamon |c 1994 | |
| 300 | |a IX, 192 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Real time computers - Programming | |
| 650 | 4 | |a Real-time programming |v Congresses | |
| 650 | 0 | 7 | |a Echtzeitprogrammierung |0 (DE-588)4048695-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |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)1071861417 |a Konferenzschrift |y 1994 |z Reichenau |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Reichenau Baden |2 gnd-content | |
| 689 | 0 | 0 | |a Echtzeitprogrammierung |0 (DE-588)4048695-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-188 | |
| 700 | 1 | |a Halang, Wolfgang A. |d 1951- |e Sonstige |0 (DE-588)120993732 |4 oth | |
| 711 | 2 | |a Workshop on Real Time Programming |n 19 |d 1994 |c Reichenau, Baden |j Sonstige |0 (DE-588)5117536-8 |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=006800641&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006800641 | ||
Datensatz im Suchindex
| _version_ | 1804124642289385472 |
|---|---|
| adam_text | CONTENTS
DISTRIBUTED
SYSTEMS
An
Architecture of a Map Stack for Real Time Applications
K. VIJAYANANDA, G. BERTHET, P. RAJA, J.D. DECOTIGNIE
Spatio-Temporal
Constraints in Fieldbus: Requirements and Current Solutions
9
J.-D. DECOTIGNIE, P. RAJA
Transport Protocol for
Real-Time
Multimedia Communication
15
J.M. NG,
N.T.C. YU
An Environment for Distributed Prototyping of Real Time Systems
21
A. ALONSO,
J.C.
DUEÑAS,
G.
LEÓN, J.A. DE LA PUENTE
Performance
Prototyping
for a Real Time System
with
Qualitative
Parameter
27
Tuning Methods
M.
MIKI,
Y. TAMURA, T. KAKUMU, T. HIRAI,
К. ГГОН
SCHEDULING
Least-Space-Time-First Scheduling Algorithm: A Policy for Complex
33
Real-Time
Tasks in Multiple Processor Systems
B.-C. CHENG,
A.D.
STOYENKO, T.J. MARLOWE
A Schedulability Algorithm for Data Flow, Hard-Real-Time Distributed
39
Programs
R.
ĐAVOLI, L.A.
GIACHINI
Integrated Best Effort and Fixed Priority Scheduling
45
N.C. AUDSLEY, A. BURNS, R.I. DAVIS, A.J. WELLINGS
Some Scheduling Experiments with ARTIE
51
R.M.
TOL,
G. TE
WINKEL
vu
Multiple-Goal Objective Functions for Optimization of Task Assignment in
55
Complex Computer Systems
T.J. MARLOWE,
A.D.
STOYENKO,
P.A.
LAPLANTE, R.S. DAITA, C.C.
AMARO,
C.M.NGUYEN, S.L. HOWELL
VERIFICATION AND VALIDATION
Two Proof Methods for the GRAFCET Language
61
P.
LE
PARC, B. QUEGUINEUR, L.
MARCE
Specification and Analysis of Timing Properties in a Case Tool CONRAD
67
T. KALDMA, L. MOTUS, R. PALUOJA, J. TEKKO, T. TOMMINGAS
Hybrid Systems Modelling and Validating Using
Statecharts
and Grafcet
73
R. BOISSIER, B.
DIMA,
D.
RAZAFINDRAMARY,
T.
SORIANO
Towards Recursive Block Diagrams
81
P.
CASPI
Hierarchical Correctness Verification in Multiphase
Real-Time
Software
87
Design
T. SZMUC, P.
SZWED,
J.-J.
SCHWARZ,
J. SKUBICH
CONCEPTS AND ARCHITECTURES
Conceptual Design of an Architecture for Hard Real Time Computing
95
H.-P.
MESKE
Synchronized UTC for Distributed
Real-Time
Systems
101
U.
SCHMID
Data Acquisition for
Real-Time
Process Control Systems
109
M.D. VAN
DER LAAN
Task-Configuration of a PEARL-Based Programmable Controller for
115
Process-Automation
G.
THIELE,
H.-J.
BEESTERMÖLLER,
L.
RENNER,
M.
DORNO,
D.
POPO
VIC
A Note on Hardware-Software Codesign
121
T.
TEMPELMEIER
vai
OPERATING SYSTEMS
MMOSS: Soft Real-Time Operating System Support in a Multimedia
127
Communication Subsystem
С
FAN
BED: A Multithreaded Kernel for Embedded Systems
133
P. BURGESS, M.J. LIVESEY,
С
ALLISON
On Realtime Operating Systems: How to Compare Performance?
139
M. MAECHTEL, H. RZEHAK
An Architecture Supporting
Real-Time
Programming and Implementations
145
S. MOSTERT
SOFTWARE DEVELOPMENT
Mapping PEARL s High-Level Real-Time Constructs to
а С
Run-Time Library
151
under Real-Time Unix
R. BELSCHNER,
CE. PEREIRA
Visual Methods in
Real-Time
Programming
157
M.G. HINCHEY
A Distributed Task-Oriented
Real-Time
Programming System
163
G.
SCHROTT
Concept for a Real-Time Structured Database Query Language (RT-SQL)
167
P.J. FORTIER, J. PRICHARD
Requirements for
a Real-Time
Image Processing Language
175
P. LAPLANTE, T. MARLOWE, A. STOYENKO
Combined Sequential and Function-Oriented Programming for
Real-Time
181
Systems
H. SCHWEINZER,
С
MITTERMAYER
Author Index
187
Keyword Index
189
Workshop
Participante
191
|
| any_adam_object | 1 |
| author_GND | (DE-588)120993732 |
| building | Verbundindex |
| bvnumber | BV010230928 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.54 |
| callnumber-search | QA76.54 |
| callnumber-sort | QA 276.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1994 |
| classification_tum | DAT 263f |
| ctrlnum | (OCoLC)30970434 (DE-599)BVBBV010230928 |
| dewey-full | 005.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.2 |
| dewey-search | 005.2 |
| dewey-sort | 15.2 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. ed. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02018nam a2200481 c 4500</leader><controlfield tag="001">BV010230928</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950621s1994 d||| |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080423728</subfield><subfield code="9">0-08-042372-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30970434</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010230928</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-91G</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1994</subfield><subfield code="0">(DE-625)143431:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 263f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Real time programming 1994</subfield><subfield code="b">IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994</subfield><subfield code="c">ed. by W. A. Halang</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford u.a.</subfield><subfield code="b">Pergamon</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 192 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">Real time computers - Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitprogrammierung</subfield><subfield code="0">(DE-588)4048695-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Reichenau</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">1994</subfield><subfield code="z">Reichenau Baden</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Echtzeitprogrammierung</subfield><subfield code="0">(DE-588)4048695-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">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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Halang, Wolfgang A.</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120993732</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Real Time Programming</subfield><subfield code="n">19</subfield><subfield code="d">1994</subfield><subfield code="c">Reichenau, Baden</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5117536-8</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=006800641&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-006800641</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Reichenau gnd-content (DE-588)1071861417 Konferenzschrift 1994 Reichenau Baden gnd-content |
| genre_facet | Konferenzschrift 1994 Reichenau Konferenzschrift 1994 Reichenau Baden |
| id | DE-604.BV010230928 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:48:54Z |
| institution | BVB |
| institution_GND | (DE-588)5117536-8 |
| isbn | 0080423728 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006800641 |
| oclc_num | 30970434 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 |
| owner_facet | DE-91G DE-BY-TUM DE-739 |
| physical | IX, 192 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Pergamon |
| record_format | marc |
| spelling | Real time programming 1994 IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 ed. by W. A. Halang 1. ed. Oxford u.a. Pergamon 1994 IX, 192 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Real time computers - Programming Real-time programming Congresses Echtzeitprogrammierung (DE-588)4048695-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Reichenau gnd-content (DE-588)1071861417 Konferenzschrift 1994 Reichenau Baden gnd-content Echtzeitprogrammierung (DE-588)4048695-3 s DE-604 Echtzeitsystem (DE-588)4131397-5 s Programmierung (DE-588)4076370-5 s DE-188 Halang, Wolfgang A. 1951- Sonstige (DE-588)120993732 oth Workshop on Real Time Programming 19 1994 Reichenau, Baden Sonstige (DE-588)5117536-8 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006800641&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Real time programming 1994 IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 Real time computers - Programming Real-time programming Congresses Echtzeitprogrammierung (DE-588)4048695-3 gnd Programmierung (DE-588)4076370-5 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| subject_GND | (DE-588)4048695-3 (DE-588)4076370-5 (DE-588)4131397-5 (DE-588)1071861417 |
| title | Real time programming 1994 IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 |
| title_auth | Real time programming 1994 IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 |
| title_exact_search | Real time programming 1994 IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 |
| title_full | Real time programming 1994 IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 ed. by W. A. Halang |
| title_fullStr | Real time programming 1994 IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 ed. by W. A. Halang |
| title_full_unstemmed | Real time programming 1994 IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 ed. by W. A. Halang |
| title_short | Real time programming 1994 |
| title_sort | real time programming 1994 ifac workshop isle of reichenau lake constance germany 22 24 june 1994 |
| title_sub | IFAC workshop, Isle of Reichenau, Lake Constance, Germany, 22 - 24 June 1994 |
| topic | Real time computers - Programming Real-time programming Congresses Echtzeitprogrammierung (DE-588)4048695-3 gnd Programmierung (DE-588)4076370-5 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| topic_facet | Real time computers - Programming Real-time programming Congresses Echtzeitprogrammierung Programmierung Echtzeitsystem Konferenzschrift 1994 Reichenau Konferenzschrift 1994 Reichenau Baden |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006800641&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT halangwolfganga realtimeprogramming1994ifacworkshopisleofreichenaulakeconstancegermany2224june1994 AT workshoponrealtimeprogrammingreichenaubaden realtimeprogramming1994ifacworkshopisleofreichenaulakeconstancegermany2224june1994 |