| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Adding Hard Real-Time Tasks to Artificial Intelligence Environments
|
Garcia-Fornes, A.
|
|
1996
|
29 |
6 |
p. 131-139
9 p.
|
artikel
|
| 2 |
Allocation of Periodic Hard Real-Time Tasks
|
Altenbernd, P.
|
|
1996
|
29 |
6 |
p. 197-204
8 p.
|
artikel
|
| 3 |
An Approach to Specification of Realtime Systems
|
Nissanke, N.
|
|
1996
|
29 |
6 |
p. 51-58
8 p.
|
artikel
|
| 4 |
An Off-Line Scheduler and System Simulator for the Basement™ Distributed Real-Time System
|
Hansson, Hans A.
|
|
1996
|
29 |
6 |
p. 115-122
8 p.
|
artikel
|
| 5 |
Applicative Object Interconnection in a Graphical Design of Real-Time Applications
|
Schwarz, J.J.
|
|
1996
|
29 |
6 |
p. 73-78
6 p.
|
artikel
|
| 6 |
A Reactive Scheduler for Realtime Systems
|
Nissanke, N.
|
|
1996
|
29 |
6 |
p. 107-113
7 p.
|
artikel
|
| 7 |
ATG: An Algebraic Specification, Temporal Logic and Graphical Representation for Real Time Systems
|
Vazquez, F.
|
|
1996
|
29 |
6 |
p. 91-97
7 p.
|
artikel
|
| 8 |
A Top Layer Design Approach for Adaptive Real-Time Software
|
Jehuda, J.
|
|
1996
|
29 |
6 |
p. 173-180
8 p.
|
artikel
|
| 9 |
Author Index
|
|
|
1996
|
29 |
6 |
p. 213-
1 p.
|
artikel
|
| 10 |
Constructing an Interval Temporal Logic for Real-Time System
|
Tsai, Grace
|
|
1996
|
29 |
6 |
p. 43-49
7 p.
|
artikel
|
| 11 |
Design of Flexible and Dependable Real-Time Applications
|
Bizzarri, M.
|
|
1996
|
29 |
6 |
p. 141-147
7 p.
|
artikel
|
| 12 |
DREAMS - Concepts of a Distributed Real-Time Management System *
|
Ditze, C.
|
|
1996
|
29 |
6 |
p. 157-164
8 p.
|
artikel
|
| 13 |
Evaluation of Real-Time Requirements by Simulation Based Analysis
|
Belschner, R.
|
|
1996
|
29 |
6 |
p. 19-26
8 p.
|
artikel
|
| 14 |
Extending Textual Real Time Programming Languages with Features for Sequential Control
|
Halang, Wolfgang A.
|
|
1996
|
29 |
6 |
p. 99-105
7 p.
|
artikel
|
| 15 |
Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems
|
Younis, Mohamed
|
|
1996
|
29 |
6 |
p. 9-17
9 p.
|
artikel
|
| 16 |
Improvement in Feasibility Testing for Real-Time Tasks 1
|
Ripoll, I.
|
|
1996
|
29 |
6 |
p. 205-212
8 p.
|
artikel
|
| 17 |
Measuring the Influence of Real-Time Operating Systems on Performance and Determinism
|
Maechtel, M.
|
|
1996
|
29 |
6 |
p. 189-196
8 p.
|
artikel
|
| 18 |
Models of Replication for Safety Critical Hard Real Time Systems
|
Barrett, P.A.
|
|
1996
|
29 |
6 |
p. 181-188
8 p.
|
artikel
|
| 19 |
Multi-Tasking Programming with a Rate-Monotonic Scheduling Based Upon a Visual Data Flow Language
|
Cottet, F.
|
|
1996
|
29 |
6 |
p. 1-8
8 p.
|
artikel
|
| 20 |
Performance Evaluation of Transaction Scheduling in Distributed Real-Time Database Systems
|
Yeung, Chim-Fu
|
|
1996
|
29 |
6 |
p. 59-64
6 p.
|
artikel
|
| 21 |
Performance Studies of Real-Time Communications in ATM Networks
|
Sing Victor, Lee Chung
|
|
1996
|
29 |
6 |
p. 149-155
7 p.
|
artikel
|
| 22 |
Preface
|
Laplante, P.
|
|
1996
|
29 |
6 |
p. iv-
1 p.
|
artikel
|
| 23 |
Producer-Distributor-Consumer Model on Controller Area Network
|
Decotignie, J.-D.
|
|
1996
|
29 |
6 |
p. 35-42
8 p.
|
artikel
|
| 24 |
Programming and Time Analysis of Hard Real-Time Applications
|
Verber, D.
|
|
1996
|
29 |
6 |
p. 79-84
6 p.
|
artikel
|
| 25 |
Sequencing and Preempting Data Flow Tasks
|
Rutten, E.
|
|
1996
|
29 |
6 |
p. 65-72
8 p.
|
artikel
|
| 26 |
Springplay: A News Class of Compile-Time Scheduling Algorithm for Heterogeneous Target Architectures
|
Paller, G.
|
|
1996
|
29 |
6 |
p. 165-172
8 p.
|
artikel
|
| 27 |
Temporal Reasoning on Object-Oriented Real-Time Specifications by using Constraint Propagation Techniques
|
Pereira, C.E.
|
|
1996
|
29 |
6 |
p. 85-90
6 p.
|
artikel
|
| 28 |
The Use of Cache Memory in Real-Time Systems
|
Milligan, M.K.
|
|
1996
|
29 |
6 |
p. 123-129
7 p.
|
artikel
|
| 29 |
Towards a Scalable Real-Time Kernel for Function-Distributed Multiprocessors
|
Takada, H.
|
|
1996
|
29 |
6 |
p. 27-34
8 p.
|
artikel
|
Tijdschrift beschrijving