| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Method and a Tool for Formal Timing Analysis of OMT Designs
|
Motus, L.
|
|
1996
|
29 |
5 |
p. 7-12
6 p.
|
artikel
|
| 2 |
A Real-Time Programming Language as a Means to Express Specifications
|
Colnarič, M.
|
|
1996
|
29 |
5 |
p. 133-138
6 p.
|
artikel
|
| 3 |
A Real Time System Using Advanced Control Techniques for Manipulators
|
Sasaki, Tomaz M.
|
|
1996
|
29 |
5 |
p. 147-148
2 p.
|
artikel
|
| 4 |
A Reflective Model for Real-Time Applications in Open Distributed Systems
|
Furtado, Olinto
|
|
1996
|
29 |
5 |
p. 121-126
6 p.
|
artikel
|
| 5 |
Author Index
|
|
|
1996
|
29 |
5 |
p. 155-
1 p.
|
artikel
|
| 6 |
Building Safety-Critical Real-Time Systems with Reusable Cyclic Executives
|
Zamorano, J.
|
|
1996
|
29 |
5 |
p. 75-80
6 p.
|
artikel
|
| 7 |
Communication Configurator for Fieldbus: An Algorithm to Schedule Transmission of Data and Messages
|
Franco, L.R.H.R.
|
|
1996
|
29 |
5 |
p. 139-144
6 p.
|
artikel
|
| 8 |
Dual Priority Scheduling in ADA 95 and Real-Time Posix
|
Burns, A.
|
|
1996
|
29 |
5 |
p. 57-62
6 p.
|
artikel
|
| 9 |
Dynamic Scheduling Solutions for Real-Time Multiprocessor Systems
|
Saez, S.
|
|
1996
|
29 |
5 |
p. 69-74
6 p.
|
artikel
|
| 10 |
Engineering a Tool for Building Hard Predictable Real-Time Artificial Intelligent Systems 1
|
Garcia-Fornes, A.
|
|
1996
|
29 |
5 |
p. 45-50
6 p.
|
artikel
|
| 11 |
Experiments with the Synchronous Methodology Illustrating its Support of Predictability
|
Le Guernic, P.
|
|
1996
|
29 |
5 |
p. 81-86
6 p.
|
artikel
|
| 12 |
Formal Specification and Automatic Implementation of a Real-Time Parallel Kernel
|
de Farias, C.R.G.
|
|
1996
|
29 |
5 |
p. 145-146
2 p.
|
artikel
|
| 13 |
From the Synchronous Approach to Hybrid Systems
|
Kaestner, C.A.A.
|
|
1996
|
29 |
5 |
p. 87-92
6 p.
|
artikel
|
| 14 |
Implementing Safe Real-Time Systems by Means of Automatic Prototyping 1
|
Espinosa, A.
|
|
1996
|
29 |
5 |
p. 97-101
5 p.
|
artikel
|
| 15 |
Integrating Different Views to Develop Complex Real-Time Systems
|
Zhang, Lichen
|
|
1996
|
29 |
5 |
p. 115-120
6 p.
|
artikel
|
| 16 |
Integration of Adaptive File Assignment into Distributed Safety-Critical Systems
|
Wedde, Horst F.
|
|
1996
|
29 |
5 |
p. 39-44
6 p.
|
artikel
|
| 17 |
Message Scheduling in CSMA/DCR Networks
|
Gil, J.A.
|
|
1996
|
29 |
5 |
p. 151-152
2 p.
|
artikel
|
| 18 |
Modeling Computer-Based Real-Time Systems: Which Views do we need?
|
Darscht, Pablo
|
|
1996
|
29 |
5 |
p. 109-114
6 p.
|
artikel
|
| 19 |
Modelling and ADA Implementation of Real-Time Systems Using Time Petri Nets
|
Izquierdo, F.J. García
|
|
1996
|
29 |
5 |
p. 127-132
6 p.
|
artikel
|
| 20 |
OASIS: A New Way to Design Safety Critical Applications
|
Aussagues, C.
|
|
1996
|
29 |
5 |
p. 21-26
6 p.
|
artikel
|
| 21 |
On a Methodology for the Performance of Real Time Distributed Applications on Parallel Architectures
|
Trevelin, Luis Carlos
|
|
1996
|
29 |
5 |
p. 33-38
6 p.
|
artikel
|
| 22 |
Parallel Ray-Tracing on Mimd Machine Using Dynamic Load-Balancing Mechanisms
|
Muniz, F.J.
|
|
1996
|
29 |
5 |
p. 149-150
2 p.
|
artikel
|
| 23 |
Preface
|
Pereira, Carios Eduardo
|
|
1996
|
29 |
5 |
p. iv-
1 p.
|
artikel
|
| 24 |
Quality Requirements for Real-Time Safety-Critical Systems
|
Kirner, T.G.
|
|
1996
|
29 |
5 |
p. 103-108
6 p.
|
artikel
|
| 25 |
Real-Time Object-Oriented Modeling
|
Selic, Bran
|
|
1996
|
29 |
5 |
p. 1-6
6 p.
|
artikel
|
| 26 |
Scheduling Imprecise Computation Tasks with Intra-Task / Inter-Task Dependence
|
Oliveira, R.S.
|
|
1996
|
29 |
5 |
p. 63-68
6 p.
|
artikel
|
| 27 |
Software Design Based on Fundamental Subsystems: A Synthesis Action Applied to the Essential Model
|
Sanchez, M.L.A.
|
|
1996
|
29 |
5 |
p. 153-154
2 p.
|
artikel
|
| 28 |
Software for Real-Time Production Monitoring Systems
|
Russell, David W.
|
|
1996
|
29 |
5 |
p. 13-20
8 p.
|
artikel
|
| 29 |
Support for RTO.k Object Structured Programming in C++
|
Kim, K.H. Kane
|
|
1996
|
29 |
5 |
p. 27-32
6 p.
|
artikel
|
| 30 |
Using Databases for Real-Time Systems
|
Andréasson, Sven-Arne
|
|
1996
|
29 |
5 |
p. 51-56
6 p.
|
artikel
|
| 31 |
Using Design Patterns in Real Time Applications
|
Carvalho, S.
|
|
1996
|
29 |
5 |
p. 93-96
4 p.
|
artikel
|
Tijdschrift beschrijving