| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Achieving Internal Synchronization Accuracy of 30 μs Under Message Delays Varying More Than 3 msec
|
Wedde, Horst F.
|
|
1999
|
32 |
1 |
p. 123-128
6 p.
|
artikel
|
| 2 |
A Completely Integrated Approach to Developing, Implementing, Evaluating Distributed Active Database Management and its OS Support
|
Wedde, Horst F.
|
|
1999
|
32 |
1 |
p. 69-74
6 p.
|
artikel
|
| 3 |
A Flexible Model of Time Constraints for Control and Multimedia Real-Time Systems
|
López, José M.
|
|
1999
|
32 |
1 |
p. 233-238
6 p.
|
artikel
|
| 4 |
An Analyzable Execution Model for SDL for Embedded Real-Time Systems
|
Álvarez, José María
|
|
1999
|
32 |
1 |
p. 171-176
6 p.
|
artikel
|
| 5 |
An Object-Oriented Approach to Task-Graph Representation
|
Silberman, Ami
|
|
1999
|
32 |
1 |
p. 45-50
6 p.
|
artikel
|
| 6 |
Aspects of Flight Control Software - A Software Engineering Point of View
|
Roβkopf, Alfred
|
|
1999
|
32 |
1 |
p. 25-31
7 p.
|
artikel
|
| 7 |
A Tool for Validating Timing Requirements of Industrial Applications Based on the Foundation Fieldbus Protocol
|
Wild, R.
|
|
1999
|
32 |
1 |
p. 33-38
6 p.
|
artikel
|
| 8 |
A Total Ordering Scheme for Real-Time Multicasts in CAN
|
Livani, Mohammad Ali
|
|
1999
|
32 |
1 |
p. 135-140
6 p.
|
artikel
|
| 9 |
Author Index
|
|
|
1999
|
32 |
1 |
p. 239-
1 p.
|
artikel
|
| 10 |
Building Re-Usable Components Using Formal Specifications for Complex Evolving Systems
|
Tsai, G.
|
|
1999
|
32 |
1 |
p. 57-62
6 p.
|
artikel
|
| 11 |
Building Safety-Critical Real-Time Systems with Synchronous Software Components
|
Gunzert, Michael
|
|
1999
|
32 |
1 |
p. 63-68
6 p.
|
artikel
|
| 12 |
Concepts from Deadline Non-Intrusive Monitoring
|
Harelick, Matthew
|
|
1999
|
32 |
1 |
p. 51-56
6 p.
|
artikel
|
| 13 |
Congestion Control for ATM Real-Time Upsurge Service
|
Yuan, Peijiang
|
|
1999
|
32 |
1 |
p. 129-134
6 p.
|
artikel
|
| 14 |
Developing a Testbed for Distributed Real-Time Applications
|
Woolley, P.T.
|
|
1999
|
32 |
1 |
p. 101-106
6 p.
|
artikel
|
| 15 |
Developing Provably Correct Systems with OBSERV
|
Tyszberowicz, Shmuel
|
|
1999
|
32 |
1 |
p. 183-187
5 p.
|
artikel
|
| 16 |
Distributed, Object-Oriented, Active, Real-Time DBMSS: We Want It All - Do We Need Them (At) All?
|
Buchmann, Alejandro P.
|
|
1999
|
32 |
1 |
p. 15-23
9 p.
|
artikel
|
| 17 |
Distributing Control Systems Using Active Rules 1
|
Andler, Sten F.
|
|
1999
|
32 |
1 |
p. 89-94
6 p.
|
artikel
|
| 18 |
Dynamic CPU Scheduling with Imprecise Knowledge of Computation-Time
|
Aldarmi, Saud A.
|
|
1999
|
32 |
1 |
p. 215-220
6 p.
|
artikel
|
| 19 |
Experimental Evaluation of High-Accuracy Time Distribution in a COTS-Based Ethernet LAN
|
Schmid, Ulrich
|
|
1999
|
32 |
1 |
p. 107-116
10 p.
|
artikel
|
| 20 |
From Timed Automata to Testable Untimed Automata
|
Petitjean, Eric
|
|
1999
|
32 |
1 |
p. 189-194
6 p.
|
artikel
|
| 21 |
Hard Real Time Controller: A Case Study
|
Sacha, Krzysztof
|
|
1999
|
32 |
1 |
p. 147-152
6 p.
|
artikel
|
| 22 |
H-Astral and Its Use in the Development of Real-Time Control Systems
|
Brink, Klaas
|
|
1999
|
32 |
1 |
p. 177-182
6 p.
|
artikel
|
| 23 |
How to Construct Predictable Rule Sets
|
Falkenroth, Esa
|
|
1999
|
32 |
1 |
p. 81-88
8 p.
|
artikel
|
| 24 |
Modular Verification of Function Block Based Industrial Control Systems
|
Völker, Norbert
|
|
1999
|
32 |
1 |
p. 159-164
6 p.
|
artikel
|
| 25 |
On the Schedulability Analysis for Distributed Real-Time Systems
|
Wang, Shuhua
|
|
1999
|
32 |
1 |
p. 227-232
6 p.
|
artikel
|
| 26 |
Preface
|
Frigeri, Alceu Heinke
|
|
1999
|
32 |
1 |
p. v-
1 p.
|
artikel
|
| 27 |
Real-Time Operating Systems on the Test-Bench
|
Mächtel, M.
|
|
1999
|
32 |
1 |
p. 195-201
7 p.
|
artikel
|
| 28 |
Real-Time Software Architectures and Design Patterns: Fundamental Concepts and Their Consequences
|
Zalewski, Janusz
|
|
1999
|
32 |
1 |
p. 1-13
13 p.
|
artikel
|
| 29 |
Real-Time Systems for Mobile Robotic Applications Based on a Behavioural Model
|
Buendía, F.
|
|
1999
|
32 |
1 |
p. 153-158
6 p.
|
artikel
|
| 30 |
Real-Time Treatments and Communications in SICODI DCS
|
García, Miguel A.
|
|
1999
|
32 |
1 |
p. 95-100
6 p.
|
artikel
|
| 31 |
Schedulability Analysis for Real-Time Processes with Age Constraints
|
Zöbel, Dieter
|
|
1999
|
32 |
1 |
p. 221-226
6 p.
|
artikel
|
| 32 |
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel
|
Fortino, Giancarlo
|
|
1999
|
32 |
1 |
p. 117-122
6 p.
|
artikel
|
| 33 |
Timing Analysis of PL Programs
|
Lin, Man
|
|
1999
|
32 |
1 |
p. 203-208
6 p.
|
artikel
|
| 34 |
Timing Constraints and Object-Oriented Design
|
Hermeling, Mark
|
|
1999
|
32 |
1 |
p. 39-44
6 p.
|
artikel
|
| 35 |
Towards a General Real-Time Database Simulator Software Library
|
Taina, Juha
|
|
1999
|
32 |
1 |
p. 75-80
6 p.
|
artikel
|
| 36 |
Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems
|
Bradley, Steven
|
|
1999
|
32 |
1 |
p. 209-214
6 p.
|
artikel
|
| 37 |
Verification of Real-Time System Requirements: A Petri Net Approach
|
Szpyrka, Marcin
|
|
1999
|
32 |
1 |
p. 165-170
6 p.
|
artikel
|
| 38 |
Well-Behaved Applications Allow for More Efficient Scheduling
|
Trutmann, H.O.
|
|
1999
|
32 |
1 |
p. 141-146
6 p.
|
artikel
|
Tijdschrift beschrijving